令四、谓词逻辑 个体变元集X个体常元集C 项集l是XUc自由T1)代数 冷Rnt1t是P上的n元关系,为原子关系 原子关系全体Y 冷Y上的自由F,→,xx∈X}-代数P(Y) 给定谓词逻辑公式,化为自由T-代数元素中的 形式,并且知道属于哪个Gn 谓词合式公式,辖域,自由变元,约束变元, 项t对自由变元x自由,能够判断 习题19.6,19.7,19.8 冷求p),d(p)
❖ 四、谓词逻辑 ❖ 个体变元集X,个体常元集C ❖ 项集I是X∪C自由T(1)-代数 ❖ Rn i (t1 ,,tn )是I n上的n元关系,为原子关系 ❖ 原子关系全体Y ❖ Y上的自由{F,→,x|xX}-代数P(Y) ❖ 给定谓词逻辑公式，化为自由T-代数元素中的 形式,并且知道属于哪个Gn ❖ 谓词合式公式，辖域，自由变元，约束变元， 项t对自由变元x自由,能够判断 ❖ 习题19.6, 19.7, 19.8 ❖ 求l(p),d(p)
解释域,项解释,赋值,语义藴涵 冷习题19.12,19.13,19.14,19.15,1922 19.23 ☆形式证明,要求同命题逻辑注意有时可 能规定只能用公理集和演绎定理 注意问题的化解 冷习题18,21 命题符号化 ☆求前束析取范式习题27 Skolen范式
❖ 解释域，项解释，赋值，语义蕴涵 ❖ 习题19.12, 19.13, 19.14, 19.15, 19.22, ❖ 19.23 ❖ 形式证明，要求同命题逻辑,注意有时可 能规定只能用公理集和演绎定理 ❖ 注意问题的化解 ❖ 习题18,21 ❖ 命题符号化 ❖ 求前束析取范式 习题27. ❖ Skolem范式
集合是协调的概念,证明集合是协调的。 掌握演绎定理,完备性定理,协调性定理 掌握可满足性定理(谓词逻辑系统)证明的 基本思路, 掌握演绎定理的证明方法
❖ 集合是协调的概念，证明集合是协调的。 ❖ 掌握演绎定理,完备性定理,协调性定理， 掌握可满足性定理(谓词逻辑系统)证明的 基本思路, ❖ 掌握演绎定理的证明方法