후건 부정: p→q, ¬q ⊨ ¬p는 타당한가?

p → q가 성립하고 q가 거짓이면 p도 거짓이어야 합니다. p를 참으로 만드는 것은 q도 참으로 만들기 때문입니다. 후건을 부정하면 전건이 부정됩니다.

타당p→q, ¬q ⊨ ¬p

태블로의 모든 가지가 닫히므로, 전제를 참으로 두고 결론을 거짓으로 만드는 배정은 없습니다.