问答题

共用题干题设p→q为公式,则q→p称为该公式的逆转式,¬p↑¬q称为反换式,¬q→¬p称为逆反式。证明: 公式的逆换式与公式的反换式等价,即q→p<=>¬p→¬q

【参考答案】