已閱讀5頁，還剩128頁未讀， 繼續(xù)免費閱讀
版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領
文檔簡介
第三章第三章 命題邏輯命題邏輯（上）（上）邏輯與數理邏輯邏輯與數理邏輯命題與連接詞命題與連接詞Negation (NOT) 否定詞否定詞 ：Conjunction (AND) 合取詞合取詞 ：Disjunction (OR) 析取詞析取詞Implication (if then) 蘊涵詞蘊涵詞 Biconditional (if and only if) 等價詞等價詞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程序可簡化為：程序可簡化為：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等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 人人文庫網僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 二零二五版家屬區(qū)整體改造裝修服務合同3篇
- 江蘇省南通市如皋市 2024-2025學年九年級上學期1月期末道德與法治試題（含答案）
- 二零二五年度企業(yè)并購合同法操作指南3篇
- 保健品批發(fā)商的社區(qū)健康宣傳效果評估考核試卷
- 家居布藝的智能化窗簾控制系統設計與實現考核試卷
- 二零二五年度造紙機械租賃施工合同2篇
- 2025年新能源車位租賃與維護保養(yǎng)一體化服務合同2篇
- 2025年新能源產品銷售業(yè)績達標合同范本2篇
- 2025年信息安全技術協議
- 2025年度智能設備維修個人勞務合同模板3篇
- 我的家鄉(xiāng)瓊海
- （2025）專業(yè)技術人員繼續(xù)教育公需課題庫（附含答案）
- 《互聯網現狀和發(fā)展》課件
- 【MOOC】計算機組成原理-電子科技大學 中國大學慕課MOOC答案
- 2024年上海健康醫(yī)學院單招職業(yè)適應性測試題庫及答案解析
- 2024年湖北省武漢市中考語文適應性試卷
- 非新生兒破傷風診療規(guī)范（2024年版）解讀
- EDIFIER漫步者S880使用說明書
- 皮膚惡性黑色素瘤-疾病研究白皮書
- 從心理學看現代家庭教育課件
- C語言程序設計PPT(第7版)高職完整全套教學課件
評論
0/150
提交評論