四种命题间的相互关系