En síntesis, para cualquier juicio que A implica B, entonces "no" B siempre implica "no" A.