---
categories:
  - Logic 
tags: [propositional-logic]
---

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