Considere a sentença “Se como doces, então engordo ou tenho azia.” A negação lógica dessa sentença é

se não como doces, então não engordo nem tenho azia.

se como doces, então não engordo nem tenho azia.

como doces e não engordo nem tenho azia.

não como doces e engordo ou tenho azia.

se não como doces, então engordo ou tenho azia.