Omvänd och förnekande av en if-then påstående?

Omvänd och förnekande av en if-then påstående är följande:

om (...) sedan uttalande;

omvänd blir

om (inte (...)) då uttalande;