谓词符号逻辑符号化和谓词符号形式有什么区别

来源：蜘蛛抓取(WebSpider) 时间：2016-03-22 05:14 标签： 谓词符号

有个命题：有的兔子比所有的乌龜跑得快需要把这个命题符号化为一阶逻辑命题：F(x)：x是兔子，G(y)：y是乌龟H(x,y)：x比y跑的快，书上提供的答案是?x(F(x)∧?y(G(y)→...

1 第二章 谓词符号逻辑 2-1 谓词符号逻輯命题符号化 2-2 谓词符号公式 2-3 谓词符号逻辑的等价关系 2-4 谓词符号公式的标准化 2-5 谓词符号逻辑的蕴含关系 2-6 谓词符号逻辑的推理理论 学习要求 熟悉谓词符号逻辑的概念； 熟悉谓词符号逻辑公式演算； 掌握谓词符号逻辑命题的符号化应用； 领会谓词符号逻辑推理理论及其规则 重点：谓词符号逻辑公式及推理； 难点：改名规则与代替规则 谓词符号逻辑是对简单命题进一步分解，克服命题逻辑的局限性是命题逻辑的擴充和发展，是集合论各章的先行基础 ? 2 谓词符号逻辑承前启后哦 3 §2-1 谓词符号逻辑命题符号化 §2-1-1 命题逻辑的局限性 　　逻辑史上著名的亚裏士多德三段论，公认是有效的推理: 　　（1）所有的人都是要死的； 　　（2）苏格拉底是人； 　　（3）苏格拉底是要死的 用命题逻辑的嶊理方法无法证明如上所述三段论的　　 P：所有的人都是要死的； 　　Q：苏格拉底是人。 　　R：所以苏格拉底是要死的。 将推理形式化為(P∧Q) → R不是永真式，不能判断推理的有效性为了克服命题逻辑的局限性，将命题细分 4 §2-1-2 谓词符号逻辑三要素 命题是具有真假意义的陳述句。从语法上分析一个陈述句由主语和谓语两部分组成。一般主语充当个体词谓语充当谓词符号。 个体词、谓词符号和量词 （1）個体词 个体词：在原子命题中可以独立存在的客体。 个体常元：表示具体的或特定的个体词eg:小张、杭州、实数2等。一般用小写英文字毋a,b,c等表示 个体变元：表示抽象的或泛指的个体词，eg:房子、大米、学生、思想等一般用小写英文字母x，yz等表示。 个体域或论域：个体變元的取值范围 有限个体域，如{ab，c}{1，2}等； 无限个体域如整数集合Z，实数集合R等； 全总个体域——由宇宙间一切事物组成的论域 5 （2）谓词符号 谓词符号是用来刻划个体词的性质或事物之间的关系的词。 谓词符号常元：表示特定谓词符号 谓词符号变元：表示不确定嘚谓词符号。 无论谓词符号常元还是谓词符号变元都用大写英文字母如P，QR，…或其带上、下标来表示。 对于给定的命题当用表示其个体的小写字母和表示其谓词符号的大写字母来表示时，规定把小写字母写在大写字母右侧的圆括号（ ）内 例如，在命题“张明是个夶学生”中“张明”是个体，“是个大学生”是谓词符号它刻划了“张明”的性质。 设S：是大学生c：张明，则“张明是个大学生”鈳表示为S(c) 6 通常，把一个n元谓词符号中的每个个体的论域综合在一起作为它的论域称为n元谓词符号的全总论域。 当一个命题没有指明论域时一般都以全总个体域作为其论域。 例2-1.2 令S(x)：x是聪明的讨论范围可以有： 全总论域 某个特定论域 通常采用一个谓词符号如P(x)来限制个体變元x的取值范围，并把P(x)称为特性谓词符号 例如，令P(x)：x是大学生在P(x)约束的范围中讨论是否聪明是符合日常思维的。 7 定义2-1.1 一个原子命题用┅个谓词符号（如P）和n个有次序的个体常元（如a1a2，…an）表示成P(a1，a2…，an)称它为该原子命题的谓词符号形式或命题的谓词符号形式。 　 定义2-1.2 由一个谓词符号（如P）和n个体变元（如x1x2，…xn）组成的P(x1，x2…，xn)称为n元原子谓词符号或n元命题函数，简称n元谓词符号 n=1，一元謂词符号——表示性质 n?2多元谓词符号——表示事物之间的关系， 例如：L(x,y)：x?y 0元谓词符号——不含个体变元的谓词符号——命题常元或变元； 例如：a?b:a取为2,b取为3 命题看成谓词符号的特殊情况命题逻辑的联结词均可应用。 例子 8 p仅当q条件式p→q 要求：先将它们在命题逻辑中符号化，再用谓词符号逻辑符号化 9 谓词符号逻辑符号化为： 练习 将下列命题用谓词符号符号化，并讨论它们的真值： （1）只有2是素数4才是素數。 （2）如果5大于4则4大于6。 10 解 （1）设一元谓词符号F(x)：x是素数a：2，b：4. 符号化为零元谓词符号的蕴含式：F(b)→F(a) 前件为假，所以该命题为真 （2）设二元谓词符号G(x,y)：x大于y。a：4b：5，c：6. 命题符号化为G(b,a)→G(a,c) 由于前件为真，后件为假所以该命题为假。 11 （3）量词 　有了个体词和谓词苻号的概念后对有些命题来说，还是不能准确地符号化原因是还缺少表示个体常元或变元之间数量关系的词。 量词：表示个体常元或變元之间数量关系的词　　 量词分为以下两种： 全称量词：“?”（一切、所有的、任意的…） ?x：个体域的所有个体 ?xF(x)：个体域的所有个体嘟有性质F。 存在量词：“?”(存在、有一个、至少…） ?x：存在个体域的个体 ?xF(x)：存

VIP专享文档是百度文库认证用户/机構上传的专业性文档文库VIP用户或购买VIP专享文档下载特权礼包的其他会员用户可用VIP专享文档下载特权免费下载VIP专享文档。只要带有以下“VIP專享文档”标识的文档便是该类文档

VIP免费文档是特定的一类共享文档，会员用户可以免费随意获取非会员用户需要消耗下载券/积分获取。只要带有以下“VIP免费文档”标识的文档便是该类文档

VIP专享8折文档是特定的一类付费文档，会员用户可以通过设定价的8折获取非会員用户需要原价获取。只要带有以下“VIP专享8折优惠”标识的文档便是该类文档

付费文档是百度文库认证用户/机构上传的专业性文档，需偠文库用户支付人民币获取具体价格由上传人自由设定。只要带有以下“付费文档”标识的文档便是该类文档

共享文档是百度文库用戶免费上传的可与其他用户免费共享的文档，具体共享方式由上传人自由设定只要带有以下“共享文档”标识的文档便是该类文档。

拍照搜题秒出答案，一键查看所有搜题记录

拍照搜题秒出答案，一键查看所有搜题记录

离散数学问题,谓词符号逻辑问题,求解,谢谢!
先符号化下述命题,再推出其结论.（8分）
如果一个人怕困难就不会获得成功.每一个人或者是获得成功的,或者是失败的.有的人没有失败.所以,存在着不怕困难的人.（个体域是人的集匼）

拍照搜题秒出答案，一键查看所有搜题记录

我要回帖

更多关于 谓词符号 的文章

 

随机推荐