Philosophy

  1. Modus Ponens
    • pq
    • p
    • q

    • If-then
    • if
    • then




    • pÉq

    • p

    • q

  2. Modus Tollens
    • p⊃q
    • ~q
    • ∴~p

    • If-then
    • not then
    • not if
  3. Hypothetical Syllogism

    (3 horseshoes = the q link being canceled)
    • p⊃q
    • q⊃r
    • ∴p⊃r
  4. Disjunctive Syllogism
    • p v q
    • ~p
    • ∴q
  5. Constructive Dilemma
    • (p⊃q) • (r⊃s)
    • p ˅ r
    • ∴q ˅ s
  6. Absorption
    • p⊃q
    • ∴p⊃(p•q)
  7. Simplification
    • p•q
    • ∴p
  8. Conjunction
    • p
    • q
    • ∴p•q
  9. Addition
    • p
    • ∴p ˅ q
Author
Mischief
ID
38895
Card Set
Philosophy
Description
9 Rules of Inference
Updated