Chama-se tautologia a toda proposição que é sempre verdadeira, independentemente da verdade dos termos que a compõem. Um exemplo de tautologia é

Um exemplo de tautologia é a proposição "ou é verdadeiro ou é falso". Essa proposição é sempre verdadeira, independentemente da verdade dos termos que a compõem. Outro exemplo é "todos os solteiros são não casados".