1.2命题公式及其赋值