Esto es, normalmente, llamado "ley de la contrapositiva", o de regla de inferencia "modus tollens".