LogicDrill
Sharpen your formal logic. Identify the valid inference rule, one question at a time.
Rules covered
- Modus Ponens / Tollens
- Hypothetical Syllogism
- Disjunctive Syllogism
- Conjunction Introduction / Elimination
- Disjunction Introduction
- Double Negation
- Contrapositive
- Biconditional