とする．このとき，関数に対して をそれぞれ計算せよ． (1) (2) (解答の方針) (1)について ∀-除去 ① 仮定はないので∀-導入可能であるから ∀-導入 を得る． ② 仮定はないので∀-導入可能であるから ∀-導入 である． ③ 仮定はないので∀-導入可能であるから ∀-導…