￢PからPを導出する理屈

とする．このとき

が結果的に無仮定で成立する(述語論理の∀-導入適用可能)． 

(証明)

1　　(1)　　　仮定

2　　(2)　　　仮定

1,2　 (3)　　　1,2. →-除去

1　　(4)　　　1-3. →-導入

1　　(5)　　　1,3. ￢-除去

　　  (6)　　　1-5. ￢-導入

　　  (7)　　　7. DN規則