Considere como verdadeira a proposição “Se o programa de registros estiver funcionando, sempre que disparar o alarme, um relatório deverá ser anexado”. Sabe-se, no entanto, que hoje não foi anexado relatório. Logo, pode-se concluir, com certeza, que hoje