第2章一阶逻辑 2.1一阶逻辑的基本概念 首先我们将简单命题的结构分解成个体和谓词。 个体(客体)我们讨论的对象。可以是具体的, 也可以是抽象的。 个体域(论域)个体所构成的非空集合。 全总个体域(无限域)包含宇宙中一切事物的个 体域 谓词简单命题中,表示一个个体的性质或多个个 体间的关系的词第2章 一阶逻辑 2.1 一阶逻辑的基本概念 首先我们将简单命题的结构分解成个体和谓词。 个体（客体） 我们讨论的对象。可以是具体的， 也可以是抽象的。 个体域（论域） 个体所构成的非空集合。 全总个体域（无限域） 包含宇宙中一切事物的个 体域。 谓词 简单命题中，表示一个个体的性质或多个个 体间的关系的词