自学离散数学时遇到的问题?重言蕴含式：A,B→B=>B{假言推理}7B,A→B=>7A{拒取式}A∨B,A→C,B→D=>C∨D{构造性二难}以上的式子怎么推出来的?
1人问答
问题描述：
自学离散数学时遇到的问题?
重言蕴含式：
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真.
这三个推理,都是基本的有效推理式.或者说,它们都类似于数学中的“公理”,不需要推导.但它们都可以从建立真值表中看出来.
八字精批
八字合婚
八字起名
八字财运
2024运势
测终身运
姓名详批
结婚吉日
数学推荐
![请教两道北京市朝阳区一模的数学题1.在区间[-π,π]内随机取两个数分别记为a,b,则使得函数f(x)=x^2+2ax-b^2+π有零点的概率为（）A.7/8B．3/4C．1/2D．1/4是几何概率的题.2.一个空间四边形ABCD的](/UploadFile/wdimg/2026/2133531885/163/3009479757.jpg)
数学推荐
最新更新
精品分类
优秀数学推荐
热门数学
邮箱： 
