问答题

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

【参考答案】