Disjunctive Syllogism

  1. If P or Q
  2. Not Q

  1. P