1/7
Looks like no tags are added yet.
modus ponens
If P, then Q. P Therefore, Q.
modus tollens
If P then Q. Not-Q. Therefore, not-P.
Hypothetical syllogism
If P, then Q. if Q then R. Therefore, if P then R.
disjunctive syllogism
P or Q. Not-P. Therefore, Q. OR P or Q. Not-Q. Therefore, P.
affirming the consequent
If P then Q. Q. Therefore P.
If P then Q. Not-P. Therefore, not-Q.
invalid argument form
dilemma
P or Q. If P then R. If Q then S. Therefore, R or S.
simplified form of dilemma
P or Q. If P then R. If Q then R. Therefore, R.