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, th q
Modus Tollens (M.T.)
p>q, ~q th ~p
Hypothetical Syllogism(H.S.)
p>q, q>r, th p>r
Disjunctive Syllogism (D.S.)
pvq, ~p, th q
Constructive Dilemma (C.D.)
(p>q) o (r>s), pvr, th qvs
Absortion (Abs.)
p>q, th p>(poq)
Simplification (Simp.)
poq th p
Conjunction (conj.)
p, q, th poq
Addition (Add.)
p, th pvq
De Morgan's Theorems (De M)
~(poq) = (~pv~q)
~(pvq) = (~po~q)
Commutation (Com.)
(pvq)=(qvp)
(poq)=(qop)
Association (Assoc)
[p v (qvr)] = [(pvq) v r]
[po (qor)]= [(poq) o r]
Distribution (Dist.)
[po (qvr)]= [(poq) v (por)]
[p v (qor)] = [(pvq) o (pvr)]
Double Negation (D.N.)
p=~~p
Transposition (Trans)
(p>q)= (~q>~p)
Material Implication(Impl.)
(p>q)= (~pvq)
material Equvalence (Equiv)
(p=q) = [(p>q)o(q>p)]
(p=q)= [(poq) v (~po~q)]
Exportation (Exp)
[(poq)>r]=[p>(q>r)]
Tautology (Taut)
p= (pvp)
p=(pop)