Lemma: Disjunctive Syllogism

The disjunctive syllogism is a valid logical argument consisting of two premises and a conclusion, which altogether are constructed from two propositions $p$ and $q$ as follows:

Formally,the disjunctive syllogism is the following logical argument: $$\begin{array}{rll} p\vee q&\text{major premise}&\text{e.g. Either it is raining or the sun is shining (or both).}\\ \neg p&\text{minor premise}&\text{e.g. It is not raining.}\\ \hline q&\text{conclusion}&\text{e.g. Therefore, the sun is shining.}\\ \end{array} $$

Proofs: 1

Chapters: 1
Proofs: 2

Thank you to the contributors under CC BY-SA 4.0!




  1. Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016