一阶逻辑合式公式与解释.pdfVIP

Discrete Math. 离 散 数 学 第二章 一阶逻辑 First-order Logic ÿ2.1 一阶逻辑基本概念 ÿ2.2 一阶逻辑合式公式及解释 ÿ2.3 一阶逻辑等值式 ÿ2.4 一阶逻辑推理理论 ÿ2.5 题例分析 2.2 一阶逻辑合式公式及解释 1. 谓词公式 Def. 字母表如下： 1).个体常项：a, b, c, a , b , c , ... i i i 2).个体变项：x, y , z, x , y , z , ... i i i 3).函数符号：f, g, h, f , g , h , ... i i i 4).谓词符号：F, G, H , F , G , H , ...