情報統合思念体への手紙

16号廃墟へ向かう道

センテンス9 不等式の計算

 P,Q,R,......:センテンス

 a,b,c,......:パラメタ

とする.このとき次の不等式

 P∧Q:-2 <  x <  5

 R∧S:-7 <  y <  4

に対して x-yの値を求めよ.

(解答)

 まず, R∧Sに対して∧-除去より Rを考える.このとき

 R:-7 <  y

であるから

 R':7 >  -yと書ける.

 次に,同様にして Sを考えれば

 S:y <  4

 S':-y >  -4

である.それゆえ,∧-導入より

 R'∧S':-4 <  -y <  7

と書ける.いま x-yについて

 -6 <  x-y <  12

を得る.▢