第三章 模态命题推理

模态逻辑是研究包含模态词“必然”“可能”的模态命题及其推理的科学。早在两千多年前，亚里士多德就对模态命题做过许多讨论。我们在联考中考核的模态逻辑，通过模态命题的基本性质和特征来进行。

模态命题是反映事物情况存在或发展的必然性或可能性的命题。例如：

(1) 有些同学必然考上；

(2) 有些同学可能考上；

(3) 不一定所有同学都考上；

(4) 不可能所有同学都考上。

在模态命题中，“必然”可能是标准的模态词，但日常生活中，有很多词汇也代表了模态情况，比如上例中例3的“一定”，表示的就是“必然”。