eolas/zk/Law_of_the_Excluded_Middle.md

---
tags: [propositional-logic]
---

# Law of the Excluded Middle

> Every proposition has to be either true or false. There can be no middle
> ground.

$$
P \lor \sim P
$$
Initial commit, pure MD 2022-04-23 13:26:53 +01:00			`---`
Autosave: 2022-12-23 15:00:06 2022-12-23 15:00:06 +00:00			`tags: [propositional-logic]`
Initial commit, pure MD 2022-04-23 13:26:53 +01:00			`---`

Autosave: 2022-12-23 15:00:06 2022-12-23 15:00:06 +00:00			`# Law of the Excluded Middle`

reformat all files to 80 char line length 2024-02-02 15:58:13 +00:00			`> Every proposition has to be either true or false. There can be no middle`
			`> ground.`
Autosave: 2022-12-23 15:00:06 2022-12-23 15:00:06 +00:00
			`$$`
			`P \lor \sim P`
			`$$`