離散數(shù)學(xué)-第三章(上)_第1頁(yè)
離散數(shù)學(xué)-第三章(上)_第2頁(yè)
離散數(shù)學(xué)-第三章(上)_第3頁(yè)
離散數(shù)學(xué)-第三章(上)_第4頁(yè)
離散數(shù)學(xué)-第三章(上)_第5頁(yè)
已閱讀5頁(yè)，還剩128頁(yè)未讀， 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

第三章第三章 命題邏輯命題邏輯（上）（上）邏輯與數(shù)理邏輯邏輯與數(shù)理邏輯命題與連接詞命題與連接詞Negation (NOT) 否定詞否定詞 ：Conjunction (AND) 合取詞合取詞 ：Disjunction (OR) 析取詞析取詞Implication (if then) 蘊(yùn)涵詞蘊(yùn)涵詞 Biconditional (if and only if) 等價(jià)詞等價(jià)詞PQPQPQPQP PP P命題公式與真值表命題公式與真值表R RP PS SQ QP PS SP PQ QR RP PS SR RQ QP P& & &1111& &T TS SR RQ QP PP PS SQ Q11T TF FF FT TF FT TStartStartA AX XY YEndEndB BB B 執(zhí)行執(zhí)行Y Y的條件為：的條件為： ( ( )()( ) )T TX XY YEndEndStartStartB BF F程序可簡(jiǎn)化為：程序可簡(jiǎn)化為：If B then X else YIf B then X else Y C C1 1C C2 2C C3 3S S&

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝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ù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(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ì)自己和他人造成任何形式的傷害或損失。

最新文檔

評(píng)論

0/150

提交評(píng)論