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

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