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;
20 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 v q ~p ------- q |
|
Constructive Dilemma (C.D) |
(p -> q) ^ (r -> s) p v r ---------------------- q v s |
|
Destructive Dilemma (D.D) |
(p -> q) ^ (r -> s) ~q v ~s ---------------------- ~p v ~r |
|
Simplification (Simp.) |
p ^ q -------- p |
|
Conjunction (Conj.) |
p q ---- p ^ q |
|
Addition (Add.) |
p -- p v q |
|
De Morgan's Theorem (De M.) |
~(p ^ q) = (~p v ~q) ~(p v q) = (~p ^ ~q) |
|
Commutation (Com) |
(p v q) = (q v p) (p ^ q) = (q ^ p) |
|
Association (Assoc.) |
(p ^ (q ^ r)) = ((p ^ q) ^ r) (p v (q v r)) = ((p v q) v r) |
|
Distribution (Dist.) |
(p ^ (q v r)) = ((p ^ q) v (p ^ r)) (p v (q ^ r)) = ((p v q) ^ (p v r)) |
|
Double Negation (D.N) |
p = ~~p |
|
Transposition (Trans.) |
(p -> q) =(~q -> ~p) |
|
Material Implication (Impl.) |
p -> q = (~p v q) |
|
Material Equivalence (Equiv.) |
(p = q) = ((p -> q) ^ (q -> p)) (p = q) = ((p ^ q) v (~p ^ ~q)) |
|
Exportation (Exp.) |
((p ^ q) -> r) = (p -> (q -> r)) |
|
Tautology (Taut.) |
p = (p v p) p = (p ^ p) |
|
Rule of Excluded Middle |
p v ~p is a tautology p ^ ~p is a contradiction |