21谓词逻辑的基本概念与表示 21.1谓词 定义21:在原子命题中,可以独立存在的客 体(句子中的主语,宾语等),称为个体词 ( Individual)。而用以刻画个体词的性质或个 体词之间的关系的词即是谓词( Predicate 单纯的谓词或单纯的个体词都无法构成一个 完整的逻辑含义,只有将它们结合起来才能 构成一个完整的,独立的逻辑断言。 6/846/84 2.1 谓词逻辑的基本概念与表示 2.1.1谓词 •定义2.1：在原子命题中，可以独立存在的客 体(句子中的主语，宾语等)，称为个体词 (Individual)。而用以刻画个体词的性质或个 体词之间的关系的词即是谓词(Predicate)。 •单纯的谓词或单纯的个体词都无法构成一个 完整的逻辑含义，只有将它们结合起来才能 构成一个完整的，独立的逻辑断言