P→Q -||- Q→P

とする．このとき

が成立する．

(証明)

1　　(1)　　　仮定

2　　(2)　　　仮定

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

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

1　　(5)　　　1,4. →-除去

　　  (6)　　　1-5. →-導入

☆　逆も同様に示される．▢