你将如何减少这种lambda演算

时间:2017-05-21 11:06:42

标签: nlp

你如何减少这个?

VP =λx(Ǝe(关闭(e)^关闭(e,x)))(λQ(餐厅(x)^ Q(x))))

我有类似

的东西

Ǝe(关闭(e)^关闭(e,λQ(Ǝx(餐厅(x)^ Q(x)))))

但我不确定这是否正确

0 个答案:

没有答案