最新四种命题及其相互关系