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

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

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