1.2 命题公式及其赋值