02简易逻辑--命题的四种形式