离散数学的命题逻辑小问题!在线等`

来源：学生作业帮编辑：作业帮分类：数学作业时间：2024/11/09 06:30:43

离散数学的命题逻辑小问题!在线等`
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”是析取,“或”.

离散数学的命题逻辑小问题!在线等` 离散数学——命题逻辑问题命题逻辑的题目逻辑学离散数学中的命题离散数学命题逻辑推理题离散数学第一章的一个小问题离散数学问题："命题"和"命题逻辑"这两个概念有什么区别,应如何理解? 在离散数学,命题逻辑这里,那个推理的条件的集合,怎么念的? 离散数学中关于半群幂等元的问题离散数学,二元关系的问题离散数学的问题离散数学集合论的问题关于离散数学命题符号化的一个小问题

离散数学的命题逻辑 小问题!在线等`