問 < < ， < < のとき，次の式の値の範囲を求めよ． (ア) (イ) (解答) とする． (ア)について < < < < 1 (1) < < 前提 2 (2) < < 仮定 2 (3) < 2. ∧-除去 > > 2 (4) < 2. ∧-除去 > > 2 (5) < < 3,4. ∧-導入 2 (6) < < 5. ∃-導入 1 (7) < < 1,2-6. ∃-除去 (イ…

とする．このとき は成立するか？ (証明の方針) i.e. を試行する．もし，記号の一切の中身を問うことをしなければ，この判断も真と成る． 1 (1) 前提 1 (2) 1. ∀-除去 3 (3) 仮定 1 (4) 2-3. →-導入 1 (5) 1,4. ∀-導入 この場合，(4)で記号の中身を問う必要…

問 次の方程式，不等式を解け． (ア) (解答の方針) s.t. i.e. を示す． (解答) 1 (1) 前提 2 (2) 仮定 i.e. i.e. i.e. 2 (3) 2. ∃-導入 1 (4) 1,2-3. ∃-除去 (イ) > (解答の方針) s.t. > i.e. > < < ］］を示す． (解答) 1 (1) > 前提 2 (2) > 仮定 i.e. > i…

問 次の連立不等式を解け． > (解答の方針) s.t. > i.e. > < を示す． (解答) 1 (1) > 前提 2 (2) > 仮定 2 (3) 2. ∧-除去 i.e. i.e. 2 (4) > 2. ∧-除去 i.e. > i.e. < 2 (5) < 3,4. ∧-導入 i.e. < 2 (6) < 5. ∃-導入 1 (7) < 1,2-6. ∃-除去