///
Considere a seguinte notação para os conetivos lógicos: → representa o condicional.
∧ representa a conjunção.
∨ representa a disjunção inclusiva.
¬ representa a negação.
Sendo P uma sentença proposicional simples, a alternativa que apresenta uma contradição lógica é: