四种命题的相互关系