(1) < < ∃-仮定 に対して とくに i.e. 反射的閉包の性質 i.e. である．このとき，絶対値を外すために以下のような方程式を立てれば i.e. i.e. を得る．しかし，これらは仮定 < < に反するので，絶対値が0に成ることはない．したがって，この問題は絶対値の性…

とする．このとき 次の不等式を解け． (2) (解答の方針) 与式に対して反射的閉包の性質より ∀-除去 をについて解く． であるが，ここまでに仮定はないので ∀-導入適用可能 である．したがって， i.e. ∀-導入 を得る． ☆ 単称判断は全称判断に含まれる．