1.2命题公式与赋值