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