In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true. Symbolically expressed, the law is p ∨ ¬ p {\displaystyle p\lor \neg p} .
In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true. Symbolically expressed, the law is p ∨ ¬ p {\displaystyle p\lor \neg p} .
Source: Wikipedia "Law of excluded middle" · CC BY-SA 4.0
Share this article: X · Bluesky