你能帮我把所有的逻辑公式转换成等价的不存在公式吗？
can you help me to transform forall FO logical formula to it equivalent not exist formula?
我有这个公式
∀x ∀y (A(x,y) V A(y,x) → B(y,c1) ∧ B(x,c2) ∧ c1≠c2)
使用存在量词的等价公式
？
当你想要做出那个改变时，你基本上想要找到与内部陈述所说的相反的东西，因为如果一个陈述对每个 ** x 都是真的**，那么它意味着它的反面不是曾经发生过；不存在意味着没有 x 使得陈述为真。
∀x ∀y X 等同于 ¬∃(x, y) ¬X
'X → Y' 等同于 'There is no counterexample when X but not Y'
¬(A(x,y) V A(y,x) → B(x,c1) ∧ B(x,c2) ∧ c1≠c2) = (A(x,y) V A(y,x)) ∧ ¬(B(x,c1) ∧ B(x,c2) ∧ c1≠c2)) - 我们的反例。如果我们将第二部分的否定放入其中并将所有内容收集在一起，我们得到：
¬∃(x, y) (A(x,y) V A(y,x)) ∧ (¬B(x,c1) v ¬B(x,c2) v c1 = c2)
更新：将 ¬∃x ¬∃ y 替换为 ¬∃(x, y)。我想这就是你最初的意思吧？
我有这个公式
∀x ∀y (A(x,y) V A(y,x) → B(y,c1) ∧ B(x,c2) ∧ c1≠c2)
使用存在量词的等价公式 ？
当你想要做出那个改变时，你基本上想要找到与内部陈述所说的相反的东西，因为如果一个陈述对每个 ** x 都是真的**，那么它意味着它的反面不是曾经发生过；不存在意味着没有 x 使得陈述为真。
∀x ∀y X 等同于 ¬∃(x, y) ¬X
'X → Y' 等同于 'There is no counterexample when X but not Y'
¬(A(x,y) V A(y,x) → B(x,c1) ∧ B(x,c2) ∧ c1≠c2) = (A(x,y) V A(y,x)) ∧ ¬(B(x,c1) ∧ B(x,c2) ∧ c1≠c2)) - 我们的反例。如果我们将第二部分的否定放入其中并将所有内容收集在一起，我们得到：
¬∃(x, y) (A(x,y) V A(y,x)) ∧ (¬B(x,c1) v ¬B(x,c2) v c1 = c2)
更新：将 ¬∃x ¬∃ y 替换为 ¬∃(x, y)。我想这就是你最初的意思吧？