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/16

Click to flip

16 Cards in this Set

  • Front
  • Back
Double Negation (DN)
p :: ~~p
Commutation (Com)
(pvq) :: (qvp)
Commutation (Com)
(p.q) :: (q.p)
Association (As)
(pv(qvr)) :: ((pvq)vr)
Association (As)
(p.(q.r)) :: ((p.q).r)
De Morgan's Laws (DeM)
~(p.q) :: (~pv~q)
De Morgan's Laws (DeM)
~(pvq) :: (~p.~q)
Contraposition (Cont)
(p->q) :: (~q->~p)
Exportation (Ex)
((p.q)->r) :: (p->(q->r))
Distribution (Dist)
(p.(qvr)) :: ((p.q)v(p.r))
Distribution (Dist)
(pv(q.r) :: ((pvq).(pvr))
Redundancy (Re)
p :: (p.p)
Redundancy (Re)
p :: (pvp)
Material Equivalence (ME)
(p<->q) :: ((p->q).(q->p))
Material Equivalence (ME)
(p<->q) :: ((p.q)v(~p.~q))
Material Implication (MI)
(p->q) :: (~pvq)