Em um processo de licitação para o fornecimento de um sistema de informática a uma secretaria estadual, todas as empresas inscritas tiveram de submeter seus sistemas a diversos testes de desempenho. Em um desses testes, a condição para aprovação de um sistema era a seguinte:
Todos os usuários da secretaria devem conseguir acessar o sistema e nenhum deles deve receber uma mensagem de erro ao enviar um e-mail.
Sabe-se que o sistema da empresa X não foi aprovado nesse teste. Assim, é correto concluir que durante o teste do sistema dessa empresa, necessariamente,
