当前位置 :
离散数学的命题逻辑小问题!在线等`p->(pVq)是重言式,否(p->q)^q是矛盾式,试判断p->(pVq)^否(p->q)^q及p->(pVq)V否(p->q)^q的类型就是不知道怎么做好`直接告诉了我重言式`都不知道怎么搞才好`
 更新时间:2024-04-28 03:37:39
1人问答
问题描述:

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

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”是析取,“或”.
最新更新
查询网(393r.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:  联系方式:

Copyright©2009-2021 查询网 393r.com 版权所有 闽ICP备2021002823号-6