离散数学中的命题是什么意思 解释下?