の平行移動をしたとき，放物線の方程式を求めよ． ☆ 関数と方程式 パラメタのグラフという意味で両者は同じものである．しかし，関数は∀-除去()，∃-仮定()により点をパラメタ化するのに対して，方程式は，∃-仮定()，点の指定すなわち点により点を走らせる，…

とする．このとき，次の関数の値を求めよ． ( < ) (解答の方針) ∃-仮定(について) に対して，反射的閉包の性質より < ∀-除去 i.e. < i.e. < と成る．したがって () ∃-除去，∀-導入 を得る．

とする． 問題 省略 (解答の方針) cm ∃-仮定 cm ∃-仮定 cm L ☆ 単位は省略して計算をする．縦の長さと横の長さはと置いた，と解釈されたい．このとき，次のような方程式を立てについて解く． i.e. i.e. i.e. i.e. であるから ∃-除去 山積(「または」でも「か…

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

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