簡(jiǎn)明邏輯學(xué)第2章

增值函數(shù)及其他

概念

1吸取項(xiàng):把含有要么的兩個(gè)分句稱(chēng)為吸取項(xiàng)。

2.合取項(xiàng):把兩句的合取叫做合取項(xiàng)

3.真值:句子可以是正確的,也可以是錯(cuò)誤的。用t來(lái)表示真f來(lái)表示假,這些值被稱(chēng)為真值。

真值條件,一句話a的真值為f,非a的真值就為t a的真值為t,非a的真值就為f,這稱(chēng)為否定的真值條件。

只要 a與b中至少有一個(gè)真值為t,析取命題,a versus b的真值就為t,只要a與b的真值,均為f,析取命題,a versus b的真值才為f。

合取命題的真值只有a與b的真值均為t,屬于核心命題,a and b的真值才為t。

直覺(jué)經(jīng)常誤導(dǎo)人。

否定命題句非 a的真值,完全是由命題句a的真值決定的,同樣析取命題,a versus b和析取命題,a and b的增值完全是由命題,a與b的真值決定的,這樣的運(yùn)算稱(chēng)之為真值函數(shù)。

合取向重要性是一個(gè)合取項(xiàng)為另一個(gè)合取項(xiàng)的起因。

析取項(xiàng)的重要性在于析取項(xiàng)之間存在的某種關(guān)系。

總結(jié):

1.在一種情形下,每個(gè)相關(guān)句都被賦予了一個(gè)特定的真值,t或者f。

2.一句話a的真值為f,非a的真值就為t a的真值為t,非a的真值就為f,這稱(chēng)為否定的真值條件。

3.只要 a與b中至少有一個(gè)真值為t,析取命題,a versus b的真值就為t,只要a與b的真值,均為f,析取命題,a versus b的真值才為f。




?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書(shū)系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

  • 范式,命題連接詞的充足集 范式 滿(mǎn)足某種規(guī)范,并滿(mǎn)足某種邏輯性質(zhì)的命題形式 命題連接詞的真值集 真值函數(shù) 參數(shù)域和...
    akindone閱讀 2,093評(píng)論 0 49
  • 邏輯規(guī)則給出數(shù)學(xué)語(yǔ)句的準(zhǔn)確含義為了理解數(shù)學(xué),我們必須理解正確的數(shù)學(xué)論證(即證明)是由什么組成的。只要證明一個(gè)數(shù)學(xué)語(yǔ)...
    無(wú)限游戲指引閱讀 4,004評(píng)論 0 0
  • 本系列是離散數(shù)學(xué)及其應(yīng)用第七版與北京交通大學(xué)的離散數(shù)學(xué)課程的個(gè)人筆記,章節(jié)順序以書(shū)為準(zhǔn) 本章內(nèi)容完全從數(shù)學(xué)定義上學(xué)...
    古劍誅仙閱讀 3,173評(píng)論 0 1
  • 常用命題連接詞及其基本推理形式 符號(hào) 命題:用p1,p2,p2...或者p,q,r 真值:T真,F(xiàn)假 真值表:命題...
    akindone閱讀 1,947評(píng)論 0 50
  • 彩排完,天已黑
    劉凱書(shū)法閱讀 4,469評(píng)論 1 3

友情鏈接更多精彩內(nèi)容