lect23 - INTRO LOGIC DAY 23 Derivations in PL 3 1 Overview...

This preview shows pages 1–4. Sign up to view the full content.

1 1 INTRO LOGIC DAY 23 Derivations in PL 3 2 Overview Exam 1 Sentential Logic Translations (+) Exam 2 Sentential Logic Derivations Exam 3 Predicate Logic Translations Exam 4 Predicate Logic Derivations 6 derivations @ 15 points + 10 free points Exam 5 very similar to Exam 3 Exam 6 very similar to Exam 4

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

View Full Document
2 3 Day 25 Day 24 Day 23 Day 21 9 Unit 4 Schedule ± O, ² I EXAM #4 polyadic quantification ± ± O, ± ² O Day 22 9 UD, ² O Day 26 EXAM #4 returned FINAL PERIOD EXAMS #5, #6 Thu, Dec 15 8:00-10:00 Mahar Aud two hours to do (as many as) two exams. (old names) (new names) 4 Exam 4 Format (just like 2) ± 6 argument forms, 15 points each, plus 10 free points ± Symbolic argument forms (no translations) ± For each one, you are asked to construct a derivation of the conclusion from the premises. ± The rule sheet will be provided. 1. universal derivation [Exercise Set C] 2. existential-out [Exercise Set D] 3. negation rules [Exercise Set E] 4. multiple quantifiers [Exercise Set F] 5. polyadic quantifiers [Exercise Set G] 6. polyadic quantifiers [Exercise Set G]
3 5 RULE SHEET RULES FOR PREDICATE LOGIC &I &O ± &O &D DD G G G & H G & H ± ( G & H ) ± : G & H ± : G H H ] ½ G ] G H G ² ±H ] Y ] G & H H & G ] ½ H ] G ]] ± I ± O ± ± O ± D (ID) ID G G G ± H G ± H ± ( G ± H ) ± : G ± H ± : G ±G ±H ] ± ( G ± H ) ] ±G

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/04/2012 for the course PHIL 110 taught by Professor Bohn during the Fall '08 term at UMass (Amherst).

Page1 / 11

lect23 - INTRO LOGIC DAY 23 Derivations in PL 3 1 Overview...

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

View Full Document
Ask a homework question - tutors are online