命题公式的分类