离散数学-合式公式和谓词推理.ppt
10页
2-3 谓词公式 与翻译定义： 谓词演算的合式 公式（1）原子谓词公式是合式公式 （2）若A是合式公式，则A是一个合式公式 （3）若A和B都是合式公式，则(AB)，(A B)，(A B)和(A B)是合式公式 （4）如果A是合式公式，x是A中出现的任何变元，则( x)A和( x)A都是合式公式 （5）只有经过有限次地应用规则(1)、(2) 、 (3)、(4)所得到的公式是合式公式2-7 谓词演算的 推理理论（1）全称指定规则， 它表示为US( x) P (x) P (c)这里P是谓词，而C是 论域中某个任意的客体2）全称推广规则， 它表示为UGP (x) ( x) P (x)这个规则是要对命题量化 ，如果能够证明对论域中每一 个客体C断言P(c)成立3）存在指定规则， 它表示为ES( x) P (x) P (c)C是论域中的某些客体， 必须注意，其指定的客体C不 是任意的1）存在推广规则， 它表示为EGP (c) ( x) P (x)这里C是论域中的一个 客体，对于某些客体C成立 •命题演算中的P、T和 CP规则等亦可在谓词 推理理论中应用。
点击阅读更多内容
相关文档
会计学（第21版）课件：Analyzing Transactions.ppt
会计职业素养（第二版）课件：智能财务素养.ppt
会计职业素养（第二版）课件：会计法律法规素养.ppt
会计职业道德课件： 注册会计师职业道德.ppt
会计学基础（第4版）工业企业主要经营过程的核算和成本核算.ppt
会计学基础（第4版）财务会计报告.ppt
会计学（第21版）课件：Budgeting.ppt
会计制度设计（第2版）课件：固定资产、无形资产的内部控制与核算方法设计.ppt
会计学基础（第4版）会计核算组织程序.ppt
会计职业素养（第二版）课件：会计职业角色素养.ppt
会计职业素养（第二版）课件：会计职业道德素养.ppt
会计学基础（第4版）财产清查.ppt
会计学基础（第4版）复式记账原理及其应用.ppt
会计职业素养（第二版）课件：会计人员的非财务素质与能力素养.ppt
会计学基础（第3版）账户的分类.ppt
会计职业素养（第二版）课件：会计文化素养.ppt
会计学基础（第3版）总论.ppt
会计制度设计（第2版）课件：存货的内部控制与核算方法设计.ppt
会计学基础（第3版）会计账簿.ppt
会计学基础（第4版）会计工作的组织与管理.ppt
相似文档 更多>
正为您匹配相似的精品文档
