Logic 将英语句子翻译成谓词wff
我有一个学校作业，需要把英语句子翻译成谓词逻辑 问题是“每个苹果水果都不是芒果。” 域是整个世界，M（x）表示x是芒果，a（x）表示x是苹果，F（x）表示x是水果 我想到的答案是“(∀x） [F（x）∧（A（x）⟶[M（x）]'“但有人会这样回答 "(∀x） [F（x）⟶（A（x）⟶[M（x）]'”Logic 将英语句子翻译成谓词wff,logic,discrete-mathematics,quantifiers,Logic,Discrete Mathematics,Quantifiers,我有一个学校作业，需要把英语句子翻译成谓词逻辑 问题是“每个苹果水果都不是芒果。” 域是整个世界，M（x）表示x是芒果，a（x）表示x是苹果，F（x）表示x是水果 我想到的答案是“(∀x） [F（x）∧（A（x）⟶[M（x）]'“但有人会这样回答 "(∀x） [F（x）⟶（A（x）⟶[M（x）]'” 第二个答案是否是“每个苹果水果都不是芒果”这句话的有效翻译？两者都是正确的。你本质上是在问： A -> (B -> C) 相当于： (A /\ B) -> C 如果你把真值表制
第二个答案是否是“每个苹果水果都不是芒果”这句话的有效翻译？两者都是正确的。你本质上是在问：
A -> (B -> C)
(A /\ B) -> C