Sejam ~, ˄ e → os símbolos, respectivamente, das seguintes operações lógicas: negação, conjunção e condicional. Considere as proposições P, Q e R a seguir:
P : p → ( ~ p → q )
Q : ~p ˄ ( p ˄ ~ q )
R : ~ ( p ˄ ~ p )
A alternativa que apresenta somente proposições tautológicas é
