東南大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院周德宇dzhou@seueducn-文庫(kù)吧在線文庫(kù)
【正文】 (2) (q?r)?(p??r) (3) (q?r)?(p??r) (4) (q?p)?((p??r)?(?r??q)) 0 練習(xí) 2 1 0 0 58 3. 用真值表判斷下面公式的類型 (1) p?r??(q?p) (2) ((p?q) ?(?q??p)) ?r (3) (p?q) ?(p?r) 練習(xí) 3 59 練習(xí) 3解答 (1) p?r??(q?p) 矛盾式 p q r q?p ?(q?p) p?r??(q?p) 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 60 練習(xí) 3解答 (2) ((p?q) ?(?q??p)) ?r 永真式 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 ((p?q) ?(?q??p)) ?r ?q??p p?q p q r 61 練習(xí) 3解答 (3) (p?q) ?(p?r) 非永真式的可滿足式 p q r p?q p?r (p?q) ?(p?r) 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 62 約定 ? 在一個(gè)復(fù)雜的公式中，為了避免歧義需要引進(jìn)許多的 括 號(hào) ， 但 如 果 括 號(hào) 太 多 會(huì) 使 人 眼 花 繚 亂 ， 如((p∧ (q∨ r))→((p ∨ q)∧ (r∨ s)))，共有 6 對(duì)括號(hào)，為了減少括號(hào)并不引起歧義，引進(jìn)如下省略括號(hào)的約定： ? 公式最外層的括號(hào)可以省略。 省略括號(hào)只是讓公式書寫簡(jiǎn)便，但并不能改變其復(fù)雜性。? 187。q) p q 172。q) ) →r ?(q∨ r) →(p→172。 存在問(wèn)題： 1. 在加洲國(guó)家公園對(duì)兩棲動(dòng)物進(jìn)行的研究不能推理除全球范圍的兩棲動(dòng)物的數(shù)量下降。1 東南大學(xué) 計(jì)算機(jī)科學(xué)與工程學(xué)院 周德宇 2 朱 棣 朱高熾 朱瞻基 朱祁鎮(zhèn) 朱祁鈺 朱見深 朱佑樘 朱厚照 朱厚熜 朱載垕 朱翊鈞 朱常洛 朱由校 朱由檢 問(wèn)題：從這些名字中你能告訴我什么？ 3 序言一：什么是離散數(shù)學(xué) ?研究 離散量的結(jié)構(gòu)及相互關(guān)系 的數(shù)學(xué)科學(xué) ?離散 結(jié)構(gòu) ：集合、 關(guān) 系、 圖 等 離散量是指分散 開來(lái) 的、不存在中 間值 的量 ?研究對(duì)象 :有限或可數(shù)個(gè)元素 ?自然 數(shù) 、整 數(shù) ， 真 假 值 ，有限 節(jié) 點(diǎn)等 ?計(jì)算機(jī)技術(shù)的支撐科學(xué)：計(jì)算機(jī)只能處理離散的或離散化了的數(shù)量關(guān)系 4 序言二：與其他專業(yè)課關(guān)系 數(shù)據(jù)結(jié)構(gòu)基礎(chǔ) 離散結(jié)構(gòu) 數(shù)據(jù)庫(kù)原理 軟件工程 操作系統(tǒng) 編譯原理 人工智能 可計(jì)算性理論 5 課程安排 數(shù)理邏輯 集合論 代數(shù)結(jié)構(gòu) 圖論 8周 4周 4周 8周 6 課程安排 數(shù)理邏輯 集合論 代數(shù)結(jié)構(gòu) 圖論 7 數(shù)理邏輯 ?邏輯學(xué)分類 ?辯證邏輯 ：是 研 究事物 發(fā) 展的客 觀規(guī) 律 ?形式 邏輯 ：是 研 究思 維 的 概 念、判 斷 和推理的 問(wèn)題 ?數(shù) 理 邏輯 … ?數(shù)理邏輯 ?數(shù)學(xué)方法研究形式邏輯的一門科學(xué) ?一般 認(rèn)為 由 萊 布尼茨（ Leibniz）率先提出 ?最基本 組 成部分： 命題演算、謂詞演算 ?應(yīng)用：邏輯電路、自動(dòng)控制、人工智能等 8 引語(yǔ) 兩棲動(dòng)物數(shù)量的下降清楚地說(shuō)明全球空氣和水質(zhì)的污染。只能推理除公園里的兩棲動(dòng)物下降。r) ?(
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1