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