Em um parecer técnico, foi registrada a seguinte estrutura argumentativa: "Se o relatório contém inconsistência, então a auditoria será refeita. A auditoria não será refeita. Logo, o relatório não contém inconsistência." Analise as assertivas e classifique como verdadeira (V) ou falsa (F):

(   ) 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, é: