问答题

简答题 已知p→(p∨q)是重言式,ㄱ(p→q)∧q是矛盾式,试判断(p→(p∨q))∧(ㄱ(p→q)∧q)及ㄱ(ㄱp∨q)∧p的类型。

【参考答案】

前者为矛盾式,后者为重言式。