问答题

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

【参考答案】