2.1谓词逻辑的基本概念与表示 秀务 个体词和谓词根据其具有的抽象 (1).表示具体或特定的个体词称为个体常量 (Individual Constant)2一般个体词常量用 小写字母a, 表云；表示抽象的或泛指 的个体词称为 般用x,y,…等表示； (1).表示具体性质或关系的谓词称为谓词常量 Predicate Constant),表示抽象的或泛指的 性质或关系的谓词称为谓词变量Predicate Variable),请词一般都用大写孛母F,G, H,..表示。 71847/84 2.1 谓词逻辑的基本概念与表示 •定义2.2：个体词和谓词根据其具有的抽象 分为两种： (1).表示具体或特定的个体词称为个体常量 (Individual Constant)，一般个体词常量用 小写字母a, b, c, …表示；表示抽象的或泛指 的个体词称为个体变量(Individual Variable), 一般用x, y, …等表示； (1).表示具体性质或关系的谓词称为谓词常量 (Predicate Constant)，表示抽象的或泛指的 性质或关系的谓词称为谓词变量(Predicate Variable)，谓词一般都用大写字母F, G, H, …表示