我不确定何时使用全称量词或存在量词。这是我的例子：任何通过历史考试并赢得彩票的人都很高兴。一阶逻辑：∀x Pass(x,history) ^ win(x,lottery) -> happy(x) 或 ∃x Pass(x, history) ^ win(x,lottery) -> happy(x) 我会想知道逻辑是否正确。
问问题
205 次
2 回答
4
您应该了解存在量词和全称量词是相互补充的（类似于加/减和乘/除）。任何一个都可以通过否定另一个来实现。
任何通过他的历史考试并赢得彩票的人都很高兴。
答案是：
- ∀x {Pass(x,history) ^ win(x,lottery) -> happy(x)} 读作：对于所有 x，如果 x 通过历史并且 x 中了彩票，那么 x 是快乐的。
- ~∃x {Pass(x, history) ^ win(x,lottery) -> ~happy(x)} 读作：如果一个人通过历史并赢得彩票，那么情况并非（或不可能），那么他不高兴。
于 2015-05-27T04:08:30.897 回答
3
存在量词将意味着“有一个人，X，这样……”，而不是“任何人，X，这样”。
不知道为什么你有一个“序言”标签。但是 Prolog 中的相应子句是：
happy(X) :- pass(X, history), win(X, lottery).
于 2015-05-24T09:25:53.297 回答