版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、練習(xí)練習(xí)6.11.判斷下列語(yǔ)句哪些是命題,若是命題其真值是什么?(1)abc。(2)x0。(3)請(qǐng)進(jìn)!(4)離散數(shù)學(xué)是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的基礎(chǔ)課程。(5)2009年7月我們?nèi)ヒ獯罄拿滋m旅游。(6)啊!這里真漂亮。(7)今天是星期四嗎?(8)我明天或者后天去天津。(9)如果買不到飛機(jī)票,我就去不了海南。(10)除非你陪我,否則我不去。(11)本命題是假的。(12)如果雪是黑的,太陽(yáng)從北邊升起。解:(1)不是命題。(2)不是命題。(3)
2、不是命題。(4)是命題。真值是1。(5)是命題。真值是0。(6)不是命題。(7)不是命題。(8)是命題。真值是0。(9)是命題。真值是1。(10)是命題。真值是1。(11)不是命題,是悖論。(12)是命題。真值是1。2.指出下列語(yǔ)句哪些是原子命題,哪些是復(fù)合命題?并將復(fù)合命題形式化。(1)他去了教室,也去了機(jī)房。(2)今晚我去書店或者去圖書館。(3)我昨天沒(méi)有去超市。(4)我們不能既看電視又看電影。(5)如果買不到飛機(jī)票,我就去不了海南
3、。(6)小王不是坐飛機(jī)去上海,就是坐高鐵去上海。(7)喜羊羊和懶羊羊是好朋友。(8)除非小李生病,否則他每天都會(huì)練習(xí)書法。(9)侈而惰者貧,而力而儉者富。(韓非:《韓非子?顯學(xué)》)解:(1)P:他去了教室。Q:他去了機(jī)房。P∧Q(2)P:今晚我去書店。Q:今晚我去圖書館。P∨Q(3)P:我昨天去超市。?P001011010101011101100101101101110101111101(4)(P?Q)∧(P∧?Q)PQP?QP∧?Q(
4、P?Q)∧(P∧?Q)00100011001001011100(5)(P?Q)∨PPQP?Q(P?Q)∨P0011011110011111練習(xí)練習(xí)6.21.試判定下列各式是重言式、可滿足式還是矛盾式。(1)(P→Q)→(Q→P)PQP→QQ→P(P→Q)→(Q→P)00111011001001111111由表中最后一列可以看出,原式為可滿足式。(2)┐P→(P→Q)PQ┐PP→Q┐P→(P→Q)00111011111000111011由
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 邏輯代數(shù)上命題演算習(xí)題答案
- 經(jīng)典命題演算的能行方法研究.pdf
- 命題泛邏輯的演算理論及推理研究.pdf
- 命題邏輯練習(xí)題及答案
- 命題邏輯復(fù)習(xí)題及答案
- 第章邏輯門與邏輯代數(shù)基礎(chǔ)習(xí)題與參考答案
- 第6章 邏輯代數(shù)基礎(chǔ)
- 命題邏輯和謂詞邏輯習(xí)題課的題目及參考答案
- 離散數(shù)學(xué)答案命題邏輯
- 邏輯代數(shù)基礎(chǔ)
- 邏輯代數(shù)基礎(chǔ)
- 古典命題邏輯與模態(tài)命題邏輯.pdf
- 第二章--邏輯代數(shù)基礎(chǔ)習(xí)題解答
- 高等數(shù)學(xué)-離散數(shù)學(xué)及其應(yīng)用-課件-第二章-命題邏輯等值演算
- 基于共代數(shù)的流演算研究.pdf
- 數(shù)理邏輯—命題邏輯(3)
- 數(shù)字邏輯課本習(xí)題答案
- 線性代數(shù)課后習(xí)題答案
- 工程高等代數(shù)答案習(xí)題五
- 常用邏輯用語(yǔ)習(xí)題及答案
評(píng)論
0/150
提交評(píng)論