2.2.1 命题公式