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