sp08L11 - Rules of Inference Addition: p -pvq p (p v q)...

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

View Full Document Right Arrow Icon
2200 5 ¬ Rules of Inference Addition: p ------- p v q p (p v q) Simplification: p ^ q --------- p (p ^ q) p Conjunction: p q ----------- p ^ q ((p) ^ (q)) (p ^ q) Modus Ponens p p q ------------ q (p ^ (p q)) q Modus Tollens ¬ q p q -------------- ¬ p (( ¬ q) ^ (p q)) ( ¬ p)
Background image of page 1

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

View Full DocumentRight Arrow Icon
Hypothetical Syllogism: p q q r ------------ p r ((p q) ^ (q r)) (p r) Disjunctive Syllogism p v q ¬ p ------------ q ((p v q) ^ ( ¬ p)) q Quantified Statements Universal ( 2200 ) Existential ( 5 ) Instantiation 2200 x P(x) 5 x P(x) -------------------------- ------------------------------------- for any c U, P(c) for some specific c U, P(c) Generalization P(c) for a general c U P(c) for some particular c U ---------------------------- ------------------------------------ 2200 x P(x) 5 x P(x) Consider: “Everyone who has taken COT 3100 has taken a course in computer science”
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.

Page1 / 3

sp08L11 - Rules of Inference Addition: p -pvq p (p v q)...

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