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

Click to flip

13 Cards in this Set

  • Front
  • Back
p > q
p
-----
q
Modus Ponens
p > q
~q
------
~p
Modus Tollens
p > q
q > r
------
p > r
Hypothetical syllogism (hs)
p v q
~p
-----
q
Disjunctive Syllogism (ds)
(p>q)'(r>s)
p v r
-----
q v s
conjuctive syllogism
p ' q
-----
p
simplification
p
q
----
p ' q
conjuction
p
----
p v q
addition
~(p'q)::(~pv~q)
~(pvq)::(~p'~q)
Demorgan's rule
p v q::q v p
p ' q::q ' p
commutativity
[p ' (q v r)]::[(p ' q) v (p ' r)]
[p v (q ' r)]::[(p v q) ' (p v r)]
Distributing (Dist)
~~p::p
p::~~p
double negation (dn)
u can only add using this symbol
v