Na análise de tabelas-verdade, uma proposição composta pode ser classificada de três formas: Tautologia (quando o resultado é sempre V), Contradição (quando o resultado é sempre F) e Contingência (quando o resultado depende dos valores das proposições simples, podendo ser V ou F).
Fonte: Lógica Formal, 2023.
A proposição (p ^ ~p) é classificada como uma: