離散數(shù)學(xué)個(gè)人復(fù)習(xí)筆記1——數(shù)理邏輯

命題:

能判斷真假陳述句就是命題

命題的真值:真(T,1),假(F,0)

真命題,假命題,簡單命題(原子命題),復(fù)合命題

eg,

北京是中國的首都。

真值為真

但注意有些真值是未知的

2x+4>=10

這種式子的直接硬翻成中文過來看就行了

命題聯(lián)結(jié)詞:

非:這個(gè)真打不出...(否定聯(lián)結(jié)詞)

并且: ^? (合取)

或: v (析取)

如果...則...: —> (蘊(yùn)含)

這個(gè)判斷這么說>>無緣由的瞎幾把講的都是真的,反正也是瞎說就無所謂了全是真的,但是要是條件為真的一板一眼的講,那么結(jié)論就必須對(duì)才是真的,否則就是假的

當(dāng)且僅當(dāng): <—>?

這個(gè)也簡單,要么一口胡話全是假話或者全是真話就都是真的,只要兩句話有句不一樣,對(duì)不上,那就是假的



運(yùn)算優(yōu)先級(jí): 非,且,或,如果...則...,當(dāng)且僅當(dāng)

判斷格式的類型:

重言式:公式真值恒為1(永真式)

矛盾式:————恒為0(永假式)

可滿足式:不是矛盾式

解題方法:真值表法

這樣

()

求成真賦值和成假賦值,看前面的p,q,r的值那些0,1記好就行了

?著作權(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),簡書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

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