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
|
p>q
p ------- q |
|
Modus Tollens
|
p>q
~q ------ ~p |
|
Hypothetical Syllogism
|
p>q
q>r ------ p>r |
|
Disjunctive Syllogism
|
pvq
~p ----- q |
|
Constructive Dilemma
|
(p>q)*(r>s)
pvr --------- qvs |
|
Simplification
|
p*q
------ p |
|
Conjunction
|
p
q ----- p*q |
|
Addition
|
p
---- pvq |