lect24 - 1 1 INTRO LOGIC DAY 24 Derivations in PL 4 2 EXAM...

Info iconThis preview shows pages 1–3. 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
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 1 INTRO LOGIC DAY 24 Derivations in PL 4 2 EXAM #4 Tuesday, in class Office Hours: Mon 12:30 2:30 Tue 11:00 12:45 363 Bartlett Exams 5, 6 Thu, Dec 15, 8:00-10:00, Mahar Exams are scheduled concurrently; you have two hours to do (as many as) two exams. Exam 4 to be returned Thursday in class 2 3 Exam 4 Topics 6 derivations in Predicate Logic 15 points each, plus 10 free points 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] 4 Exam 4 Appearance INTRO LOGIC EXAM 4 ID # : NAME: Directions: for each of the following, construct a formal derivation of the conclusion from the premise(s). 6 15 pts + 10 free pts. (1) XXXXX Pr (1) XXXXX Pr (2) SHOW: XXXXX (2) XXXXX Pr (3) (3) SHOW: XXXXX (4) (4) (5) (5) (6) (6) (7) (7) (8) (8) (9) (9) (10) (10) (11) (11) (12) (12) (13) (13) (14) (14) (15) (15) (16) (16) (17) (17) (18) (18) (1) XXXXX Pr (1) XXXXX Pr (2) XXXXX Pr (2) SHOW: XXXXX (3) SHOW: XXXXX (3) (4) (4) (5) (5) (6) (6) (7) (7) (8) (8) (9) (9) (10) (10) (11) (11) (12) (12) (13) (13) (14) (14) (15) (15) (16) (16) (17) (17) (18) (18) (19) (19) (20) (20) (21) (21) (22) (22) NAME p 2 (1) XXXXX Pr (1) XXXXX Pr (2) SHOW: XXXXX (2) SHOW: XXXXX (3) (3) (4) (4) (5) (5) (6) (6) (7) (7) (8) (8) (9) (9) (10) (10) (11) (11) (12) (12) (13) (13) (14) (14) (15) (15) (16) (16) (17) (17) (18) (18) (19) (19) (20) (20) (21) (21) 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 G H H G G ] ] : H G H ]] ]] o I no such thing (see CD) O O CD G I G I ( G I ) : G I G I...
View Full 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 / 12

lect24 - 1 1 INTRO LOGIC DAY 24 Derivations in PL 4 2 EXAM...

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

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