Considere a afirmação:
“Se Jonas é um soldado então é forte”.
A negação dessa afirmação é
Jonas é um soldado e não é forte.
Se Jonas não é um soldado então é forte.
Se Jonas é um soldado então não é forte.
Se Jonas não é um soldado então não é forte.
Se Jonas não é forte então não é um soldado.