---
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
$$