四种命题间的关系