1.4 命题的形式及等价关系