{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

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 Document Right 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 ––––––––– ] ± (
Background image of page 3

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

View Full Document Right Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}