Considere a demonstração do seguinte teorema $[(P \to Q) \to P] \to [(P \to Q) \to Q]$ . Demonstra...

Considere a demonstração do seguinte teorema $[(P \to Q) \to P] \to [(P \to Q) \to Q]$ .

Demonstração:

$\begin{matrix} 1. & (P \to Q) \to P & hip \ 2. & (P \to Q) & hip \ 3. & P & \ 4. & Q & 2,3 , , \mbox{modus ponens} \end{matrix}$

Assinale a alternativa que corresponde à justificativa correta para o passo 3 da demonstração.