Na Lógica Proposicional, uma proposição composta pode ser classificada como uma tautologia, uma contradição ou uma contingência.

• Uma tautologia é uma proposição que apresenta valor lógico verdadeiro independentemente dos valores lógicos atribuídos às proposições simples.
• Uma contradição é uma proposição que apresenta valor lógico falso independentemente dos valores lógicos atribuídos às proposições simples.
• Uma contingência é uma proposição que pode apresentar valor lógico verdadeiro ou falso, dependendo dos valores lógicos atribuídos às proposições simples.

Considere a proposição composta:

? p ? (p ? q)

A partir da análise dos possíveis valores lógicos das proposições p e q, assinale a alternativa que apresenta corretamente a classificação dessa proposição.