Considere a seguinte notação para os conetivos lógicos:

!$ \rarr !$ 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 é: