二 四种命题的形式