问答题
计算题
已知p→(p∨q)是重言式,¬(p→q)∧q是矛盾式,试判断(p→(p∨q))∧(¬(p→q)∧q)及(p→(p∨q))∨(¬(p→q)∧q)的类型。
【参考答案】
点击查看答案
