Disjunctive syllogism

Disjunctive syllogism is a valid argument form in propositional logic. It is used when you have a disjunction (an "or" statement) and a negation of one of the disjuncts (the parts of the disjunction). The structure of a disjunctive syllogism can be summarized as follows: 1. \( P \lor Q \) (either P or Q is true) — this is the disjunction.