Considere os três silogismos a seguir. (P → Q) e P, então Q; (R → S) e ~S, então ~R; (A → B) e (B → C), então A → C Respectivamente, eles são denominados:

Gabarito

B

Comentário do professor

Modus Ponens: parte-se de \(P\) e de \(P \to Q\) para concluir \(Q\). É a confirmação do antecedente: se a condição ocorre e dessa condição decorre \(Q\), então \(Q\) é verdadeiro.

Modus Tollens: parte-se de \(\neg S\) e de \(R \to S\) para concluir \(\neg R\). É a negação do antecedente a partir da negação do consequente: se \(R\) implicaria \(S\) e \(S\) é falso, então \(R\) não pode ser verdadeiro.

Silogismo hipotético: com \(A \to B\) e \(B \to C\) conclui-se \(A \to C\). Trata-se da transitividade da implicação: uma cadeia de condicionais permite encadear as consequências.

Portanto, os três silogismos apresentados são, respectivamente, Modus Ponens, Modus Tollens e Hipotético.