"(p→q)→r" 과 "~r" 을 전제로 충분한 조건가설 추론의 부정사후공식을 형성할 수 있으며, 앞의 (p→q) 는 부정이다. 즉 (p→q) 는 거짓이다. ( 그래서 결론은 E 입니다.

2. "~p" 와 "p←(q←r)" 의 전제하에 거짓 추리를 형성하는 부정적인 전품은 (q←r) 이 거짓이며 형식은 "~ (q ← r) 입니다