考虑以下一阶逻辑公式，其中 R 是二元关系符号。
∀x∀y (R(x, y) => R(y, x))
公式是
(A)可满足且有效
(B)可满足，它的否定也是
(C)不可满足但其否定有效
(D)可满足但其否定是不可满足的答案：(乙)
解释：
VxVy R(x,y) => R(y,x)
上面给出的关系是对称的
但是，我们既有可能的对称关系，也有可能存在反对称关系，但是对于集合的所有可能性，这两者都不总是成立的。
=> 两者都可满足但无效
该解决方案由Anil Saikrishna Devarasetty 提供。
另一种解决方案：
我们得到了一个逻辑公式。因此，要有效，它必须是对称关系。因此，选项 A 是错误的。因为，它是一个逻辑公式 => 它与它的否定一起是可满足的。
因此，选项 B 是正确的。
该解决方案由Mohit Gupta贡献。
这个问题的测验