在离散数学中什么叫真值