Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
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
|