Uma negação lógica da afirmação: ‘Se a noite vira dia, então o animal da noite volta para a toca.’ é: