This preview shows pages 1–7. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Logic I  Session 11 Plan for today Damiens comments on quiz My comments on teaching feedback A bit more on the TFcompleteness of SL Recap of proof of soundness of SD: If P in SD, then P Begin to prove completeness of SD: If P , then P in SD TFcompleteness We can express any truthfunction in SL. Find a sentence that expresses the TF for this TT schema: T T T T F F F T T F F F A&B A& B A&B A& B We want an iterated disjunction of CSs for the T rows: 1 and 3. (A&B) v ( A&B). TFcompleteness Strictly, we havent yet proven that SL is TFcomplete. Wed need to show that our algorithm always yields a sentence that expresses the truth function we want. See 6.1E (1d) and 6.2E (1). Not only is SL truthfunctionally complete, but so is any language that contains formulae TFequivalent to every sentence of SL. E.g. {&,v, }. (After all, thats all we use in our algorithm!) In fact, we can achieve TFcompleteness with a single binary connective, . P Q P  Q T T F T F T F T T F F T TFcompleteness with  To see this, just add a step to our algorithm: translate the old sentence into one that only contains . The new one will be equivalent, so it will have the same TT, so it will expresses the same truthfunction. In our example, our algorithm generated (A&B) v ( A&B). To nd an equivalent sentence, make replacements in stages. TFcompleteness with  We start with (A&B) v ( A&B) , which is of the form PvQ. Now, PvQ iff (PP)  (QQ). Substitute (A&B) and ( A&B) for P and Q (A&B) v ( A&B) ( (A&B)  (A&B) )  ( ( A&B)  ( A&B) ) Now replace the remaining subsentences. (A&B) iff (AB)(AB) . And ( A&B) iff ((AA)B)((AA)B)....
View Full
Document
 Fall '10
 DerekAllen
 Philosophy

Click to edit the document details