人工智能中的存在量词和通用量词

Question

我刚刚开始一阶谓词逻辑。 为什么全称量词和单蕴涵在一起？ 同样存在量词和连词一起去？

采取声明：有些青蛙是绿色的 那么为什么这是一个错误的翻译：∃x (frog(x) → green(x))？

另外，对于语句：All frogs are green (∀x)(frog(x) → green(x)) 似乎不是正确的翻译；在 frog(x) 变为假的情况下，表达式(∀x)(frog(x) → green(x)) 将始终为真。

用真值表解释会有帮助

Answer 1

我想你所说的“一起去”是指：

所有的青蛙都是绿色的的意思是对于所有的东西，如果它们是青蛙，它们就是绿色的，或者，作为一阶谓词逻辑的公式：

(∀x)(frog(x) → green(x))

有些青蛙是绿色的意思和有些东西既是青蛙又是绿色的意思一样即

(∃x)(frog(x) ∧ green(x))

然后你问：

接受陈述：Some frogs are green 那么为什么这是一个不正确的翻译：(∃x)(frog(x) → green(x))

现在，如果有些青蛙是绿色的，确实(∃x)(frog(x) → green(x)) 是真的！但是 converse 是不正确的：只要您的域中有一个非青蛙， (∃x)(frog(x) → green(x)) 是真的，即使看不到绿青蛙，即。即使 有些青蛙是绿色的 是假的。

所以(∃x)(frog(x) → green(x)) 和有些青蛙是绿色的

不一样

（另请参阅 Philosophy.stackexchange.com 上的this discussion）

另外，对于语句：All frogs are green (∀x)(frog(x) → green(x)) 似乎不是正确的翻译；在frog(x) 变为假的情况下，表达式(∀x)(frog(x) → green(x)) 将始终为真。

我认为你想说如果没有青蛙(∀x)(frog(x) → green(x)) 是真的，而在你（和亚里士多德的）看来所有青蛙都是绿色的不是， 在这种情况下。这是普遍命题existential import 的古老而古老的问题。它有着悠久而迷人的历史；可以说现代逻辑学家和哲学家认为在没有青蛙的世界中所有的青蛙都是绿色的是正确的（就像所有的青蛙都是红色的一样）

Answer 2

如果有些青蛙是绿色的，那么： ∃ x : 青蛙(x) => 绿色(x) 听起来对我来说是正确的......