四种命题及其关系