知识：演绎规则



定义：可提供的等效性


作业：用自然演绎法证明下列定理