とする.このとき次の不等式
< <
< <
に対しての値を求めよ.
(解答)
まず,に対して∧-除去よりを考える.このとき
<
であるから
> と書ける.
次に,同様にしてを考えれば
<
>
である.それゆえ,∧-導入より
< <
と書ける.いまについて
< <
を得る.▢
とする.このとき次の不等式
< <
< <
に対しての値を求めよ.
(解答)
まず,に対して∧-除去よりを考える.このとき
<
であるから
> と書ける.
次に,同様にしてを考えれば
<
>
である.それゆえ,∧-導入より
< <
と書ける.いまについて
< <
を得る.▢