离散数学的命题逻辑 小问题!在线等`p->(pVq)是重言式,否(p->q)＾q是矛盾式,试判断p->(pVq)＾否(p->q)＾q及p->(pVq)V否(p->q)＾q的类型就是不知道怎么做好`直接告诉了我重言式`都不知道怎么搞才好`
2019-04-14
离散数学的命题逻辑 小问题!在线等`
p->(pVq)是重言式,否(p->q)＾q是矛盾式,试判断p->(pVq)＾否(p->q)＾q及p->(pVq)V否(p->q)＾q的类型
就是不知道怎么做好`直接告诉了我重言式`都不知道怎么搞才好`
优质解答
p->(pVq)＾否(p->q)＾q就是重言式＾矛盾式,重言且矛盾就是“真且假”,结果是假,矛盾式.
p->(pVq)V否(p->q)＾q因为p->(pVq)是重言式,不管“V”后面的式子真值如何,p->(pVq)V否(p->q)＾q都是重言式.因为“V”是析取,“或”.
p->(pVq)＾否(p->q)＾q就是重言式＾矛盾式,重言且矛盾就是“真且假”,结果是假,矛盾式.
p->(pVq)V否(p->q)＾q因为p->(pVq)是重言式,不管“V”后面的式子真值如何,p->(pVq)V否(p->q)＾q都是重言式.因为“V”是析取,“或”.