第三章 模態(tài)命題推理

模態(tài)邏輯是研究包含模態(tài)詞“必然”“可能”的模態(tài)命題及其推理的科學(xué)。早在兩千多年前，亞里士多德就對(duì)模態(tài)命題做過(guò)許多討論。我們?cè)诼?lián)考中考核的模態(tài)邏輯，通過(guò)模態(tài)命題的基本性質(zhì)和特征來(lái)進(jìn)行。

模態(tài)命題是反映事物情況存在或發(fā)展的必然性或可能性的命題。例如：

(1) 有些同學(xué)必然考上；

(2) 有些同學(xué)可能考上；

(3) 不一定所有同學(xué)都考上；

(4) 不可能所有同學(xué)都考上。

在模態(tài)命題中，“必然”可能是標(biāo)準(zhǔn)的模態(tài)詞，但日常生活中，有很多詞匯也代表了模態(tài)情況，比如上例中例3的“一定”，表示的就是“必然”。