Define-se como tautologia a proposição composta que será sempre verdadeira, independentemente dos valores lógicos das proposições simples que a compõem.
Exemplo: Independentemente dos valores lógicos de "p" e "q", a proposição composta $(p \wedge q) \rightarrow (p V q)$ será sempre verdadeira.