第八讲 谓词逻辑

　　一、小结
　　本讲主要介绍谓词、量词的概念，以及谓词演算的推理理论。
　　1．谓词的概念
　　命题是反映判断的语句，通常由主语和谓语两部分组成。
　　用以描述个体性质或关系的语法模式即是谓词。
　　谓词命名式是谓词与个体和个体变元结合的表示形式。有时将谓词命名式简称为谓词。
　　个体是命题中描述的对象。个体变元是代表个体的变元。
　　论述域（个体域）是指谓词命名式中个体变元的取值范围。如“x大于y”作为谓词逻辑的对象，其中个体变元“x”与“y”的取值范围可以是整数集。
　　全域（全总个体域）是指将各个论述域综合到一起作为论述范围的域。