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

> A proposition cannot be true and false at the same time.
>
> $$
> \\sim (P & \sim P)
> $$