情報統合思念体への手紙

16号廃墟へ向かう道

不等式について

(解法)

 2|x+4| <  x+10を解く.

 -(x+10) <  2(x+4) <  x+10

 P:-(x+10) <  2(x+4)

 Q:2(x+4) <  x+10

と置く.このとき P

 -x-10 <  2x+8

 -3x <  2x+8

 -3x <  18

 x >  -6

他方 Q

 2x+8 <  x+10

 x <  2

である. P,Q \vdash P∧Qより

 -6 <  x <  2

を得る.