日記2

自然演繹を積極的に用いたい.

2023-08-04から1日間の記事一覧

絶対方程式 1

絶対方程式 を解け. (解答) (∀-除去) s.t. をについて解く. i.e. i.e. これより 1 (1) 仮定 2 (2) 仮定 2 (3) 2.∨-導入 4 (4) 仮定 4 (5) 4.∨-導入 (6) 1,2-3,4-5.∨-除去 (7) 6.∀-導入

一次不等式 2

連立不等式 (∀-除去) s.t. < < を解け. 1 (1) < < 仮定 1 (2) < 1.∧-除去 i.e. < i.e. < i.e. < i.e. < i.e. > i.e. 1 (3) 2.∧-除去 i.e. > 1 (4) 2.∧-除去 1 (5) > 3,4.三段論法 1 (6) < 1.∧-除去 i.e. < i.e. < i.e. < i.e. 1 (7) 6.∧-除去 i.e. < 1 (8) …

一次不等式 1

不等式の基本性質 (∀-除去) s.t. < とする.このとき次のような2数の大小関係を答えよ. (1) < (2) > (3) < より < 一次不等式 次の不等式を解け. (∀-除去) s.t. Ⅰ (1) < < i.e. < i.e. < i.e. > (2) i.e. i.e. i.e. i.e. i.e. Ⅱ 次の連立不等式を解け. (∀…