离散数学6.命题公式及符号化