问答题

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

【参考答案】