当前位置 :
自学离散数学时遇到的问题?重言蕴含式:A,B→B=>B{假言推理}7B,A→B=>7A{拒取式}A∨B,A→C,B→D=>C∨D{构造性二难}以上的式子怎么推出来的?
1人问答
更新时间:2024-04-26 21:24:45
问题描述:

自学离散数学时遇到的问题?

重言蕴含式:

A,B→B=>B{假言推理}

7B,A→B=>7A{拒取式}

A∨B,A→C,B→D=>C∨D{构造性二难}

以上的式子怎么推出来的?

陈曦回答:
  1、A,A→B=>B{假言推理}:   A→B是充分条件命题.充分条件命题的逻辑含义就是:前件真时后件必真,前件假则后件可以真也可以假.   A,A→B=>B表示:如果A真,A→B也真,那么B必然真.   2、^B,A→B=>^A{拒取式}   同上,如果B假,A→B真,那么A必然假.   3、A∨B,A→C,B→D=>C∨D{构造性二难}:   如果A→C真,B→D真,现在A真或B真,那么C真或D真.   这三个推理,都是基本的有效推理式.或者说,它们都类似于数学中的“公理”,不需要推导.但它们都可以从建立真值表中看出来.
数学推荐
最新更新
优秀数学推荐
热门数学
PC端 | 移动端 | mip端
问答网(wenda2.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:联系方式:

Copyright©2009-2021 问答网 wenda2.com 版权所有 闽ICP备2022000227号-1