Natural Deduction-1 - Natural Deduction Rules Of...

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

View Full Document Right Arrow Icon
Natural Deduction Rules Of Implication 1)Simplification (Conjunction Elimination) :. p :. q 2)Conjunction (Conjunction Introduction) p q_______ 3)Disjunctive Syllogism (Disjunction Elimination) DS (v E) p v q p v q ~p ____ ~q____ :. q :. p 4)Modus Ponens MP p -> q p_____ : . q (5) Modus Tollens MT p -> q ~q :. ~p 6) Hypothetical Syllogism HS p -> q q -> r :. p -> r 7)Constructive Dillema CD p -> q r -> s p v r___ :. q v s 8)Addition (Disjunction Introduction) ADD (v I) p_____ :. p v q
Background image of page 1

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

View Full DocumentRight Arrow Icon
Rules of Replacement (Equivalence Rules) (1) Double Negation DN ~ ~ p <=> p (2) De Morgan Rules DM ~ ( p & q) <=> ( ~ p v ~ q ) (3) Contraposition CONTRA ( p -> q ) <=> ( ~ q -> ~ p ) (4) Implication IMPL ( p -> q ) <=> ( ~ p v q ) (5) Exportation EXP (6) Equivalence EQUIV ( p <-> q ) <=> [( p & q ) v ( ~ p & ~ q )] PROOF STRATEGY Natural deduction can ONLY prove VALIDITY. Failure to provide a proof can have two reasons: -the argument is valid but one lacks the practice, imagination, knowledge of how to derive the conclusion (human failure) -the argument is invalid (argument failure). Thus, the failure of deriving the conclusion from the given premises by applying the rules of natural deduction cannot confirm whether the argument is invalid or whether the human fails to see/find the proof.
Background image of page 2
I. DIRECT PROOF (1) Use the applicable rules to the given premises, derive step-by-step the conclusion. (2) JUSTIFY every step by reference to both: the premises used and the rule applied to them.
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 04/07/2008 for the course PHIL 205 taught by Professor Apostol during the Spring '08 term at Northern Illinois University.

Page1 / 6

Natural Deduction-1 - Natural Deduction Rules Of...

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