命題2.6 19項 とする.このとき次の性質が成立する. (ⅰ) (ア) (イ) (ⅱ) (ⅲ) (ⅳ) (ⅴ) (証明) (ⅰ) (ア)について (二重∀-除去) s.t. を示す. 0,1 (1) 仮定 i.e. 0,1 (2) 1.∧-除去 0,1 (3) 1.∧-除去 0,1 (4) 2.∨-導入 0,1 (5) 3,4.三段論法 0 (6) 1-5.→-導入 (7) 4-6.∨-除去 (8) 7.二重∀-導入 (イ)について (二重∀-除去) s.t. を示す. 0,1 (1) 仮定 i.e. 0,1 (2) 1.∧-除去 0,1 (3) 1.∧-除去 0,1 (4) 2.∨-導入 …