Disjunctive Syllogism

  1. If P or Q
  2. Not Q

    _

  3. P