我正在读考试，我不确定如何描绘这个：
域名是所有人。
V（w）= w是选民
P（w）= w是政治家
K（y，z）= y知道z
T（y，z）= y信任z
Cal是一个了解每个人的选民。 （Cal是c）
这是：∀xV（c）^ K（c，x）
有一位政治家没有其他政客信任
∃x∀yP（x）^ P（y）^ T（y，x）
我不确定这些是否正确。最后一个人不会说：有没有人信任的政治家？我如何使它变得奇异？
另外：没有人信任每一位政治家。
∃x∀yP（y）^ T（¬x，y）
由于
P.S。我不确定这是否发布在正确的地方，但我认为这将是一个很好的地方。
答案 0 :(得分：1)
第一个很好，你说的是：
“对于所有人来说，cal是选民而cal知道那个人”
（顺便说一句，这可以用另一种方式写成。你可以把它写成“Cal是一个选民而且对于所有人来说，cal知道那个人。看起来更自然，更接近原始的普通英语声明，但他们的意思相同）
第二个，你离开了。你在说
“存在一个人x，所有人y，x是政治家，y是政治家，y信任x”
试试这个：
∃x∀y：P（x）的^（P（Y） - ＆GT;（T（Y，X））
！（对不起，我没有使用所有正确的符号D：。 - ＆gt;意味着暗示，而！意味着没有）所以这就是说“存在一个人x，这样对于所有人y，x是一个政治如果y是一个政治，y不信任x“
对于第三个，你想要“为了所有人，有一个他们不信任的政治家”。
答案 1 :(得分：0)
第一：好
第二：好，但它应该是“不是T”，对吧？
第三：“不是x”意味着什么。你应该用DeMorgan来改写为“因为每个人都有一个他们不喜欢的政治家”。