Contraddizione
La contraddizione è un rapporto di opposizione tra due affermazioni, in contrasto tra loro, in cui l'una e esclude l'altra. Nella logica e nell'algebra booleana la contraddizione è una proposizione logica composta sempre falsa, qualunque siano i valori di verità delle proposizioni logiche elementari di cui è composta. La tavola di verità di una contraddizione è la seguente.
Esempio di contraddizione. Ad esempio, il "il poligono è un triangolo" (A) e "ha quattro lati" (B). Quando la proposizione elementare A è vera, il poligono non può mai avere tre lati (B). Viceversa, quando la proposizione (B) è vera, ossia il poligono ha quattro angoli, il poligono non può essere un triangolo (B).