谓词逻辑又称为量词逻辑，是从命题逻辑发展出来的。 命题逻辑是研 | 古典音乐与哲学

谓词逻辑又称为量词逻辑，是从命题逻辑发展出来的。

命题逻辑是研究复合命题的逻辑，比如：

如果彼得上过基督教古典教育学校(p)那么他就学过逻辑(q)。

其中，p和q各自都是完整命题，在复合命题里，属于要素陈述（原子命题）。

谓词逻辑的主要任务就是把要素陈述符号化（函数化）。