第二章 谓词逻辑    在命题逻辑中，命题被看成一个基本，不可分割单位，只研究由原子命题和联接词所组成复合命题；因而无法研究命题内部结构及命题之间内在联络。本章介绍谓词逻辑，对原子命题成份、结构和原子命题间共同特征等作了深入分析。引入了个体词、谓词、量词、谓词公式等概念，在此基础上研究谓词公式间等值关系和蕴含关系，而且对命题逻辑中推理规则进行扩充和进行谓词演绎。
  主要内容以下：            谓词、个体词和量词              谓词演算公式            谓词演算永真公式            谓词演算推理理论
谓词、个体词和量词   
例  在命题逻辑中 ，对下述论断无法判断其正确性。     “苏格拉底三段论” ：     凡人都是要死，     苏格拉底是人，      所以苏格拉底是要死。
类似例 还有许多。   比如：   全部人都要呼吸 ,     全部正整数都大于0,   李莉是人 ,             3是正整数,   所以李莉要呼吸。       所以3大于0。
  一、个体词和谓词    在谓词演算中，可将原子命题分解为谓词与个体词两部分 ...