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