Argument by Elimination
Valid Sentential
3. Q.
Affirming the Antecedent
Valid Sentential
Hypothetical Syllogism
Valid Sentential
Conjunction
Valid Sentential
Denying the Consequent
Valid Sentential
2. If -Q then -P.
Contraposition
Valid Sentential
2. P.
Simplification
Valid Sentential
2. P
Double Negation
Valid Sentential
Equivalence
Valid Sentential
Denying the Antecedent
Invalid Sentential
Affirming the Consequent
Invalid Sentential
Valid Predicate
Valid Predicate
Valid Predicate
Valid Predicate
Invalid Predicate
Invalid Predicate
Cogent
Cogent
Ill Formed
Ill Formed
Affirming the Antecedent Ex.
Denying the Consequent Ex
Hypothetical Syllogism Ex