PERGUNTA 4 Considere a seguinte demonstração para o teorema (P-Q)^(QR) → ( PR) 1. P→ hip . 2.QRhip 3, P hip 4. Q 1,3, modus ponens 5. R Assinale a alternativa que justifica a validade do item 5. a. 2,4 tautologia O b.2.3 modus tollens. O c. 2,4, modus tollens. O d. 2,4, modus ponens. O e. modus ponens.
Lista de comentários
Resposta: D
2,4, modus ponens