将英语句子翻译成谓词wff
将英语句子翻译成谓词wff
提问于 2021-05-26 09:09:50
我有一个学校作业，需要把英语句子翻译成谓词逻辑。
问题是“不是所有苹果的水果都是芒果。”
域就是整个世界，M(x)表示x是芒果，A(x)表示x是苹果，F(x)表示x是水果。
我得到的答案是“(∀x)[F(X)∧(A(X)⟶M(X)‘)]”，但也有人这样回答。
“(∀x)[F(X)⟶(A(X)⟶M(X)‘)]”
第二个答案是不是“每个苹果的水果都不是芒果”这句话的有效翻译？
回答 1
Stack Overflow用户
回答已采纳
发布于 2021-05-26 12:24:11
两者都是正确的。你本质上是在问：
A -> (B -> C)等同于：
(A /\ B) -> C如果你把真值表列出来，你会发现这两个命题总是等价的。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/67697340
复制相关文章
相似问题
腾讯云开发者
