Logic Flashcards
1
Q
Modus ponens
A
If P, then Q. P is true, therefore Q is also true
2
Q
Modus tollens
A
If P, then Q. Q is false, therefore P is false
3
Q
Affirming the antecedent
A
If P, then Q. Q is true, then no conclusion
4
Q
Denying the antecedent
A
If P, then Q. P is false, then no conclusion.
