已阅读5页，还剩69页未读， 继续免费阅读
版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
谓词逻辑2019/6/10命题逻辑的局限性苏格拉底三段论:P:所有的人都是要死的Q:苏格拉底是人R:所以苏格拉底要死。凭直觉知道这个结论是真的,推理是有效的。但是,借助命题演算的推理理论,却不能推导岀这个结论(无法证明它的正确性)。Why?2019/6/102此三段论的论断显然正确。但是,在命题逻辑中无法得到正确性的反应P∧Q→R不是重言式!命题逻辑不能正确反映此三段论的推理过程。这是命题逻辑的局限性!2019/6/10原因口在命题逻辑中无法将简单命题之间的内在联系反映出来。命题逻辑中描述的上述三段论,即P∧Q→R,使R与命题P、Q无关的独立命题但是,实际上R与命题P、Q是有关系的,只是这种关系在命题逻辑中得不到反映口要反映这种内在联系,需对简单命题作进一步分解,分解出其中的成份,包括:个体词,谓词,量词,函词等,研究它们的形式结构及逻辑关系,总结出正确的推理形式和规则,这就是一阶逻辑所研究的内容口一阶逻辑也称谓词逻辑。谓词逻辑是一种表达能力更强的谓词逻辑口我们将介绍谓词逻辑的基本概念和符号。关于命题、命题的真值、命题词、命题常量和命题变元以及逻辑五个联结词其含意和在命题逻辑中的基本相同,口本章中只介绍谓词逻辑中新出现的基本概念和符号其中
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 会所转让合同样本
- 住宅改造合同样本
- 关于餐饮服务员合同样本
- 住建委物业合同标准文本
- 计算机视觉应用技术测试题及答案
- 医疗废物的处置与规范
- 书法艺术班主任的书法艺术指导计划
- 前台工作中的自我提升策略计划
- 2024年智能安全帽投资申请报告代可行性研究报告
- 男性口红测试试题及答案
- 人教五年级语文上册毛主席在花山课件
- 《微型消防站建设标准》
- 中国少年先锋队入队申请书 带拼音
- 环氧粉末涂料爆炸危险性评估
- 拉斐尔课件完整版
- 机加工日语词汇
- 化疗药物灌注
- 集群企业住所托管服务协议书
- GB/Z 28828-2012信息安全技术公共及商用服务信息系统个人信息保护指南
- 中小企业智能制造数字转型
- GB/T 12729.1-2008香辛料和调味品名称
评论
0/150
提交评论