15 lines
185 B
Markdown
15 lines
185 B
Markdown
|
---
|
||
|
|
tags:
|
||
|
|
- propositional-logic
|
||
|
|
- 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
|
||
|
|
$$
|