Logic1118 - Read Ch.18 for the next week HW #8 (due Monday,...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Read Ch.18 for the next week HW #8 (due Monday, 11/23) 1. Let A be a formula in the propositional language (no quantifiers). Let cA be the number of places at which a binary connective (one of ∧ , v, =>) occurs. Let sA be the number of places at which propositional variables occur. Show that sA = cA+1. 2. Exercise 17.1 3. Exercise 17.2 (a) Completeness The tableau method proves all tautolo- gies. C If X is a tautology, then the tableau proves X. C If X is a tautology, then there is a closed tableau for FX. C (contrapositive) If there is no closed tableau for FX, then FX is satisfiable. More generally, for any completed tableau, if it is not closed, then the origin A branch Θ is completed iff For every α in Θ, there are α1 and α2 in Θ. For every β in Θ, there is β1 or β2 in Θ. A tableau is completed iff every open branch is completed. Strategy of the proof A completed open branch forms what lo- gicians call a Hintikka set . A Hintikka set S satisfies three condi-...
View Full Document

This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.

Page1 / 13

Logic1118 - Read Ch.18 for the next week HW #8 (due Monday,...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online