离散数学-4 一阶逻辑基本概念

            个体常项：表示具体或特定的客体的个体词，用a, b, c表示 个体变项：表示抽象或者泛指的个体词，用x, y, z表示 个体域(论域)——个体变项的取值范围 有限个体域，如 {a, b, c}, {1, 2} 无限个体域，如 N, Z, R, … 全总个体域——由宇宙间一切事物组成 谓词——表示个体词性质或相互之间关系的词，常用F,G,H等表示。 谓词常项 表示具体性质或关

>>阅读原文<<