泰来娱乐手机版

泰来娱乐手机版官网-泰来娱乐手机版官方网站-三亿鼠标的娱乐梦想

第2章 谓词逻辑(杨圣洪版教材

  离 离 散 散 数 数 学授课教师:刘慧明Email:岛科技大学青岛市郑州路53号(四方校区) 邮编:266042 第二章 谓词逻辑 《 离散数学 》二 章 第 二章 章 谓词逻辑引言命题演算的推理系统是一个完全的公理系统,其表现力还不够强大,有些问题难以用命题演算进行表达。如:著名的 苏格拉底三段论:人总是要死的,因为苏格拉底是人,所以苏格拉底总是要死的。一 这 推理过程无法用命题演算表示。若P:人总是要死的;Q:苏格拉底是人;R:苏格拉底总是要死的。则上面的话用命题公式应该表示为P