A negação lógica da sentença “Se eu como e não corro, então eu engordo” é:

Se eu como e não corro, então eu não engordo.

Eu como e não corro e não engordo.

Se eu não engordo, então eu não como ou corro.

Eu não como e corro e não engordo.

Se eu não como ou corro, então eu não engordo.