など など とする．このとき ☆ という関係が成立する．これらは何れもパラメタである．そこで対応記号 に基づいてパラメタを量化すれば と書ける． ☆は という計算公式である．あとは ① ∃-仮定を落とせるか ② ∀-導入可能か(①や前提外のその他の仮定が落とさ…

問題 省略 (解答の方針) とする．このとき重力は ☆ で表される．いま ∀-除去，仮定 という操作をすると，条件から という値を考えられる．これよりについて一次方程式を解く． i.e. である．したがって を得る．与えられた存在判断は変形(消去)されているの…