第5章基于谓阁辽辑的机器推理 5.1一阶谓词逻辑 5.1.1谓词、函数、量词 设a1,42,,an表示个体对象，A表示它们的属性、状态或 关系，则表达式 A(a1,a2,…,an) 在谓词逻辑中就表示一个（原子）命题。例如， (1) 素数(2)，就表示命题“2是个素数”。 (2)好朋友（张三，李四），就表示命题“张三和李四是好朋 友”第5章 基于谓词逻辑的机器推理 5.1 一阶谓词逻辑 5.1.1 谓词、函数、 设a1 , a2 , …, an表示个体对象, A表示它们的属性、状态或 关系, 则表达式 A(a1 , a2 , …, an ) 在谓词逻辑中就表示一个(原子)命题。 例如, (1) 素数(2), 就表示命题“2是个素数” 。 (2) 好朋友(张三, 李四), 就表示命题“张三和李四是好朋 友”