离散数学构造性二难的证明
1个回答
构造性二难:(A→B)∧(C→D)∧(A∨C)推出(B∨D)
证明:(A→B)∧(C→D)∧(A∨C)
双推出((A→B)∧A)∨(C→D)∧C)
推出B∨D
证明完毕
其中用到假言推理:(A→B)∧A推出B
最新问答： 下列说法中正确的是（ ） A .有理数中没有最大的负整数.B.有理数中没有最大的正整数.C.同号两数相加的和一定比加数大 一个直角三角形的两条直角边分别为12厘米和8厘米,斜边是16厘米,斜边上的高是多少厘米?（列方程解答） "moral"表示n.道德,品行,可数还是不可数?望英语高手回答 辨析:始则终,终则始,若环也,无端也. 正比例函数y等于kx和反比例函数y等于x分之k的图像相交与A.B两点,已知点A的横坐标为-1,点B的纵坐标为3,求AB两 （2913•宜春模拟）已知一次函数y=x-1地图象与反比例函数y＝kx地图象地一个交点是（-1，b），则反比例函数地解析 硝酸铵为什么有氧化性 想知道三位的平方差和完全平方公式 What does tony do with the alarm clock ( )Can you____for me?sure. A:pick up them B：picks up is C:pi 一个两位数,个位数字与十位数字的和为6,交换这两个数,所得的新数比原数小18,求原 数等于多少? 如图所示是计算机程序计算,若开始输入x=﹣1,则最后输出的结果是（ ）． 这种题型有没 用酚酞作指示剂 用酚酞作指示剂 盐酸滴定Na2co3 达到滴定终点 离子浓度关系为什么达到滴定终点时恰好完全反应生成Na he goes to work by bus 用how对bybus提问 一个长3米 宽9分米 高7分米的长方体盒子 可以装多少个棱长为3分米的正方体小方块? 关于强调句的判断1.It is certain that the building will be built in o （急）明天小考,1.当x→A时的极限怎么求?是把让X=A然后代值算是吗?2.x→∞怎么求?3.x→0时如果分母是x怎么求 陈奕迅的人来人往表达的意思是什么? 三角形三边长分别是根号8,根号32,根号18,周长是多少? 一个数的4分之3等于24个8分之5的和,这个数是多少?
