絶対不等式 を解け. (解答) (∀-除去) s.t. i.e. i.e. i.e. これより を考える. 1 (1) 仮定 1 (2) 1.∧-除去 i.e. < 3 (3) < 仮定 i.e. 3 (4) 3.∧-除去 1,3 (5) < 2,4.三段論法 1 (6) 1.∧-除去 i.e. < 7 (7) < 仮定 i.e. 7 (8) 7.∧-除去 1,7 (9) < 6,8.三段論法 1,3,7 (10) < < 5,9.∧-導入 (11) < < 1-10.∨-除去 したがって < < i.e. < < ∀-導入 である. 結果 この問題は「または」の選択問題であることがわかった.…