Sabendo que os resultados da última coluna de uma Tabela Verdade de uma proposição composta por mais de duas proposições atômicas podem ser classificados em tautologias, contradições e contingências, considere a seguinte proposição: “p ˅ ⁓p”. Assinale a alternativa que classifica corretamente a proposição composta:

A proposição dada é $p \vee \neg p$ (lê-se: “p ou não p”).

Na Tabela Verdade:

• Se $p$ é verdadeira (V), então $\neg p$ é falsa (F), e $p \vee \neg p = V \vee F = V$.
• Se $p$ é falsa (F), então $\neg p$ é verdadeira (V), e $p \vee \neg p = F \vee V = V$.

Como o resultado é sempre verdadeiro, independentemente do valor de $p$, a proposição é uma tautologia (lei do terceiro excluído).