Disjunctive syllogism
= Disjunctive syllogism
{wiki=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.