Em um órgão público responsável pela fiscalização de contratos, existem normas internas que regulam o tratamento dos relatórios técnicos produzidos pelas equipes de auditoria. Segundo essas normas:

• se um relatório é aprovado, então ele é publicado oficialmente;
• todo relatório publicado deve ser arquivado no sistema institucional.

Considere as proposições a seguir, referentes a um determinado relatório, sob o ponto de vista da lógica proposicional:

I.Se um relatório é aprovado, então ele é publicado.
II.O relatório foi aprovado.
III.Se um relatório é publicado, então ele é arquivado.
IV.O relatório não foi arquivado.

Analisando a consistência lógica dessas proposições quando consideradas simultaneamente, está CORRETO o que se