Uma afirmação que corresponda à negação lógica da afirmação: “Se o resultado não bateu, então o meio de campo está enrolado”, é:

O resultado não bateu e o meio de campo não está enrolado.

Se o meio de campo não está enrolado, então o resultado bateu.

O resultado bateu e o meio de campo não está enrolado.

Se o resultado bateu, então o meio de campo não está enrolado.

O resultado bateu ou o meio de campo não está enrolado.