问答题

共用题干题用等价演算证明题2中的命题公式是重言式 ((p→q)∧(r→s))→((p∧r)→(q∧s))

【参考答案】