∃xG(x)∧￢∀xF(x,y)→∀xF(x,y) 与 ∀x(￢G(x)∨F(x,y))是否等值

两个逻辑表达式不等值。

第一个逻辑表达式的意思是：存在某个x是G(x)，且不存在任何x使得F(x,y)都成立，那么对于任何x，F(x,y)都成立。

第二个逻辑表达式的意思是：对于任何x，要么￢G(x)成立，要么F(x,y)成立。

可以构造一个反例来证明它们不等值。假设有两个元素a和b，其中a是G(a)，而F(b,y)成立。那么第一个逻辑表达式中的存在量词可以选择a，因为G(a)成立，而对于任何x，F(x,y)都不成立，所以第一个逻辑表达式成立。但是对于第二个逻辑表达式，存在a使得G(a)成立，因此￢G(a)不成立，但是对于b，F(b,y)成立，因此F(a,y)不成立，所以第二个逻辑表达式不成立。因此，两个逻辑表达式不等值。