课件第10讲谓词逻辑等值式.pptVIP

* 一阶逻辑 * 前束合取（析取）范式 设φ为一谓词公式，如果φ具有如下形式：　　　Q1x1Q2x2...Qnxnψ其中Qi(1≤i≤n)为?或?，ψ为不含量词的合取（析取）范式公式，则称φ为前束合取（析取）范式 合取范式形如：(A11 ∨ A12 ∨ … ∨ A1n ) ∧ (A21 ∨ A22 ∨ … ∨ A2n ）∧… ∧(Am1 ∨ Am2 ∨ … ∨ Amn ） 其中Aij是原子公式或其否定。 * 一阶逻辑 * 举例 ?xA(x)∧?xB(x) ? ?x(A(x)∧B(x)) ?xA(x) ∨ ?xB(x) ? ?yA(y) ∨ ?xB(x) ? ?y(A(y) ∨ ?xB(x)) ? ?y?x(A(y) ∨ B(x)) * 一阶逻辑 * 习题 P78-80 2，6-12 * 三组非逻辑符号 * * 一阶逻辑 一阶逻辑 * 一阶逻辑 * 一阶逻辑的字母表 个体常项: a, b, c, …, a1, b1, c1,… 个体变项: x, y, z, …, x1, y1, z1,… 函数符号: f, g, h, …, f1, g1, h1,… 谓词符号: F, G, H, …, F1, G1, H1, … 量词符号: ?, ? 联结词符号: ?, ?, ?, ?, ? 括号与逗号: (, ), ， * 一阶逻辑