O que é tautologia?

Tautologia é um termo utilizado na lógica para descrever uma proposição que é sempre verdadeira, independentemente das circunstâncias. Em outras palavras, uma tautologia é uma expressão que não possui contradições e é automaticamente verdadeira.

Na matemática e na filosofia, as tautologias são importantes porque servem como base para a lógica formal e ajudam a estabelecer a validade de argumentos e raciocínios. Elas podem ser simplificadas através de leis da lógica proposicional, como a lei da identidade, a lei da não contradição e a lei do terceiro excluído.

Um exemplo clássico de tautologia é a proposição "ou chove ou não chove", que é sempre verdadeira, pois abrange todas as possibilidades. Outro exemplo seria a proposição "todos os círculos são redondos", que é verdadeira por definição.

No entanto, é importante notar que nem todas as proposições que parecem ser tautologias à primeira vista realmente o são. Algumas declarações aparentemente óbvias podem se tornar falsas sob certas circunstâncias.