Study your flashcards anywhere!

Download the official Cram app for free >

  • Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off
Reading...
Front

How to study your flashcards.

Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key

Up/Down arrow keys: Flip the card between the front and back.down keyup key

H key: Show hint (3rd side).h key

A key: Read text to speech.a key

image

Play button

image

Play button

image

Progress

1/19

Click to flip

19 Cards in this Set

  • Front
  • Back
Modus Ponens (M.P.)
p⊃q
p
∴q
Modus Tollens (M.T.)
p⊃q
~q
∴p
Hypothetical Syllogism (H.S.)
p⊃q
q⊃r
∴p⊃r
Disjunctive syllogism (D.S.)
p∨q
~p
∴q
Constructive Dilemma (C.D.)
(p⊃q) ・(r ⊃s)
p∨r
∴q∨s
Absorption (Abs.)
p⊃q
∴p⊃(p・q)
Simplification (Simp.)
p・q
∴p
Conjunction (Conj.)
p
q
∴p・q
Addition (Add.)
p
∴p∨q
De Morgan's Theorems (De M)
~(p・q) ≡ (~p∨~q)
~(p∨q) ≡ (~p・~q)
Commutation (Com.)
(p∨q) ≡ (q∨p)
(p・q) ≡ (q・p)
Association (Assoc.)
[p∨(q∨r)] ≡ [(p∨q)∨r]
[p・(q・r)] ≡ [(p・q)・r]
Distribution (Dist.)
[p・(q∨r)] ≡ [(p・q)∨(p・r)]
[p∨(q・r)] ≡ [(p∨q) ・(p∨r)]
Double Negation (D.N.)
p ≡ ~~p
Transposition (Travs.)
(p⊃q) ≡ (~q⊃~p)
Material Implication (Impl.)
(p⊃q) ≡ (~p∨q)
Material Equivalence (Equiv.)
(p ≡ q) ≡ [(p⊃q)・(q⊃p)]
(p ≡ q) ≡ [(p・q)∨(~p・~q)]
Exportation (Exp.)
[(p・q)⊃r] ≡ [p ⊃(q⊃r)]
Tautology(Taut.)
p ≡ (p∨p)
p ≡ (p・p)