All public logs

Combined display of all available logs of MediaWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:30, 20 October 2025 Bfh-sts talk contribs created page Law of excluded middle (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 == *...")