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