离散数学命题公式与赋值