1/4
Looks like no tags are added yet.
Modus Ponens
If P then Q; P; Thus Q.
Modus Tollens
If P then Q; ~Q; Thus ~P.
Hypothetical Syllogism
If P then Q; If Q then R; Thus If P then R.
Disjunctive Syllogism
P or Q; ~P; Thus Q.
Dilemma
P or Q; If P then R; If Q then S; Thus R or S.