hola pedro,
las instrucciones if C then S1 else S2 , o if C then S tienen una condición o guarda, que se evalúa, y dependiendo de la construcción usada (if-then o if-then-else) y el resultado de evaluar la condición C, se ejecuta S1, S2, S, o nada. no hay una instrucción if-not, lo que puede suceder es que la condición C sea una negación (not (a mod 2 = 0) querría decir que a es impar).
en ese entendido, se puede usar if C then ... donde C sea la negación de otra condición.
saludos
luis