§1.7.1 四种命题的概念