离散数学命题逻辑概要1.pptx

下载文档 降价啦

0
0
约小于1千字
约 115页
2017-07-23 发布于湖北
举报
版权申诉
保障服务

离散数学命题逻辑概要1.pptx

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

离散数学命题逻辑概要1

1;2;3;4;5;6;7;8;9;10;第一章命题逻辑 §1.1 命题与联接词;语句表达;自然语言、命题;命题示例;命题的抽象表示;自然语言复杂语句构造;简单命题与复合命题;命题逻辑如何运算？？;逻辑联结词;逻辑联结词— ? ;逻辑联结词— ? ;22;逻辑联结词—? ;逻辑联结词— ? ;25;逻辑联结词— ? ;逻辑联结词— ? ;逻辑联结词— ?;29;30;31;32;33;34;35;36;37;38;39;40;41;42;43;44;45;46;第二章命题逻辑等值演算 §2.1 等值式;48;49;50;51;52;53;54;55;56;57;58;59;60;61;62;63;64;65;66;需要说明;求主析取范式和主合取范式的方法;求公式A的主析取范式的方法与步骤;(1)等值推演法求主析取范式 (p→q)?r ? (p∧┐q∧┐r)∨(┐p∧r)∨(q∧r) p∧┐q∧┐r ? m4 ┐p∧r ? ┐p∧（┐q∨q）∧r ? (┐p∧┐q∧r)∨(┐p∧q∧r) ? m1∨m3 q∧r ? (┐p∨p)∧q∧r ? (┐p∧q∧r)∨(p∧q∧r) ? m3∨m7 (p→q)?r ? m1∨m3∨m4∨m7;71;72;求公式A的主合取范式的方法与步骤;(1)等值推演法求主合取范式 (p→q)?r ? (p∨r)∧(┐q∨r)∧(┐p∨q∨┐r) ┐p∨q∨┐r ? M5 p∨r ? p∨(q∧┐q)∨r ? (p∨q∨r)∧(p∨┐q∨r) ? M0∧M2 ┐q∨r? (p∧┐p)∨┐q∨r ? (p∨┐q∨r)∧(┐p∨┐q∨r) ? M2∧M6 (p→q)?r ? M0∧M2∧M5∧M6 ;75;76;真值表技术;Try 1 Try;79;80;81;82;83;84;85;86;87;88;89;90;91;92;93;94;95;96;97;98;99;100;推理实例;102;103;104;105;106;107;108;109;110;111;112;113;114;第一部分命题逻辑小结与习题