《应用离散数学》方景龙版-1.2_命题公式与等价演算