(라틴어 거부 모드입니다.) 'B ' false이 고 'B ' 그때 '는 ' ' 는' 의미 하는 경우 상태를 유추 규칙 거짓 이기도 합니다. 이것은 "안전 하지 않은" 접근 부정은 항상 긍정적인 증명 보다 약한 증명 하기 때문에 방법 ponens에 비해 간주 됩니다.