Questão 18715 — Raciocínio Lógico, Matemática Financeira e Estatística

Resposta: B

O raciocínio apresentado é um exemplo clássico de Modus tollens. Este é um argumento dedutivo válido que segue a forma: se P então Q; não Q; portanto, não P. Na questão: se declara corretamente (P) então cumpre a lei (Q); João não cumpre a lei (não Q); portanto, João não declara corretamente (não P). O Modus tollens é uma regra de inferência fundamental na lógica proposicional, diferente do silogismo hipotético (que conecta duas proposições condicionais), do dilema construtivo (que envolve duas condicionais e duas afirmações) e da indução matemática (método de prova para sequências).