Logic 谓词逻辑_Logic_Predicate - Fatal编程技术网

Logic 谓词逻辑

logic

Logic 谓词逻辑,logic,predicate,Logic,Predicate,我正在为考试而学习，我真的不知道该如何描述：领域是所有人 V（w）=w是投票人 P（w）=w是一位政治家 K（y，z）=y知道z T（y，z）=y=z 卡尔是一个认识所有人的选民。（Cal为c）这会是：∀xv（c）^K（c，x）有一位政治家是其他政治家都不信任的 ∃x∀y P（x）^P（y）^T（y，x）我不确定这些是否正确。最后一位不是说：有些政客没有人信任吗？我如何使它单数还有：没有人信任每一位政治家 ∃x∀y P（y）^T（x，y）谢谢另外，我不确定这是否贴在了正确的位置，

我正在为考试而学习，我真的不知道该如何描述：

领域是所有人

V（w）=w是投票人
P（w）=w是一位政治家
K（y，z）=y知道z
T（y，z）=y=z

卡尔是一个认识所有人的选民。（Cal为c）

这会是：∀xv（c）^K（c，x）

有一位政治家是其他政治家都不信任的

∃x∀y P（x）^P（y）^T（y，x）

我不确定这些是否正确。最后一位不是说：有些政客没有人信任吗？我如何使它单数

还有：没有人信任每一位政治家

∃x∀y P（y）^T（x，y）

谢谢

另外，我不确定这是否贴在了正确的位置，但我认为这是一个好地方。

首先：好

第二：很好，但应该是“不是T”，对吗

第三：“不是x”意味着什么。你应该用DeMorgan的话重新表述为“每个人都有一个他们不喜欢的政治家”。

首先：好

第二：很好，但应该是“不是T”，对吗

第三：“不是x”意味着什么。你应该用DeMorgan的话重新表述为“每个人都有一个他们不喜欢的政治家”。

第一个是好的，你是说：

“对于所有人来说，cal都是选民，cal认识此人”

（顺便说一句，这可以用另一种方式写。你可以这样写：“Cal是一个选民，对于所有人来说，Cal都认识那个人。这看起来更自然，更接近于原始的纯英语声明，但他们的意思是一样的）

第二个，你走了，你是说

存在一个人x，对于所有人y，x是政治家，y是政治家，y信任x

试试这个：

∃x∀y:P（x）^（P（y）->（！T（y，x））

（对不起，我没有使用所有正确的符号D:。->意味着暗示，和！意味着不）这是说“存在一个人x，对于所有人y，x是一个政治，如果y是一个政治，y不信任x”

对于第三个，你想说“对于所有人来说，存在着一个他们不信任的政治家”。