命題2.4 15項 とする．このとき次が成立する． (1) (ア) (イ) (2) (3) (証明) (1) (ア)について (Ⅰ) (Ⅱ) を示す． (Ⅰ)に関して (∀-除去) をいう． 1 (1) 仮定 (2) 空集合の定義 (3) 1,2.三段論法 (4) 1-3.→-導入 (5) 4.∀-導入 (Ⅱ)に関して (∀-除去) をいう．…