离散数学的命题逻辑小问题!在线等` - 超级试练试题库

题目

离散数学的命题逻辑小问题!在线等`
p->(pVq)是重言式,否(p->q)＾q是矛盾式,试判断p->(pVq)＾否(p->q)＾q及p->(pVq)V否(p->q)＾q的类型
就是不知道怎么做好`直接告诉了我重言式`都不知道怎么搞才好`

提问时间：2020-07-26

答案

p->(pVq)＾否(p->q)＾q就是重言式＾矛盾式,重言且矛盾就是“真且假”,结果是假,矛盾式.
p->(pVq)V否(p->q)＾q因为p->(pVq)是重言式,不管“V”后面的式子真值如何,p->(pVq)V否(p->q)＾q都是重言式.因为“V”是析取,“或”.

举一反三

已知函数f（x）=x，g（x）=alnx，a∈R．若曲线y=f（x）与曲线y=g（x）相交，且在交点处有相同的切线，求a的值和该切线方程．

我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好

奥巴马演讲不用看稿子.为什么中国领导演讲要看?

想找英语初三上学期的首字母填空练习……

英语翻译

最新试题

热门考点