版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、第一章習(xí)題課 (P42),3 P:天下雨,Q:我將去書(shū)店,R:我有時(shí)間,則1)如果天不下雨并且我有時(shí)間,那么我將去書(shū)店。(¬P∧R)→Q2)我去書(shū)店,僅當(dāng)我有時(shí)間。Q→R3)天不下雨。¬P4)天下雨,那么我不去書(shū)店。P→¬ Q5)除非天不下雨,我將去書(shū)店。 Q→ ¬ P (P→ ¬ Q),4 將下列命題符號(hào)化1)小李一邊看書(shū),一邊聽(tīng)音樂(lè)。設(shè) P:小李看書(shū),Q:小李聽(tīng)音樂(lè),
2、則該命題可符號(hào)化為 P∧Q2)老李或小趙是球迷。設(shè) P:老李是球迷,Q:小趙是球迷,則該命題可符號(hào)化為 P∨Q3)只要努力學(xué)習(xí),成績(jī)會(huì)好的。設(shè) A:努力學(xué)習(xí),B:成績(jī)會(huì)好的,則該命題可符號(hào)化為 A→B4)只有休息好,才能工作好。設(shè) A:休息好,B:工作好,則該命題可符號(hào)化為 B→A5)大雁北飛,春天來(lái)了。設(shè) A:大雁北飛,B:春天來(lái)了,則該命題可符號(hào)化為 A?B,例1 符號(hào)化下列命題。(1)僅當(dāng)不下雨,他才騎自行車(chē)上班
3、。 (2)除非下雨,否則他就騎自行車(chē)上班。 (3)只有不下雨,他才騎自行車(chē)上班。 (4)只要不下雨,他就騎自行車(chē)上班。 (5)他或騎自行車(chē)上班或乘公共汽車(chē)上班。,解(1)P:下雨,Q:他騎自行車(chē)上班。Q → ¬ P (2)P:下雨,Q:他騎
4、自行車(chē)上班。 ¬ P → Q (3)P:下雨,Q:他騎自行車(chē)上班。 Q → ¬ P (4)P:下雨,Q:他騎自行車(chē)上班。 ¬ P → Q (5)P:他騎自行車(chē)上班,Q:他乘公共汽車(chē)上班。 (P∧¬ Q)∨ (¬ P ∧ Q),例2 證明
5、(P43,10(3)),例3 證明,(2),(5)演繹法,例4 求公式 的主析取范式和主合取范式,并判斷公式的類(lèi)型。(P43 18(3)),法二,P44 20 設(shè)A、B、C、D分別表示A、B、C、D出差。,,,?(B∧D)∨(A∧C)∨(A∧D)∨(D∧A)∨(D∧B)?(B∧D)∨(A∧C)∨(A∧D),四人回答只有一人符合實(shí)際?(甲對(duì),乙丙丁都不對(duì))∨(乙對(duì),甲丙丁都不對(duì)) ∨
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 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ì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 離散數(shù)學(xué)第1章習(xí)題答案
- 離散數(shù)學(xué)第1章習(xí)題課
- 離散數(shù)學(xué)第7章-圖論-習(xí)題
- 離散數(shù)學(xué)第1章屈
- 離散數(shù)學(xué)第2章第1節(jié)
- 離散數(shù)學(xué)課件第1章
- 離散數(shù)學(xué)第5章
- 離散數(shù)學(xué)第7章
- 離散數(shù)學(xué)第4章
- 第01章-離散數(shù)學(xué)
- 離散數(shù)學(xué)第8章圖論
- 離散數(shù)學(xué)第4章屈
- 離散數(shù)學(xué)第1章命題邏輯new
- 離散數(shù)學(xué)-第8章-函數(shù)
- 離散數(shù)學(xué)第2.1陳瑜 1
- 離散數(shù)學(xué)課件第6章
- 離散數(shù)學(xué)高教版第3章
- 離散數(shù)學(xué)課件第7章
- 離散數(shù)學(xué)高教版第4章
- 離散數(shù)學(xué)第10章-謂詞邏輯
評(píng)論
0/150
提交評(píng)論