复合命题的命题公式