小编Pet*_*tev的帖子

在将简单的逻辑公式转换为lambda表达式时,我有一个误解(证明了该公式).

所以,我有以下公式:((((A-> B) - > A) - > A) - > B) - > B其中 - >表示蕴涵逻辑运算符.

如何用任何与之对应的函数语言(最好是Haskell)编写一些lambda表达式？

我有一些"结果",但我真的不确定这是否正确:

• (((λF - >λA) - > A) - >λB) - > B.
• ((((lambda A - > lambda B) - > A) - > A) - > B) - > B.

如何将公式转换为lambda表达式？如果您知道某些材料涉及此问题,将会非常有帮助.

谢谢