Questão 1. Sabendo que P e Q são dois argumentos, avalie as asserções a seguir e a relação proposta entre elas. I – No Modus Ponens, temos a segui...

Questão 1. Sabendo que P e Q são dois argumentos, avalie as asserções a seguir e a relação proposta entre elas.

I – No Modus Ponens, temos a seguinte regra de inferência: (Q → P) ∧ P ⇒ Q.

Porque

II – No Modus Tollens, temos a seguinte regra de inferência: (P → ~Q) ∧ ~Q ⇒ ~P.

Assinale a alternativa correta.

A) As asserções I e II são verdadeiras, e a asserção II justifica a I.
B) As asserções I e II são verdadeiras, e a asserção II não justifica a I.
C) A asserção I é verdadeira, e a asserção II é falsa.
D) A asserção I é falsa, e a asserção II é verdadeira.
E) As asserções I e II são falsas.

Resposta correta: alternativa E.

Análise das asserções

I – Asserção falsa.

Justificativa: no Modus Ponens (do latim “ponere”, que significa “afirmar”), temos a seguinte relação de implicação: (P → Q) ∧ P ⇒ Q. Nessa relação, dada a condicional P → Q, a veracidade do antecedente implica a veracidade do consequente.

II – Asserção falsa.

Justificativa: no Modus Tollens (do latim “tollere”, que significa “negar”), temos a seguinte relação de implicação: (P → Q) ∧ ~Q ⇒ ~P. Nessa relação, dada a condicional P → Q, a negação do consequente implica a negação do antecedente.

A) As asserções I e II são verdadeiras, e a asserção II justifica a I.
B) As asserções I e II são verdadeiras, e a asserção II não justifica a I.
C) A asserção I é verdadeira, e a asserção II é falsa.
D) A asserção I é falsa, e a asserção II é verdadeira.
E) As asserções I e II são falsas.