我有一个合乎逻辑的陈述，即“如果每个人都玩游戏，我们就会玩得开心”。
在形式逻辑中，我们可以将其写成：
让P代表人们玩耍。 让G成为玩游戏的谓词。 让F成为玩乐的谓词。因此[VxeD，G（x）] - > [VyeD，F（y）]
V是通用量化的计算机科学符号。下面的E是存在量词。
我正在寻找一种只使用存在量词来编写类似语句的方法。我最好的猜测是，我们只需要找到一种方法来找到它没有发生的反例，从而否定上述内容。
问题在于否定它没有意义。我们得到：
[VxeD，G（x）] ^ [EyeD，！L（y）]
这不是一个恰当的陈述，因为宇宙仍在那里虽然它也是等价的。因此，我需要重新制作我的陈述，如：VxeD，VyeD，G（x）^ F（y）我会得到ExeD，EyeD，！G（x）v！F（y）这意味着“存在一个不学习的人或一个没有乐趣的人“这对我来说似乎不正确。
一些指导或澄清会非常棒： - ）
谢谢！
答案 0 :(得分：2)
我不理解你的^符号，但我相信你正在寻找对立面。在您的示例中，如果原始语句是：
[VxeD, G(x)] -> [VyeD, F(y)]
然后是对立的
[ExeD, !F(x)] -> [EyeD, !G(y)]
意思是“如果有人没有乐趣，那么就有人不玩游戏。”请注意，这与上面评论中的陈述不同：很可能每个人都玩得很开心，但不是每个人都在玩。
通常，p -> q相当于!q -> !p。
（当然我可能没有正确理解你的记谱法。）
答案 1 :(得分：2)
我在阅读你的记谱法时遇到了麻烦。我将A用于通用量词，E用于存在量词，F用于谓词'有趣'，G用于谓词'playng学习游戏'，然后
AxL（x） - ＆gt; AXF（x）的
现在，您可以应用通常的体操：
＆LT; ==＆GT; ！AxL（x）＆lt; - ！AxF（x）
＆LT; ==＆GT; Ex！G（x）＆lt; - Ex！F（x）
＆LT; ==＆GT; Ex！F（x） - ＆gt;防爆！G（x）的
事实上，当某人没有乐趣时，这意味着不是每个人都玩这个游戏。