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


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