命题公式及其赋值