{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Rules of Inference 1

# Rules of Inference 1 - Natural Deduction 7.1 2006 Kevin J...

This preview shows pages 1–13. Sign up to view the full content.

Natural Deduction Natural Deduction 7.1 © 2006 Kevin J. Browne

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

View Full Document
Rules of InferenceI Modus Ponens Modus Tollens Disjunctive Syllogism Hypothetical Syllogism
Modus Ponens Modus Ponens p q p _________ q

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

View Full Document
Modus Tollens Modus Tollens p q ~q _________ ~p
DisjunctiveSyllogism DisjunctiveSyllogism p v q ~p _________ q

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

View Full Document
Hypothetical Syllogism Hypothetical Syllogism p q q r _________ p r
Solving proofs in natural deduction is based on pattern recognition. Think of it as using the rules to crack a code!

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

View Full Document
Example One Example One 1. F v (D T) 2. ~F 3. D /T
Example One Example One 1. F v (D T) 2. ~F 3. D /T Using oneof the rules find a pattern in thesepremises. Thepattern hereis DS.

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

View Full Document
Example One Example One 1. F v (D T) 2. ~F 1. D /T 2. D T 1,2 DS So we draw theconclusion from DS on line4.
Example One Example One 1. F v (D T) 2. ~F 1. D /T 2. D T 1,2 DS Now use therules to find another pattern with what we’vejust derived. This timetherule we useto “crack the code” is MP.

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

View Full Document
Example One Example One 1. F v (D T) 2. ~F 1. D /T 2. D T 1,2 DS 3. T 3,4 MP Oncewe reach thefinal conclusion we’vesolved theproof!
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}