逻辑问题(普遍和存在量化)

^

[VxeD, G(x)] -> [VyeD, F(y)]

[ExeD, !F(x)] -> [EyeD, !G(y)]

意思是“如果有人玩得不开心,那么就有人没有玩这个游戏。”请注意,这与你上面评论中的说法不同:很可能每个人都玩得很开心,但不是每个人都在玩。

p -> q 等同于 !q -> !p

AxL(x)->AxF(x)

现在,你可以只应用通常的体操:

<

<

<