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;
18 Cards in this Set
- Front
- Back
|
Double Negation DN |
p↔--p |
|
|
DeMorgan's DeM |
-(p▪q)↔-p v -q. -(p v q)↔-p▪-q |
|
|
Association Assoc |
(p▪q)▪r↔p▪(q▪r) |
|
|
Commutation Comm |
p▪q↔q▪p |
|
|
Distribution Dist |
p v (q▪r)↔(p v q)▪(p v r) |
|
|
Contraposition Contra |
p>q↔-q>-p |
|
|
Implication Imp |
p>q↔-p v q |
|
|
Exportation Exp |
(p▪q)>r↔p>(q>r) |
|
|
Tautology Taut |
p↔p▪p. p↔p v p |
|
|
Equivalence Equiv |
p🌫q↔(p>q)▪(q>p). p🌫q↔(p▪q)v(-p▪-q) |
|
|
Modus Ponens MP |
p>q, p, /: q |
|
|
Modus Tollens MT |
p>q, -q, /: -p |
|
|
Disjunctive Syllogism DS |
p v q, -p, / :q |
|
|
Hypothetical Syllogism HS |
p>q, q>r, /: p>r |
|
|
Simplification Simp |
p▪q, /: p |
|
|
Conjunction Conj |
p, q, /: p▪q |
|
|
Addition Add |
p, /: p v q |
|
|
Constructive Dilemma CD |
p v q, p>r, q>s, /: r v s |
