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;
9 Cards in this Set
- Front
- Back
p->q
p .:q |
Modus Ponens
|
|
p->q
~q .:~p |
Modus Tollens
|
|
p
.:p v q q .:p v q |
Generalization
|
|
p ^ q
.:p p ^ q .:q |
Specialization
|
|
p
q .:p ^ q |
Conjunction
|
|
p v q
~q .:p p v q ~p .:q |
Elimination
|
|
p->q
q->r .:p->r |
Transitivity
|
|
p v q
p->r q->r .:r |
Proof by Division into Cases
|
|
~p->C
.:p |
Contradiction Rule
|