///
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 respectivamente uma fórmula proposicional que é uma tautologia, uma fórmula que é contradição e uma fórmula que é uma contingência é: