离散数学1.命题及其表示法