Match the rule of inference

Exercise and reference answers

Matching pairs

1. Left

   P → Q, P ⊢ Q

   Right

   Modus ponens

2. Left

   P → Q, ~Q ⊢ ~P

   Right

   Modus tollens

3. Left

   P ∨ R, ~P ⊢ R

   Right

   Disjunctive syllogism

Instructions

Tap a pattern on the left, then the rule that names it.