Disjunctive syllogism

In symbolic logic, a valid inference in a system of truth-functional rules. This rule relies on the truth definition of the disjunction: Since a disjunction is true when at least one of the disjuncts is true, the denial of one side of a disjunction yields the other.