数理論理学の問題です

質問

次の問題がわかりません。
次のラムダ項をもとめよ

[(λx.xy)/x](λy.x(λx.x))

[(λx.xz)/y](y(λz.zy))
できれば手順ものせていただけるとありがたいです。よろしくお願いします。

回答No.1

osn3673 · ベストアンサー

授業と Wikipedia 「ラムダ計算」（下記URL） の説明はどちらの方が詳しいのでしょうか．授業の方が詳しいのであれば自分で考えましょう．

参考URL：

http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97