Uma afirmação que corresponde a uma negação da lógica da afirmação: ‘Se cada escultura é uma obra de arte, então a chuva é uma grande artista’, é

Se a chuva não é uma grande artista, então cada escultura não é uma obra de arte.

Cada escultura é uma obra de arte ou a chuva é uma grande artista.

Cada escultura não é uma obra de arte ou a chuva não é uma grande artista.

Cada escultura é uma obra de arte, e a chuva não é uma grande artista.

Se cada escultura não é uma obra de arte, então a chuva não é uma grande artista.