谓词逻辑的注意事项

答案:1 悬赏:0 手机版

解决时间 2021-11-18 07:21

提问者网友：欲劫无渡
2021-11-17 08:38

谓词逻辑的注意事项

最佳答案

五星知识达人网友：西岸风
2021-11-17 08:58

在谓词逻辑中，使用量词应注意以下几点：
(1) 在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变.
(2) 在考虑命题符号化时，如果对个体域未作说明，一律使用全总个体域.
(3) 多个量词出现时，不能随意颠倒它们的顺序，否则可能会改变命题的含义.
谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题. 所谓解释就是使公式中的每一个变项都有个体域中的元素相对应.
在谓词逻辑中，命题符号化必须明确个体域，无特别说明认为是全总个体域。一般地，使用全称量词"，特性谓词后用®；使用存在量词$，特性谓词后用Ù.

我要举报

如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！