Prolog 用于证明的一阶逻辑语句。操纵量词

好的，我有给定的关系： 如果F（x）不为真，则没有任何情况满足G（x）和H（y，x）。 ((∀x-F（x））⇒¬(∀y G（y）˄H（y，x）））

现在，我可以把它转换成： (∀y G（y）˄H（y，x）））⇒ ((∀xf（x））

如果不是，左手侧基本上意味着：

---

如果F（x）不是真的……没有提到For All或存在主义量词。我能把否定带到量词之外吗，也就是说，把它放在（(∀xf（x）），因为这使工作更容易？？？

我不确定这是不是合适的地方，但是，不，你不能。

---

将否定移出会改变量词。此外，初始公式可能不是您想要的：最后一个x是一个自由变量。

问这个问题的合适位置是。我明白了，如果这是现在的陈述呢(∀x-F（x））⇒¬(∃ y G（y））˄H（y，x））？对不起，我之前犯了一个错误…这里只需要两个基本的等价形式。对符号表示歉意：（1）∀x-F=∃xf（2）F⇒ 你可以很容易地自己找到答案：）