离散数学-命题逻辑分析课件.ppt

上传人（卖家）：三亚风情

文档编号：2899371

上传时间：2022-06-09

格式：PPT

页数：117

大小：364KB

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

29 文币

交易提醒：下载本文档，相应价格的文币将全额进入上传人（卖家）的账号。立即下载优惠套餐（点此详情）

【下载声明】
1. 本站全部试题类文档，若标题没写含答案，则无答案；标题注明含答案的文档，主观题也可能无答案。请谨慎下单，一旦售出，不予退换。
2. 本站全部PPT文档均不含视频和音频，PPT中出现的音频或视频标识（或文字）仅表示流程，实际无音频或视频文件。请谨慎下单，一旦售出，不予退换。
3. 本页资料《离散数学-命题逻辑分析课件.ppt》由用户（三亚风情）主动上传，其收益全归该用户。163文库仅提供信息存储空间，仅对该用户上传内容的表现方式做保护处理，对上传内容本身不做任何修改或编辑。若此文所含内容侵犯了您的版权或隐私，请立即通知163文库（点击联系客服），我们立即给予删除！
4. 请根据预览情况，自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器，压缩文件请下载最新的WinRAR软件解压。

配套讲稿：: 如PPT文件的首页显示word图标，表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
特殊限制：: 部分文档作品中含有的国旗、国徽等图片，仅作为作品整体效果示例展示，禁止商用。设计者仅对作品中独创性部分享有著作权。
关键词：: 离散数学命题逻辑分析课件

资源描述：: 1、1.1 命题与联结词命题与联结词1.2 命题变元和合式公式命题变元和合式公式1.3 公式分类与等价公式公式分类与等价公式1.4 对偶式与蕴涵式对偶式与蕴涵式1.5 联结词的扩充与功能完全组联结词的扩充与功能完全组1.6 公式标准型公式标准型范式范式1.7 公式的主范式公式的主范式1.8 命题逻辑的推理理论命题逻辑的推理理论表 1.1.1 的定义PP1001表 1.1.2 的定义P QPQ0 00 11 01 10001表表 1.1.3 的定义的定义P QP Q0 00 11 01 10111表表 1.1.4 的定义的定义P QPQ0 00 11 01 11101表表 1.1.5 的定义的定义P
2、 QPQ0 00 11 01 11001P QP Q P Q P Q P Q0 00 11 01 11 1 0 01 0 0 11 0 1 10 0 0 0222P QF TP QP Q P QP QP QP Q0 00 11 01 10000111100110101110010100001111001111000所用所用的联的联结词结词序号序号12345678910续表P QPQP QPQP QQPQ P0 00 11 01 1110100101001011010110100所用所用的联的联结词结词序号序号111213141516 表表 1.7.1 两个命题变元的小项真值表两个命题变元的
3、小项真值表m(二二) m00 m01 m10 m11P Q P Q P Q P Q P Q0 0 1 0 0 00 1 0 1 0 01 0 0 0 1 01 1 0 0 0 1m(+) m0 m1 m2 m3 表表1.7.2 3个个命命题题变变元元的的小小项项真真值值表表m(二二)m000m001m010m011P Q R P Q R P Q R P Q R P Q R0 0 010000 0 101000 1 000100 1 100011 0 000001 0 100001 1 000001 1 10000m(+)m0m1m2m3 续表续表m(二二)m100m101m110m111P Q RP Q RP Q RP Q RP Q R0 0 000000 0 100000 1 000000 1 100001 0 010001 0 101001 1 000101 1 10001m(+)m4m5m6m7ni 1表表 1.7.3 两个命题变元的大项真值表两个命题变元的大项真值表M00M01M10M11M(二二) Mi I(Mi)P QP QP Q P Q P Q0 00 11 01 10111101111011110M(+)M0M1M2M31jm2jmknjm21jm2jmknjm21jm2jmknjm21jm2jmknjm21jm2jmknjm21jM2jMknjM2

展开阅读全文

163文库所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。