Um edital apresentou a afirmação: "Se o relatório foi validado, então os dados foram auditados". Em seguida, informou-se que os dados não foram auditados. A equipe jurídica precisou concluir, com base apenas nessa estrutura argumentativa, o que necessariamente decorre dessas premissas. Analise as assertivas e classifique como verdadeira (V) ou falsa (F):

(   ) A conclusão "o relatório não foi validado" decorre validamente das premissas.
(   ) A forma de raciocínio usada é o modus tollens.
(   ) A conclusão "o relatório foi validado" também decorre validamente das premissas.
(   ) A forma "Se p, então q; não q; logo, não p" é válida. 

A sequência CORRETA, de cima para baixo, é: