P∧Q→Rについて

とする．このとき，次の論理式は文論理及び述語論理をみたすように成立する．

(証明)

1　　(1)　　　仮定

2　　(2)　　　仮定

1　　(3)　　　1. ∧-除去

1　　(4)　　　1. ∧-除去

1　　(5)　　　3,4. ∧-導入

1　　(6)　　　2-5. →-導入

1　　(7)　　　5,6. →-除去

　　  (8)　　　5-7. →-導入