日記2

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

白チャート　基本例題 34　65項

加藤文元・チャート研究所『新課程(赤)チャート式数学Ⅰ+ A』数研出版 2022

$a,b,c,......：束縛変数$

$\bar{a},\bar{b},\bar{c},......：パラメタ$

とする．このとき　次の不等式を解け．

(2)　 $3(x-2)≥2(2x+1)$

(解答の方針)

　与式に対して反射的閉包の性質より

$3(\bar{x}-2)=2(2\bar{x}+1)$ 　　∀-除去

を $\bar{x}$ について解く．

$3\bar{x}-6=4\bar{x}+2$

であるが，ここまでに仮定はないので

$-\bar{x}=8$ 　　∀-導入適用可能

である．したがって，

$-x=8$ 　i.e.　 $x=-8$ 　　∀-導入

を得る．

☆　単称判断は全称判断に含まれる．