Chama-se Tautologia uma proposição composta cujo valor lógico é verdadeiro, independentemente do valor lógico das proposições simples que a compõem.

Dadas as proposições simples p e q, é uma tautologia