离散数学8.等价公式的证明