将英语句子翻译成谓语wff

Question

我有一项学校作业，需要将英语句子翻译成谓语逻辑。

问题是"；不是每一种苹果都是芒果">

域是整个世界，M(x(意味着x是芒果，a(x(表示x是苹果，F(x(代表x是水果。

我得出的答案是"；(∀x([F(x(∧(A(x(⟶[M(x(]′(]〃；但有人回答如下。

"(∀x([F(x(⟶(A(x(⟶[M(x(]′(]〃；

第二个答案是句子"的有效翻译吗；不是每一种苹果都是芒果"？

Answer 1

两者都是正确的。你本质上是在问：

A -> (B -> C)

相当于：

(A / B) -> C

如果你把真值表制成表格，你会发现这两个命题总是等价的。