定理2.5 17項 (∀-除去) s.t. とする．このとき，次が成立する． ☆注意 このような「～とする」の意味は，もしであるとき次が成り立つ，という仮定の話である． Ⅰ (ⅰ) (ⅱ) Ⅱ 分配法則 (ⅰ) (ⅱ) Ⅲ (ⅰ) (ⅱ) (証明) Ⅰ (ⅰ)について (∀-除去) s.t. を示す． 1 (1) …

絶対不等式 > を解け． (解答) (∀-除去) s.t. > をについて解く． > i.e. > i.e. < < これより 1 (1) < < 仮定 1 (2) < 1.∧-除去 i.e. 1 (3) 2.∧-除去 i.e. < 1 (4) 2.∧-除去 1 (5) < 3,4.選言三段論法 1 (6) < 1.∧-除去 i.e. 1 (7) 6.∧-除去 i.e. < 1 (8) 6…