一阶逻辑初步.PDFVIP

一阶逻辑初步 哲学数学计算机中的逻辑课程(2016 年秋) 王彦晶 北大哲学系 2016 年12 月22 日 1 一阶逻辑的语言和语义 一些重要的元定理 2 一阶逻辑的语言和语义 一阶逻辑的语言(有很多个) 先确定一个符号表(signature,non-logicalsymbols): • 变元(variable) 符号xy • 常元(constant) 符号c d • 谓词(predicate) 符号P Q 每个有一个相应的元数(arity) • 函数(function) 符号f g 每个有一个相应的元数 给定这个符号表,(带等词的) 一阶逻辑的语言定义为: ⃗ 项(term) t x c ft ⃗ 公式(formula) φ t t Pt φ φ φ xφ 可以定义 为 例如x fc, xfc x, xyPxy 等等. 有时也用xφ 表示 xφx yzφy φz y z. xyFx Fy Hx Hy Simxy Hx Hy Simxy 托尔 4 斯泰. 变元的约束 一个公式里, 某个变元的某次出现不在任何一个量词的辖域 (scope) 里, 则称其是自由的(free). xPxfy yQxy 里第 二个x 和第一个y 是自由的. 直观上讲, 该公式可以等价的写成 zPzfy uQx u (变元易字). • 开公式(openformulas): 有变元自由出现的. • 闭公式(closedformulas,sentences): 没有自由出现的. 5 4 年前为真的例子(为了简化), 怎么让计算机理解和推理? 周迅的前男友窦鹏是窦唯的堂弟；窦唯是王菲的前老公；周迅的 前男友宋宁是高原的表弟；高原是窦唯的前任老婆；周迅的前男 友李亚鹏是王菲的现任老公；周迅的前男友朴树的音乐制作人是 张亚东；张亚东是王菲的前老公窦唯的妹妹窦颖的前老公，也是 王菲的音乐制作人；张亚东是李亚鹏前女友瞿颖的现男友。请问 下列说法不正确的是： • 王菲周迅是情敌关系； • 瞿颖王菲是情敌关系； • 窦颖周迅是情敌关系； • 瞿颖周迅是情敌关系. 谓词: 前亲密关系 EX,现亲密关系 NOW, 一种情敌关系可被定义 为: QDxy zNOWxz EXyz NOWyz EXxz. 6 4 年前的例子(为了简化): 贵圈真乱 只能用父子关系谓词 FZ,兄弟关系谓词XD, 前任函数ex, 父亲函 数father, 年纪函数age, 以及大小谓词, 怎么写周迅的前男友 是王菲的前老公的堂弟: ex c XD x father ex c age ex c x FZ x zx wf zx ageexc wf 进一步可以采用更基本的性别