Section 9.1-9.2

Section 9.1-9.2 - (p q)(r s), p v r, q v s CD absorption p...

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

View Full Document Right Arrow Icon
Section 9.1-9.2 Method deduction- breaking down and seeing if they manifest valid argument forms Need to be able to recognize certain argument forms (4 valid and 2 invalid in 8.7) Look these up Hypothetical syllogism P q, q r, p r HS Disjunctive syllogism P v q, ~p, q DS Modus ponens p q, p, q MP modus tollens p q, ~q, ~p MT Rule of inference- super common valid argument form Five More! Constructive Dilemma
Background image of page 1

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

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (p q)(r s), p v r, q v s CD absorption p q, p (pq) abs simplification pq, p simp conjunction p, q, pq conj addition p, p v q add Example 1: (ab) c, (ab) [(ab) c] absorption p q, p (pq) 13. (c v d) [(j v k) (jk)], ~[(j v k) (jk)], therefore ~(c v d) modus tollens p q, ~q, therefore p...
View Full Document

Page1 / 2

Section 9.1-9.2 - (p q)(r s), p v r, q v s CD absorption p...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online