1.4 四种命题形式和等价命题