Bfh-sts: Created page with "= Law of excluded middle = The law of excluded middle states that for any proposition ''p'', either ''p'' is true or its negation ''¬p'' is true. There is no third possibility. == Statement == * p ∨ ¬p ≡ wahr (true) == Explanation == Every proposition is either true or false, never both, and never something in between. This principle is central to classical logic, but is not accepted in some non-classical logics (e.g. intuitionistic logic). == Example == *..."

2025-10-20T13:30:28Z

Created page with "= Law of excluded middle = The law of excluded middle states that for any proposition ''p'', either ''p'' is true or its negation ''¬p'' is true. There is no third possibility. == Statement == * p ∨ ¬p ≡ wahr (true) == Explanation == Every proposition is either true or false, never both, and never something in between. This principle is central to classical logic, but is not accepted in some non-classical logics (e.g. intuitionistic logic). == Example == *..."

New page

= Law of excluded middle =

The law of excluded middle states that for any proposition ''p'', either ''p'' is true or its negation ''¬p'' is true.
There is no third possibility.

== Statement ==
* p ∨ ¬p ≡ wahr (true)

== Explanation ==
Every proposition is either true or false, never both, and never something in between.
This principle is central to classical logic, but is not accepted in some non-classical logics (e.g. intuitionistic logic).

== Example ==
* For ''p'' = "The coin shows heads", either it shows heads (''p'') or it does not (''¬p'').
* There is no middle ground.

== Truth Table ==
{| class="wikitable"
! p !! ¬p !! p ∨ ¬p
|-
| T || F || T
|-
| F || T || T
|}

[[Category:Propositional logic (Aussagenlogik)]]
[[Category: Diskrete Mathematik I (BZG1155pa) 25/26]]

Law of excluded middle - Revision history