四种命题之间的关系