Contradiction

A statement that is always false. Example: $P\wedge \neg P$ will be false for all statements $P$ Opposed to a Tautology.

Contradiction Laws

• $P\wedge$ (a contradiction) $\equiv F$
• $P\vee$ (a contradiction) $\equiv P$
• $\neg$ (a contradiction) $\equiv$ a Tautology