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

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

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

逻辑问题也可以按你自己的逻辑去理解。没个人的逻辑不同理解也会不同