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 afirma em: