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;
11 Cards in this Set
- Front
- Back
Modus Ponens (MP)
|
p->q
p :. q |
|
Disjunctive Syllogism (DS)
|
pvq
~p :. q |
|
Disjunctive Syllogism (DS)
|
pvq
~q :. p |
|
Conjunction (Conj)
|
p
q :. p.q |
|
Addition (Add)
|
p
:. pvq |
|
Addition (Add)
|
p
:. qvp |
|
Modus Tollens (MT)
|
p->q
~q :. ~p |
|
Simplification (Simp)
|
p.q
:. p |
|
Simplification (Simp)
|
p.q
:. q |
|
Hypothetical Syllogism (HS)
|
p->q
q->r :. p->r |
|
Constructive Dilemma (CD)
|
pvq
p->r q->s :. rvs |