四种命题的形式及等价关系