---
categories:
  - Mathematics
tags: [theorems, logic]
---

> Every proposition has to be either true or false. There can be no middle ground.
>
> $$
> P \lor \sim P
> $$