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

# Law of Non-Contradiction

> A proposition cannot be true and false at the same time.

$$
\lnot (P \land  \lnot P)
$$