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

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

View Full Document Right Arrow Icon
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
Background image of page 1

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

View Full DocumentRight Arrow Icon
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]
Background image of page 2
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
Background image of page 3

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

View Full DocumentRight Arrow Icon
Image of page 4
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 Right Arrow Icon
Ask a homework question - tutors are online