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;
8 Cards in this Set
- Front
- Back
Modus Ponens MP |
p horseshoe q/ p// q |
|
Modus Tollens MT |
p horseshoe q/~q//~p |
|
pure hypothetical syllogism HS |
p horseshoe q/ q horseshoe r// p horseshoe r |
|
disjunctive syllogism DS |
p v q/~p//q |
|
constructive dilemma CD |
if P implies Q and R implies S and either P or R is true, then Q or S has to be true. |
|
simplification (simp) |
p . q//p |
|
Conjunction |
p/q//p.q |
|
addition |
p//pvq |