我刚刚开始了第一个命令谓词逻辑。 为什么通用量词和单一含义结合在一起？ 同样，存在量词和连词也在一起吗？
接受声明：有些青蛙是绿色的 为什么这是一个错误的翻译：{{1}}？
另外，对于声明：所有青蛙都是绿色的 ∃x (frog(x) → green(x))似乎不是正确的翻译;在frog（x）变为假的情况下，表达式(∀x)(frog(x) → green(x))将始终为真。
使用真值表进行解释会很有帮助
答案 0 :(得分：1)
我想通过“一起去”你的意思是：
所有青蛙都是绿色的对于所有事物都意味着与相同，如果它们是青蛙，它们是绿色的，或者作为一阶谓词逻辑的公式：
(∀x)(frog(x) → green(x))
有些青蛙是绿色的意味着与一些青蛙和绿色相同
(∃x)(frog(x) ∧ green(x))
然后你问：
接受声明：有些青蛙是绿色的为什么这是一个不错的翻译：{{1}}
现在，如果有些青蛙是绿色的，确实(∃x)(frog(x) → green(x))是真的！但 converse 并非如此：只要您的域中有一个非青蛙，
(∃x)(frog(x) → green(x))是真的，即使没有青蛙可见，即。即使有些青蛙是绿色的也是假的。
所以(∃x)(frog(x) → green(x)) 并不代表 某些青蛙是绿色的
（另见Philosophy.stackexchange.com上的this discussion）
另外，对于声明：所有青蛙都是绿色的
(∃x)(frog(x) → green(x))似乎不是正确的翻译;在(∀x)(frog(x) → green(x))变为false的情况下，表达式frog(x)将始终为真。
我想你想在这里说如果没有青蛙(∀x)(frog(x) → green(x))是真的，而在你（和亚里士多德的）意见中所有的青蛙都是绿色的在那种情况下，不是。这是existential import普遍命题的古老而古老的问题。它有悠久而迷人的历史;足以说现代逻辑学家和哲学家认为，在没有青蛙的世界中所有的青蛙都是绿色的是真的（因为所有的青蛙都是红色的）
答案 1 :(得分：0)
如果有些青蛙是绿色的，那么： ∃x：青蛙（x）=＆gt;绿色（X） 对我来说听起来不错......