A disjunctive syllogism is a valid argument form in propositional calculus, where p and q are propositions: (p⋁q ¬p)/(∴q). For example, if someone is going to study law or medicine, and does not study law, they will therefore study medicine.

syllogism