← Home

LogicDrill

Sharpen your formal logic. Identify the valid inference rule, one question at a time.

Rules covered

  • Modus Ponens / Tollens
  • Hypothetical & Disjunctive Syllogism
  • Conjunction / Disjunction rules
  • Double Negation & Contrapositive
  • Biconditional
  • Constructive & Destructive Dilemma
  • De Morgan, Exportation, Absorption
  • Material Implication
  • Multi-step derivations
  • Spotting fallacies