Una proposizione composta si dice tautologia se essa risulta sempre VERA, qualunque sia il valore di verità delle proposizioni elementari che la compongono.

Una proposizione composta si dice contraddizione se essa risulta sempre FALSA, qualunque sia il valore di verità delle proposizioni elementari che la compongono.

Esempio. La proposizione $p\vee \overline{p}$ è una tautologia, mentre la proposizione $p\wedge \overline{p}$ è una contraddizione.