とする．このとき関数のグラフの頂点と軸を求めよ． (解答) について考える． ∀-除去 仮定 ∃-仮定 ⇒-導入 ∃-除去 仮定はないので ∀-導入 したがって，関数のグラフの頂点はであり，その軸は直線である．

問 の計算をせよ． (解答) ∀-除去 仮定 ⇒-導入 したがって ∀-導入 である．

問1 は何次式か？ (解答) ∀-除去 仮定 と置く．このとき ⇒-導入 である．そして，その他の仮定はないので∀-導入適用可能である．したがって ∀-導入 よりは0次式であることがわかる． 問2 とする．このとき，次を計算せよ． (1) (2) (解答) (1)について ∀-除…