神马作文网离散数学的命题逻辑 小问题!在线等`
来源：学生作业帮 编辑：神马作文网作业帮 分类：数学作业 时间：2024/11/12 17:18:49
离散数学的命题逻辑 小问题!在线等`
p->(pVq)是重言式,否(p->q)＾q是矛盾式,试判断p->(pVq)＾否(p->q)＾q及p->(pVq)V否(p->q)＾q的类型
就是不知道怎么做好`直接告诉了我重言式`都不知道怎么搞才好`
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)V否(p->q)＾q因为p->(pVq)是重言式,不管“V”后面的式子真值如何,p->(pVq)V否(p->q)＾q都是重言式.因为“V”是析取,“或”.