2.2.3 命题公式的分类