离散数学(1.1命题及其表示方法)