Логическое положение, согласно которому, если из А следует В, то из отрицания А неизбежно следует...