第2章谓闹逻辑 表示具体或特定个体的标识符称作个体常元,一般用 小写英文字母a、b、c、…或这些英文字母带下标表示。例 如:李玲、张华、李红、小高、小王、小刘可如下表示 a:李玲 b:张华 :李 红高王 e: f:小刘 a,b,cde2都是个体常元。 将表示任意个体或泛指某类个体的标识符称为个体变 元,常表示为x、y、z、…等或这些英文字母带下标。 个体变元的变化范围称为个体域或论域。个体域可以 是有穷集合,也可以是无穷集合,包含任意个体域的个体 域称为全总个体域,它是由宇宙间一切对象组成的集合 在本书中,如无特别说明,所采用的都是全总个体域第2章 谓词逻辑 表示具体或特定个体的标识符称作个体常元，一般用 小写英文字母a、b、c、…或这些英文字母带下标表示。例 如：李玲、张华、李红、小高、小王、小刘可如下表示： a：李玲 b：张华 c：李红 d：小高 e：小王 f：小刘 a,b,c,d,e,f都是个体常元。 将表示任意个体或泛指某类个体的标识符称为个体变 元，常表示为x、y、z、…等或这些英文字母带下标。 个体变元的变化范围称为个体域或论域。个体域可以 是有穷集合，也可以是无穷集合，包含任意个体域的个体 域称为全总个体域，它是由宇宙间一切对象组成的集合。 在本书中，如无特别说明，所采用的都是全总个体域