Em um parecer técnico, foi ...
(__)A forma lógica usada no argumento é válida.
(__)O raciocínio empregado corresponde ao modus ponens.
(__)Se, mantidas as mesmas premissas e a conclusão fosse "o relatório contém inconsistência", a inferência deixaria de ser válida.
(__)A negação da proposição "a auditoria será refeita" é "a auditoria não será refeita".
A sequência CORRETA, de cima para baixo,
Comentários
Veja os comentários dos nossos alunos
Essa é modus tollens. O modus tollens (ou negação do consequente) é uma regra de inferência válida na lógica formal que segue a estrutura: Se P implica Q, e Q é falso, logo P é falso.
Clique para visualizar este comentário
Visualize os comentários desta questão clicando no botão abaixo