とする．このとき関数について をそれぞれ計算せよ． (1) (2) (解答の方針) (1)について ∀-除去 ① より ∀-導入 である． ② より ∀-導入 と書ける． (2)について ∀-除去 ① より ∀-導入 で表される． ② より ∀-導入 を得る．