简单逻辑ppt课件.ppt
《简单逻辑ppt课件.ppt》由会员分享,可在线阅读,更多相关《简单逻辑ppt课件.ppt(43页珍藏版)》请在三一文库上搜索。
1、簡單邏輯,人 = 吃飯 + 睡覺 + 上班 + 玩, 豬 = 吃飯 + 睡覺, 代入上式得: 人 = 豬 + 上班 + 玩, 移項得:人 - 玩 = 豬 + 上班。 結論 : 不懂玩的人 = 會上班的豬!,綜上所得: 男人為了讓女人不變成豬而掙錢! 女人為了讓男人不變成豬而花錢! 但是?男人加上女人以後呢? 男人 + 女人 = 豬 + 掙錢 + 豬 + 花錢 掙錢和花錢將互相抵銷,其結果為:男人 + 女人 = 兩頭豬,男人 = 吃飯 + 睡覺 + 掙錢, 豬 = 吃飯 + 睡覺, 代入上式得: 男人 = 豬 + 掙錢, 移項得:豬 = 男人 - 掙錢 , 所以:男人不掙錢等於豬。,女人 = 吃
2、飯 + 睡覺 + 花錢, 豬 = 吃飯 + 睡覺, 代入上式得:女人 = 豬 + 花錢, 移項得:女人 - 花錢 = 豬。 結論是:女人不花錢的都是豬。,這次月考題目很難,所以我不會,這次月考題目很簡單,所以我會,意思樣嗎?,(假如)你很乖,爸爸買玩具給你,(假如)你不乖,爸爸不買玩具給你,意思樣嗎?,白馬是馬,不是馬就不是白馬,馬是白馬,不是白馬就不是馬,若是白馬,則一定是馬,6-2=4(真) 6-2=3(偽),數學語句 數學上所用到之語句,一種敘述 或為真,或為偽。不能既為真又為偽。,敘述(statement) 真(true) 假(false) (a) 2是一個質數。 (b) 吃飽沒? (
3、c) 他長得瘦。 (d) 外星人來過台灣。,命 題,敘述(a)是一個命題,因為它是真的。 敘述(b)是一個問句,沒什麼固定的真假值,因此不是一個命題。 在敘述(c)裡的”他”是一個變數,必須等到我們指明”他”是誰才可以知道這個敘述是真或假。(c)因此不是一個命題。 敘述(d)是一個命題,因為它一定是真的或假的;儘管我們現在還不確定。,常用之連接詞 且(and) 或(or) 若,則(ifthen),複合數學語句 由兩個或兩個以上之敘述 利用相關之連接詞所成之語句 6-2=4 或 6-2=3,簡單數學語句 單一敘述數學語句 6-2=4,命題 若p則q形式之複合敘述稱為命題,記為pq 其中p稱為假設
4、,q稱為結論。,敘述有真有假 如何判斷敘述之真假呢?,真值表,pq與qp等價,假如你很乖,那麼爸爸買玩具給你。 爸爸不買玩具給你,所以你不乖。,這次月考題目很難,所以我不會 我會,所以表示月考題目不難。,這句話是假的,所有人不准說話,自我指涉(自己談論自己),詭論,並非有自我指涉者,一定會產生詭論 這句子有七個字,羅素詭論 某犯人被判死刑即將執行,臨死前法官對犯人說:如果你所交待的遺言是實話則可免死,如果是謊話則非死不可!於是聰明的犯人便說:我將被處決。因此這位犯人便僥倖存活。這故事代表什麼數學意義?,(解): 如果我將被處決。是實話,則依照法官的命令,犯人可以免死; 如果我將被處決。是謊話,
5、則表示犯人不會被處決。 無論是以上那種情況,這犯人都不會死。,證 明 方 法,證 明 方 法,歸納法(Proofs by Induction) 直接證明 直接提出論證證明一個論述是真實的 找出反例證明一個論述是錯的 間接證明 證明一個論述的對換句是真實的 證明一個論述產生矛盾以證明它是錯的 邏輯上等價(Logical Equivalence) 證明在邏輯上等價 證明它形成蘊涵循環,證 明 方 法,歸納法(Proofs by Induction) 直接證明 直接提出論證證明一個論述是真實的 找出反例證明一個論述是錯的 間接證明 證明一個論述的對換句是真實的 證明一個論述產生矛盾以證明它是錯的 邏
6、輯上等價(Logical Equivalence) 證明在邏輯上等價 證明它形成蘊涵循環,歸 納 法,歸 納 法,歸 納 法,歸 納 法,證明對於任何一個正整數 n,2nn。 顯然當 n=1 的時候 P(1) 成立,因為 211。 假設當 n=k 時 P(k) 成立,即 2kk。我們要證明當 n=k+1 時 P(k+1) 成立,即 2(k+1)(k+1)。 但是,歸 納 法,即,2k+1k+1。 因此,得證。,證 明 方 法,歸納法(Proofs by Induction) 直接證明 直接提出論證證明一個論述是真實的 找出反例證明一個論述是錯的 間接證明 證明一個論述的對換句是真實的 證明一個
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 简单 逻辑 ppt 课件
链接地址:https://www.31doc.com/p-2586642.html