离散数学命题逻辑练习题证明题