Tautologias
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.
Exemplo de tautologia:

Exemplo de contradição:

Exemplo de contingência.

Dê um exemplo de tautologia, contradição e contingência.
A proposição ( se p, então (p ou q)) possui qual classificação estudada?
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.