命题的概念及四种命题的关系