谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?例如"我是人"是个命题逻辑,那么H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假.我这样理解对么?
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/05 15:28:05
![谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?例如](/uploads/image/z/14724581-5-1.jpg?t=%E8%B0%93%E8%AF%8D%E9%80%BB%E8%BE%91%E7%9A%84%E9%97%AE%E9%A2%98%3A%E6%98%AF%E4%B8%8D%E6%98%AF%E6%8A%8A%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91%E7%AC%A6%E5%8F%B7%E5%8C%96%2C%E5%B0%B1%E6%98%AF%E8%B0%93%E8%AF%8D%E9%80%BB%E8%BE%91%3F%E4%BE%8B%E5%A6%82%22%E6%88%91%E6%98%AF%E4%BA%BA%22%E6%98%AF%E4%B8%AA%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91%2C%E9%82%A3%E4%B9%88H%28x%29%E8%A1%A8%E7%A4%BA%22x%E6%98%AF%E4%BA%BA%22%E5%B0%B1%E6%98%AF%E4%B8%80%E4%B8%AA%E8%B0%93%E8%AF%8D%E9%80%BB%E8%BE%91%2Cx%E7%9A%84%E5%8F%96%E5%80%BC%E5%86%B3%E5%AE%9A%E4%BA%86%E8%BF%99%E5%8F%A5%E8%AF%9D%E7%9A%84%E7%9C%9F%E5%81%87.%E6%88%91%E8%BF%99%E6%A0%B7%E7%90%86%E8%A7%A3%E5%AF%B9%E4%B9%88%3F)
谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?例如"我是人"是个命题逻辑,那么H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假.我这样理解对么?
谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?
例如"我是人"是个命题逻辑,那么
H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假.
我这样理解对么?
谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?例如"我是人"是个命题逻辑,那么H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假.我这样理解对么?
我觉得谓词逻辑就是把谓词看成一个函数f(x)然后把主语看成个体,这些个体赋值给这个函数以后呢得到了句子的真值
命题逻辑关注的是命题与命题之间的关系,命题和命题用与或非蕴含这些逻辑符号连接之后的真值,所以说谓词逻辑可以解释atomic命题的真值条件以及组合命题的真值条件,命题逻辑只解释atomic命题由各种关系组合之后的命题的真值条件
比如说p(小明是人)是一个真命题,q(小狗是人)是一个假命题,p&q根据命题逻辑就是一个假命题,至于p或者q为什么是真命题或假命题没法解释
谓词逻辑就可以解释为什么小明是人是真,小狗是人不是,因为是人这个函数对小明为真对小狗为假
逻辑问题也可以按你自己的逻辑去理解。没个人的逻辑不同理解也会不同