Logic Chapter 7 study AP

Logic Chapter 7 study AP - modus ponens (MP) ~F (G H) ~F GH...

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

View Full Document Right Arrow Icon
modus ponens (MP) ~F (G ≡ H) (A v B) ~(C D) K L ~F (A v B) (K L) (R S) G ≡ H ~(C D) (R S) modus tollens (MT) (D v F) K ~G ~(M v N) ~T ~K ~~(M v N) (H v K) T ~(D v F) ~~G ~(H v K) hypothetical syllogism (HS) A (D F) ~M (R S) (D F) ~H (C v K) ~M A ~H (C v K) (R S) disjunctive syllogism (DS) U v ~(W X) ~(E v F) ~U (E v F) v (N K) ~(W X) (N K) Simplification (Simp) Constructive Dilemma (CD) P · Q (P Q) · (R S) P P v R Q v S Addition (Add) Conjunction (Conj) P P P v Q Q P · Q Commutativity (Com) DeMorgan’s Rule (DM) (p v q) :: (q v p) ~(p · q) :: (~p v ~q) (p · q) :: (q · p) ~(p v q) :: (~p · ~q) Associativity (Assoc) Distribution (Dist) [p v (q v r)] :: [(p v q) v r] [p · (q v r)] :: (p · q) v (p · r) [p · (q · r)] :: [(p · q) · r] [p v (q · r)] :: (p v q) · (p v r)
Background image of page 1

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

View Full DocumentRight Arrow Icon
Double Negation (DN) p :: ~~p Material Implication (Impl) (A B) :: (~A v B) Material Equivalence (Equiv)
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.

This note was uploaded on 05/04/2008 for the course PHIL 2203 taught by Professor Barrett during the Spring '08 term at Arkansas.

Page1 / 4

Logic Chapter 7 study AP - modus ponens (MP) ~F (G H) ~F GH...

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