P -||- Q

とする．このとき

が成立する．

(証明)

1　　(1)　　　仮定

2　　(2)　　　仮定

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

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

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

　　  (6)　　　3-5. →-導入

　　  (7)　　　5,6. →-除去

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