命题的概念及四种命题