1.3.2命题的四种形式