lect12 - INTRO LOGIC DAY 12 Derivations in SL 4 1 Schedule...

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

View Full Document Right Arrow Icon
1 1 INTRO LOGIC DAY 12 Derivations in SL 4 2 Day 14 Day 13 Day 12 Day 11 Day 10 Day 09 Schedule Introductory Material EXAM #2 show: conjunction Indirect Derivation show: atomic show: disjunction Conditional Derivation (CD) Negation Derivation ( D) Direct Derivation (DD)
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 Exam 2 Format 6 argument forms, 15 points each, plus 10 free points Symbolic argument forms (no translations) For each one, you will be asked to construct a derivation of the conclusion from the premises. The rule sheet will be provided. 1 problem from Set D 2 problems from Set E 2 problems from Set F 1 problem from Set G (91-96) 4 Inference Rules (so far)                 &  & & &
Background image of page 2
Image of page 3
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 / 10

lect12 - INTRO LOGIC DAY 12 Derivations in SL 4 1 Schedule...

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