2023-12-22から1日間の記事一覧
問 次の不等式を解け. < (解答の方針) < i.e. < > を示す. (解答) 1 (1) < 前提 1 (2) < 1. ∀-除去 3 (3) 仮定 1,3 (4) < 2,3. →-除去 i.e. < i.e. > 1 (5) > 3-4. →-導入 1 (6) > 5. ∀-導入
問 次の不等式を解け. < (解答の方針) < i.e. < > を示す. (解答) 1 (1) < 前提 1 (2) < 1. ∀-除去 3 (3) 仮定 1,3 (4) < 2,3. →-除去 i.e. < i.e. > 1 (5) > 3-4. →-導入 1 (6) > 5. ∀-導入