The Laws of Thought

The Laws of Thoughts are the fundamental axioms of rational logic as it is practised by humans. They are of specific interest to philosophers and logicians alike.

A violation of these laws is either impossible or paradoxical. Many logic puzzles hinge around these properties of logic.

Whatever is, is.

$$\left ( P = P \right ) \forall P$$

Nothing can be and not be.

$$\sim \left ( P = ( \sim P ) \right ) \forall P$$

Everything must be or not be.

$$\left ( P \lor ( \sim P ) \right ) \forall P$$