定理2.3 分配法則 15項 とする.このとき次が成立する. (Ⅰ) (Ⅱ) (証明) (Ⅰ)について (ア) (イ) のうち(ア)のみを示す. (ア)に関して (∀-除去) i.e. をいう. 1 (1) 仮定 1 (2) 1.∧-除去 3 (3) 仮定 1 (4) 1.∧-除去 1,3 (5) 3,4.∧-導入 1,3 (6) 5.∨-導入 7 (7) 仮定 1,7 (8) 4,7.∧-導入 1,7 (9) 8.∨-導入 1,3 (10) 3-6,7-9.∨-除去 1 (11) 2-10.∨-除去 (12) 1-11.→-導入 (13) 12.∀-導入 を得る.したがって,(Ⅰ)の(ア)が…