Syntactically, (1) and (2) are derivable from each other via the rules of contraposition and double negation.
Синтаксички, (1) и (2) се кодеривативни по пат на законот на контрапозиција и двојна негација.