- 1、本文档共87页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
计算机科学与工程学院 陈瑜 Email:chenyu.inbox@ * §2.2 谓词公式与解释 同命题演算一样,在谓词逻辑中也同样包含命题变元和命题联结词,为了能够进行演绎和推理,为了对谓词逻辑中关于谓词的表达式加以形式化,利用联结词、谓词与量词构成命题函数,因此我们必须引入公式的概念。 四类符号 四类符号 四类符号 四类符号 四类符号 一、谓词的合适公式 一、谓词的合适公式 例2.2: (P(x)→(Q(x,y)∨~R(x,a,f(z)))) (P(x)∨R(y)) (?x)(P(x)) 等都是公式。 而 (?x)(P(x)→R(x) (?x)∨P(x)(?y) 等则不是公式,前者括号不匹配,后者量词无辖域。 二、公式的解释 二、公式的解释 含有量词的公式的解释 对于含有量词的公式的解释,需要根据量词的逻辑意义来决定公式的值。 设论域 D={a1,a2, …,an} 1)(?x)P(x) ? P(a1) ∧ P(a2) ∧…∧P(an) 表示公式(?x)P(x)值为1“当且仅当”对论 域D中每个元素a, P(a)的值为1。 2)(?x)P(x) ? P(a1) ∨ P(a2) ∨…∨P(an) 表示公式(?x)P(x)值为0“当且仅当”对论域 D中每个元素a, P(a)的值为0。 含有量词的公式的解释 对于含有量词的公式的解释,需要根据量词的逻辑意义来决定公式的值。 设论域 D={a1,a2, …,an} 1)(?x)P(x) ? P(a1) ∧ P(a2) ∧…∧P(an) 表示公式(?x)P(x)值为1“当且仅当”对论 域D中每个元素a, P(a)的值为1。 2)(?x)P(x) ? P(a1) ∨ P(a2) ∨…∨P(an) 表示公式(?x)P(x)值为0“当且仅当”对论域 D中每个元素a, P(a)的值为0。 含有量词的公式的解释 对于含有量词的公式的解释,需要根据量词的逻辑意义来决定公式的值。 设论域 D={a1,a2, …,an} 1)(?x)P(x) ? P(a1) ∧ P(a2) ∧…∧P(an) 表示公式(?x)P(x)值为1“当且仅当”对论 域D中每个元素a, P(a)的值为1。 2)(?x)P(x) ? P(a1) ∨ P(a2) ∨…∨P(an) 表示公式(?x)P(x)值为0“当且仅当”对论域 D中每个元素a, P(a)的值为0。 例2.3 设公式:(?x)(?y)(P(x,y)→Q(x,y))。在如下给定的解释下,判断该公式的真值。 例2.3 设公式:(?x)(?y)(P(x,y)→Q(x,y))。在如下给定的解释下,判断该公式的真值。 例2.3 设公式:(?x)(?y)(P(x,y)→Q(x,y))。在如下给定的解释下,判断该公式的真值。 例2.3 设公式:(?x)(?y)(P(x,y)→Q(x,y))。在如下给定的解释下,判断该公式的真值。 例2.3(续1) 2) 解释I为: ①个体域为N; ②P(x,y)指定为:“xy=0”; ③Q(x,y)指定为:“x=y”; 则原公式的真值为“假”。 因对任意的x≠0,当y=0时,有P(x,y)→Q(x,y)为 “假”,即有:(?y)(P(x,y)→Q(x,y))为“假”。而对x=0,当y≥1时,有P(x,y)→Q(x,y)为“假”。即有: (?y)(p(x,y)→Q(x,y))为“假”。 所以,对任意x∈N,都有: (?y)(P(x,y)→Q(x,y))为“假”。 即有:(?x)(?y)(P(x,y)→Q(x,y))为“假”。 例2.3(续1) 2) 解释I为: ①个体域为N; ②P(x,y)指定为:“xy=0”; ③Q(x,y)指定为:“x=y”; 则原公式的真值为“假”。 因对任意的x≠0,当y=0时,有P(x,y)→Q(x,y)为 “假”,即有:(?y)(P(x,y)→Q(x,y))为“假”。而对x=0,当y≥1时,有P(x,y)→Q(x,y)为“假”。即有: (?y)(P(x,y)→Q(x,y))为“假”。 所以,对任意x∈N,都有: (?y)(P(x,y)→Q(x,y))为“假”。 即有:(?x)(?y)(P(x,y)→Q(x,y))为“假”。 例2.3(续1) 2) 解释I为: ①个体域为N; ②P(x,y)指定为:“xy=0”; ③Q(x,y)指定为:“x=y”; 则原公式的真值为“假”。 因对
您可能关注的文档
- 养老护理员课件资料简介.ppt
- 养老护理院招标文件资料简介.doc
- 养老智能市场分析资料简介.docx
- 养驴计划书资料简介.docx
- 养正中学2013届高三上期末考试历史试题资料简介.doc
- 氧化还原反应简介.pptx
- 叙事体任务驱动型作文资料简介.ppt
- 叙事要完整(作文)资料简介.ppt
- 叙事要完整资料简介.ppt
- 宣州谢朓楼饯别校书叔云(课件)简介.ppt
- Unit 4 I have a pen pal Part B Let’s talk 课件人教PEP版六年级上册.ppt
- 4.9 可爱的企鹅 课件 北师大版(2024)数学一年级上册.ppt
- 【大单元整体教学】1.3 材料与保温 课时教案 科学大象版五年级上册.pdf
- 第二单元 1 一共有多少 课件 北师大版(2024)数学一年级上册.ppt
- 第5课《班集体以我为荣》课件 心理健康四年级上册北师大版.ppt
- 第32课《今天的事情今天做》课件 心理健康一年级下册北师大版.ppt
- 川教版三年级上册信息科技 2了解多样在线技能 课件.ppt
- 外研版三上Unit 2 My school things Period 2课件.ppt
- Unit2 Ways to go to school Part C Story time&Let’s check 课件人教PEP版六年级上册.ppt
- Unit 5 What does he do_ Part B Let’s learn 课件人教PEP版六年级上册.ppt
文档评论(0)