- 1、本文档共26页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
命题逻辑推理理论—离散数学
2.4 命题逻辑推理理论;2.4.1 推理的形式结构;定理2.8 由前提A1, A2, …, Ak 推出B 的推理正确当且仅当
A1 ? A2 ? … ? Ak ? B为重言式.;二、推理的形式结构;真值表法
等值演算法
主析取范式法
构造证明法;例1 判断下面推理是否正确:
(1) 若今天是1号, 则明天是5号. 今天是1号. 所以, 明天是5号. ;例1 (2) 若今天是1号, 则明天是5号. 明天是5号. 所以, 今天是1号。;三、推理定律——重言蕴涵式;注意:;2.4.2 自然推理系统P;自然推理系统P(续);自然推理系统P(续);直接证明法;实例;实例(续);附加前提证明法;实例;归谬法(反证法);实例;实例(续);课堂练习1;[证];[证];应用实例1 分析下列事实“如果我有很高的收入,那么我就能资助许多贫困学生;如果我能资助许多贫困学生,那么我很高兴;但我不高兴,所以我没有很高的收入。”试指明前提和结论,并给予证明。;应用实例2 将下列条??作为前提,验证所得结论是否有效:
明天或是天晴,或是下雨;
如果是天晴,我去公园;
如果我去公园,我就不看书。
结论:如果我在看书,则天下雨。;本节习题
您可能关注的文档
- 口才与演讲培训班-练口才培训.ppt
- 口腔医学美学[演示课件].ppt
- 口语交际和仿写拓展练习江苏教育版.ppt
- 口才训练5口才表达技巧训练.ppt
- 及字处理软件word2000.ppt
- 古代中国经济结构和特点专题训练.ppt
- 古典诗词鉴赏-爱情诗1.ppt
- 句子的含义及作用.ppt
- 只要你幸福快乐,我情愿放下你.pptx
- 可持续发展和城市环境建设.ppt
- 湖北省荆门市名校2024-2025学年初三第一次模拟考试(生物试题理)试卷含解析.doc
- 2025年山东省无棣县鲁北高新技术开发区实验学校初三下5月第三次月考生物试题含解析.doc
- 2025年江苏省苏州市常熟一中初三下摸底联考生物试题含解析.doc
- 2025年广西崇左市扶绥县初三3月阶段测试生物试题含解析.doc
- 山东省济宁市名校2025年初三生物试题第一次模拟考试试题含解析.doc
- 江苏省南通市海安市十校联考2024-2025学年初三下学期(开学)考试生物试题试卷含解析.doc
- 广西钦州四中学2024-2025学年初三下学期第一周综合自测生物试题含解析.doc
- 福建省泉州市鲤城区北片区重点中学2024-2025学年初三第一次模拟(适应性测试)考试生物试题试卷含解析.doc
- 山东省滨州市邹平县重点中学2024-2025学年初三四模生物试题试卷含解析.doc
- 江苏省无锡市新区重点名校2025年初三综合练习(三模)生物试题含解析.doc
文档评论(0)