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

A noite vira dia e o animal da noite não volta para a toca.

A noite não vira dia ou o animal da noite não volta para a toca.

Se o animal da noite volta para a toca, então a noite vira dia.

Se a noite não vira dia, então o animal da noite não volta para a toca.

Se o animal da noite não volta para a toca, então a noite não vira dia.