[justify] Uma tautologia é uma proposição a qual sua tabela verdade gera apenas valores verdade "verdadeiro", independente dos valores de suas subproposições. Por outro lado, se todas as linhas forem falsas, a proposição originária é denominada de contradição. Por fim, se existirem ambas as situações: linhas verdadeiras e linhas falsas, a proposição é uma contingência. [/justify][br]

[justify] Dessas 3 classificações, a tautologia será a mais importante, pois é possível estabelecer equivalências e implicações lógicas a partir dela. Sendo assim, veja esse vídeo para garantir que compreendeu o tema.[/justify]