Reading...
Play button
Play button
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
- 3rd side (hint)
|
Modus Ponens |
given: p given: p -> q |
therefore: q |
|
|
Modus Tollens |
given: not q given: p -> q |
therefore: not p |
|
|
Hypothetical syllogism |
given: p -> q given: q -> r |
therefore: p -> r |
|
|
Disjunctive syllogism |
given: p or q given: not p |
therefore: q |
|
|
Addition |
given: p |
therefore: p or q |
|
|
Simplification |
given: p and q |
therefore: p |
|
|
Conjunction |
given: p given: q |
therefore: p and q |
|
|
Resolution |
given: p or q given: (not p) or r |
therefore: q or r |
