我曾經(jīng)學(xué)過邏輯學(xué),按我的理解跟你說說.
你既然知道直言命題和對(duì)當(dāng)關(guān)系的四種命題建構(gòu),知道AEIO,那么你的模型是少了一個(gè)變量.
你現(xiàn)在問的問題是屬于邏輯學(xué)的基礎(chǔ)問題,是一個(gè)關(guān)于性質(zhì)命題及其相關(guān)性的問題.
必然p,用命題的方式可以表示為＝》所有s是p,在邏輯學(xué)中寫作SAP,簡稱A判斷,是全稱肯定判斷；
必然非p＝》所有s都不是p,寫作SEP,簡稱E判斷,是全稱否定判斷；
可能p＝》有的s是p,寫作SIP,簡稱I判斷,是特稱肯定判斷；
可能非p＝》有的s不是p,寫作SOP,簡稱O判斷,是特稱否定判斷.
上面說的s,就相當(dāng)于你建立圖形模型的那個(gè)大圈,就是那個(gè)集合.
A 反對(duì)關(guān)系 E
差 差
等 等
關(guān) 關(guān)
系 系
I 下反對(duì)關(guān)系 O
這個(gè)就是“邏輯方陣”
從這個(gè)里面可以推導(dǎo)出,全稱判斷若為真,那么特稱判斷肯定為真；肯定判斷若為真,那么其反對(duì)關(guān)系的否定判斷肯定為假；特稱判斷若為真,全稱判斷的真假不能判斷.
就是說,在你的提問中,并非必然p,應(yīng)該表述為并非所有的s都是p,相當(dāng)于求A命題的否命題,那么得出的結(jié)論應(yīng)該是E命題,就是說,所有的s都不是p.
可能p,應(yīng)該表述為有的s是p,就是說當(dāng)I命題為真時(shí),可以確定AEO哪個(gè)為真.在這樣的條件下,AEO的真值都不能確定,就是說不能確定是否所有s都是p,不能確定所有的s都不是p,也不能確定有的s不是p.