离散数学证明:X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论
题目
离散数学证明:X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论
答案
显然 X3∨X4,X3→X2,X4→X1 真,则X1∨X2真,但X1∨X2真,X3∨X4,X3→X2,X4→X1 可以不全为真.因此X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论.
具体的证明可以利用真值表.
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
热门考点
- 平行四边形定则是合力大小等于两个分力之和吗?
- 海边实习都有什么动物
- 如图,E、F分别是矩形ABCD的对角线AC和BD上的点,且AE=DF.求证:BE=CF.
- 如图,⊙O的半径是5cm,P是⊙O外一点,PO=8cm,∠P=30°,则AB=_cm.
- 已知点A(a,0,0),B(0,b,0)C(0,0,c) a乘b乘c不等于0 求平面ABC的单位法向量?
- 苏洵《六国论》中“然则诸侯之地有限”中“然则”一词是什么意思?
- 赞美白衣战士的成语有:
- 金属热加工基础试卷
- 若a>0,b>0,且ab=2,则a+2b的最小值?
- 五年级上册语文第一单元试卷