早教吧 育儿知识 作业答案 考试题库 百科 知识分享

谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?例如"我是人"是个命题逻辑,那么H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假。我这样理解对么?

题目详情
谓词逻辑的问题: 是不是把命题逻辑符号化,就是谓词逻辑?例如"我是人"是个命题逻辑,那么 H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假。 我这样理解对么?
▼优质解答
答案和解析
我觉得谓词逻辑就是把谓词看成一个函数f(x)然后把主语看成个体,这些个体赋值给这个函数以后呢得到了句子的真值 命题逻辑关注的是命题与命题之间的关系,命题和命题用与或非蕴含这些逻辑符号连接之后的真值,所以说谓词逻辑可以解释atomic命题的真值条件以及组合命题的真值条件,命题逻辑只解释atomic命题由各种关系组合之后的命题的真值条件 比如说p(小明是人)是一个真命题,q(小狗是人)是一个假命题,p&q根据命题逻辑就是一个假命题,至于p或者q为什么是真命题或假命题没法解释 谓词逻辑就可以解释为什么小明是人是真,小狗是人不是,因为是人这个函数对小明为真对小狗为假