命题的四种形式及关系