{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

lecture6 - Lecture 6 Introduction to Proofs Announcements...

Info icon This preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 6 Introduction to Proofs
Image of page 1

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

View Full Document Right Arrow Icon
Announcements Hw2 out today Due Feb 12 Quiz 1 on Friday
Image of page 2
Summary: Rules of Inference Modus ponens p p q q Modus tollens q p q p Hypothetical syllogism p q q r p r Disjunctive syllogism p q p q Addition p p q Simplification p q p Conjunction p q p q Resolution p q p r q r
Image of page 3

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

View Full Document Right Arrow Icon