Law of the excluded middle

From Religions Wiki
Wikipedia-logo-en.png
For more information, see the Wikipedia article:

Law of the excluded middle states that either a proposition is true or its negation is true.

Examples[edit]

"Either it is true that a god exists or it is true that a god does not exist." According to the law, there are no other possibilities.


v · d Formal logic
Three classic laws   Law of identity · Law of noncontradiction · Law of the excluded middle
Logical constructions   Antecedent · Consequent · Premise · Conclusion · Dichotomy
Logical operators   Negation (not) · Conjunction (and) · Disjunction (or) · Material implication (if then) · Biconditional (if and only if)