Na avaliação de um computador, foram feitos testes exaustivos da taxa de falhas nas operações de acesso à memória. Seja p uma proposição representando que um acesso à memória foi bem sucedido, e q, uma proposição representando que houve sobrecarga de tensão. Foi constatado nos testes que, em todas as situações em que o acesso à memória falhou, houve sobrecarga de tensão, fato que pode ser representado pela fórmula ¬ p → q da lógica proposicional. Em um novo teste, constatou-se que não houve sobrecarga de tensão. Sobre esse novo teste, e considerando-se os resultados obtidos nos testes anteriores, pode-se deduzir que