四种命题之间的相互关系