Em um relatório de conformidade de um órgão regulador, analisa-se o encadeamento lógico de proposições relacionadas à segurança de um sistema digital e ao resultado de sua auditoria externa. As afirmações abaixo representam conclusões e premissas utilizadas na avaliação lógica do relatório, devendo-se verificar a validade de cada uma à luz das regras da lógica proposicional clássica, analise as assertivas e classifique como verdadeira (V) ou falsa (F):

(__)Se o sistema é seguro, então a auditoria é aprovada.
(__)A auditoria não é aprovada.
(__)Pode-se afirmar, com certeza lógica, que o sistema é seguro.
(__)É correto concluir, apenas com as informações dadas, que o sistema não é seguro.

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