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