邏輯與批判思考 課程網頁:http://myweb.scu.edu.tw/~tsemeiwu

Slides:



Advertisements
Similar presentations
1 認識創業之財務 ( 資金 ) 及稅務問題 講師 : 蘇炳章 日期 : 92 年 8 月 12 日.
Advertisements

1 97 年度新住民子女教育研討會 九十七年十月二十九日 柯伯儒 [1] 詹雅琄 [2] [1] [2] [1] [1] 國立台北教育大學課程與教學研究所博士生、 彰化縣二林鎮廣興國小主任 [2] [2] 國立台中教育大學課程與教學研究所研究生、 彰化縣二林鎮廣興國小教師 有效提升國小新住民子女 語文學習的策略.
思維方法 課程網頁: 第十一週: 自然演繹法Ⅱ:蘊含規則.
語文教學分享心得 組員: B 蘇品綺 B 張慈真 B 陳怡君 B 蕭美玲 B 王雅萍 B 蔡佳珍.
第 4 章 存 貨 存貨之意義及內容 存貨數量之衡量制度 存貨成本之衡量方法 成本之續後衡量 存貨之估計方法 總目次 會計學 III
環保 環保問題社會病態行為 從選購產品方面 家庭廢棄物的處理 住家的節約能源方面. 環保問題社會病態行為 社會功利主義過盛,疏忽善盡設備的責任; 缺乏惜福愛物的觀念,以自我為重心,任 意破壞使用資源; 「家」的觀念過度狹隘,只顧裝修生活的 表面,缺乏公同經營人類共有的家 — 地球 的概念; 無正確的理財觀念,而以金錢的謀取為目.
我的未来不是梦 攀枝花市经贸旅游学校. 1. 文中案例王萍苦恼的原因是 什么? 2. 你有哪些办法可以帮助王萍? 导入 思考  谁来帮帮她?
縮短公共工程工期之 招標決標策略及作法 行政院公共工程委員會 1. 簡報大綱 壹、前言 貳、招標決標策略及作法 参、適用案件類型 肆 、 結語 2.
“321人才计划”情况介绍 南京高新技术产业开发区 人才工作办公室.
南宁市中考网上报名录取系统 使用手册 2014年5月.
宿建德江 內容探究 問題討論 語文小詞典 絕句淺說 借代修辭 (補充說明借代法) 延伸閱讀 應用練習 (二)
母親的教誨 胡適 投影片設計:邱芳芸、謝瑞珍.
聚焦文化竞争力.
高齡自主學習團體終身學習試辦計畫經費核銷
工 业 产 品 设 计 广义的工业设计:产品设计、环境设计、视觉传达设计。 狭义的工业设计:产品设计。
職務法庭與 法官退場機制 行政訴訟及懲戒廳報告
第五章银行负债业务 孙小平 经济教研室.
商業服務學程 簡報者:雷天楠.
建设工程保险制度案例分析 班级:建工134 学号: 姓名:韩秀昆.
III. 辛亥革命及其影響 1. 辛亥革命的爆發及結果 1.
概其要、析其理 ——议论文事实论据修改 昌平二中 王丽娟
心靈雞湯III-青春紀事 64篇關於愛、生活與學習的故事
“悦”读,飞越 “考场” 心神飞越 温州中学 郑可菜.
岳麓版历史必修一 近代西方资本主义政体的建立 近代西方资本主义政体的建立 山东师大附中 侯新磊.
如何生动形象地 写人记事.
家庭祭壇 /2/15.
台北縣98年三鶯區語文研習 --建國國小 修辭與標點符號 福和國中廖惠貞
邮币卡开户、银行签约、出入金流程.
小组工作实训课(1) 第 教案 04.
有三件事我很確定: 第一、愛德華是吸血鬼 第二、出於天性,他渴望喝我的血 第三、我無可救藥地愛上他了……
1 1 1.
实验一:分析“征途游戏”网站的类型与推广手段
公務員法 楊智傑.
簡報內容 網路請購系統說明 經費授權注意事項 請購單&授權應用範例 系統環境及設定. 簡報內容 網路請購系統說明 經費授權注意事項 請購單&授權應用範例 系統環境及設定.
勤奮品格簡介 蘇澳品格月會 2010年 3月.
第12课时 对自己的行为负责 在承担责任中成长 考 点 聚 焦 考 题 探 究 考 点 拓 展 1.
不为追"星"所累 (三) 第四课 青春故事 授课人:商城县汪桥一中王启学.
提升溝通好辦法III 「說」得其所 言語治療組 2011年7月6日.
大地醫療團隊- 微生物製劑環保與農業應用.
文書檔案與實務概述 103年7月30日 主講人:總務處文書組單秀琴組長.
北京市医师定期考核信息管理系统 在线考试培训会 北京市卫生和计划生育委员会 北京市医师定期考核办公室 2016年9月
入库验收 讲课人:卢玉娟 《仓储管理》.
屏東縣105年度 友善校園事務與輔導工作- 國中適性輔導工作專業知能研習(初階課程) 桌遊在班級經營與學生輔導 之應用與連結
歡迎蒞臨 一年二班家長日.
公務員廉政倫理規範.
<<文獻學學習報告>>
亚洲清洁空气行动中心青岛机动车排放管理研讨会 2009年8月4日 青岛
九十八學年度水土保持學系 碩士在職專班 專題討論(四) 9375
表達技巧.
組 員: 王 新 惠 吳 映 暄 李 盈 慧 廖 香 涵 盧 姵 華 訪談日期:
2-1 力的分解與合成 2-2 力矩與力矩原理 2-3 力偶 2-4 自由體圖 2-5 同平面各種力系之合成與平衡 影片連結.
国泰人寿真情分享.
2007 學校國民教育 交流研討會 學校經驗分享.
典藏豐富、深具特色的小型博物館 鹽分地帶文化館興建募款啟事 施工中 歡迎蒞臨參觀 建館緣由
主題課程的設計與實例 黃繼仁 課程發展與設計.
吉林省信息技术与教学融合优质课大赛 参赛教师提交大赛作品流程 吉林省电化教育馆.
公式的真值表 离散结构 西安工程大学 计算机学院 王爱丽.
閩南語初階研習報告 《我的冊包》 改編自康軒版第一冊第二課 程詩嵐 林幸玫 李佩瑾 吳瑛瑛 李逸琦 朱嬿蓉.
人際歷程取向心理治療(III) 治療架構 李正源.
立定心志、起來建造神的殿 第四季 (歷代志上研讀) 「現在你們應當立定心意, 尋求耶和華─你們的神; 也當起來建造耶和華神的聖所。」
标准基本体的创建 扩展基本体的创建 建筑对象的创建
杭州国家粮食交易中心 欢迎您!.
大葉服務學習執行說明 課外活動暨服務學習中心:黃泰元.
一切都是課程 『國際教育』在明道.
道家的中心觀念.
組員:.
 主講人:楊文明主任委員   106/06/30 中華電信職工福利委員會台北分會業務簡介.
學生學習診斷與進展評量 測驗科目:第一次國語文、第二次數學 (數學要帶紙筆計算)
香港歷史系列III 法治的基石.
摘要簡報 作品名稱:魔鬼記憶問答 作者:台中市西屯區永安國民小學 葉政德老師、王素珍老師.
Presentation transcript:

邏輯與批判思考 課程網頁:http://myweb.scu.edu.tw/~tsemeiwu 第十三週: 自然演繹法III:替代規則

一、簡介替代規則 替代規則:以邏輯等值的形式來陳述(又稱為「等值規則」)。 引入「≡」的符號:表示在它兩邊的語句是邏輯上等值的。在做證明時,邏輯等值的語句可以彼此替代。

一、簡介替代規則 十個替代規則:德摩根律(DeM)、對換法(Comm)、結合法(Assoc)、分配法(Dist)、雙重否定法(DN)、質位變換法(Contra)、蘊含法(Impl)、等值法(Equiv)、輸入輸出法(IE)、重複增減法(Idemp)。 注意:所有替代規則可以用在整個語句,也可用在語句的一部份。

替代規則 德摩根律 DeM 對換法 Comm 雙重否定法 DN 分配法 Dist 質位變換法 Contra 結合法 Assoc ~( p • q ) ≡ (~p  ~q) ~( p  q) ≡ (~p • ~q) 對換法 Comm ( p • q ) ≡ ( q • p ) ( p  q) ≡ ( q  p) 雙重否定法 DN p ≡ ~ ~p 分配法 Dist (p • (q  r)) ≡ (( p • q)  ( p • r)) (p  (q • r)) ≡ (( p  q) • ( p  r)) 質位變換法 Contra (p→q) ≡ (~q→~p) 結合法 Assoc (p • (q • r)) ≡ ((p • q) • r) (p  (q  r)) ≡ ((p  q)  r) 等值法 Equiv (p↔q) ≡ ((p→q) • (q→p)) (p↔q) ≡ ((p • q)  (~p • ~q)) 蘊含法 Impl (p→q) ≡ (~p  q) 重複增減法 Idemp p ≡ (p • p) p ≡ (p  p) 輸入輸出法 IE ((p • q)→r) ≡ (p→(q→r))

一、簡介替代規則 「蘊含規則」與「替代規則」的重要差別: 1.蘊含規則只能適用在整個語句。 替代規則可以用在整個語句,也可用在語句的一部份。 2.蘊含規則是單向的(從前提到結論)。 替代規則是雙向的(可用任一方的等值表達取代另一方)。

二、替代規則 (九)德摩根律(簡寫為DeM): ~( p • q ) ≡ (~p  ~q) ~( p  q) ≡ (~p • ~q) 記憶法:當我們把否定符號移入或移出括號時,必須 把 • 換成,把換成 • 。 德摩根律只適用並言和選言,不能用在條件句和互為 條件句。 例1: 1. (E • I)  (M • D) 2. ~ E ∕∴ ~E • M 例2: 1. ~ (X  ~X) ∕∴ Y

二、替代規則 (十)對換法(簡寫為Comm): ( p • q ) ≡ ( q • p ) -並言的對換法 對換法說的是,一個並言和選言的真假值不受其構成 要素的順序影響。 這個規則類似算數中的加法和乘法。 對換法只適用在並言和選言,不適用於互為條件句。 例1: 1. J→K 2. ~K ∕∴ R  ~J 例2: 1. A (S • J) 2. ~J ∕∴ A

二、替代規則 (十一)結合法(簡寫為Assoc): (p • (q • r)) ≡ ((p • q) • r) -並言的結合法 結合法說的是,一個並言和選言的真假值不受括號的 位置之影響。 這個規則跟算數中的作法類似。只適用在並言和選言。 在使用這個規則時,字母的順序必須保持不變,只能 改變括號的位置。 例題:1. M  (N  O) 2. ~O ∕∴ M  N

有趣的推理:魔術矩陣 畫出一個四乘四的矩陣,按順序填上1到16的數字。 請同學任選一個數字。選好後把包含這個數字的那一行和那一列劃掉。 接著在還沒被劃掉的數字裡再選一個數字,然後同樣把包含這個數字的那一行和那一列劃掉。 接下來再選第三個數字,如法炮製地把包含這個數字的那一行和那一列劃掉。 最後把唯一剩下來的數字圈起來。 老師有超自然能力,可以預測這四個數字的總和。 你們相信老師真的有超能力嗎?我是怎麼知道的?

二、替代規則 (十二)分配法(簡寫為Dist): (p • (q  r)) ≡ (( p • q)  ( p • r)) 這個規則類似算數裡的作法。 記憶法:本來在括號外面的運算符號進去,本來在括號裡面的運算符號出來。 分配法同樣只適用在並言和選言。 例1: 1. D • (E  F) 2. ~D  ~F ∕∴ D • E 例2: 1. (G • H)  (G • J) 2. (G  K)→L ∕∴ L

二、替代規則 (十三)雙重否定法(簡寫為DN): p ≡ ~ ~p 雙重否定法說的是,一組緊鄰在一起的否定連接詞可 以被刪除或引入,而不影響原語句的邏輯真假值。 日常生活中有很多雙重否定法的運用。 例如,老師說:「我不是沒有理由當掉你的。」這句話跟「我有理由當掉你」的意義相同。 例1: 1. ~ (~E • ~N)→T 2. G → (N  E) ∕∴ G→T 例2: 1. A→ ~ (B • C) 2. A • C ∕∴ ~B

二、替代規則 例題: 例1:1. E→ ~B 2. A→ ~C 3. ~ (~E • ~A) ∕∴ ~ (B • C) 例2:1. B  (S • N) 2. B→ ~S 3. S→ ~N ∕∴ B  W

二、替代規則 當沒有辦法直接看出如何從前提推出結論時,最好的辦法是用「替代規則」來“解構”結論。 解構完結論後,就用相反的順序來推出結論。 「替代規則是雙向的」可以證成上述程序。 例題: 1. K→ (F  B) 2. G • K ∕∴ (F • G)  (B • G)

三、做推論的基本策略 10. Conj規則可以跟DeM規則搭配使用。 例如:1. ~A 2. ~B ∕∴ ~ (A  B) 11. CD規則可以跟DeM規則搭配使用。 例如:1. A→ ~B 2. C→ ~D 3. A  C ∕∴ ~ (B • D)

三、做推論的基本策略 12. Add規則可以跟DeM規則搭配使用。 例如:1. ~A ∕∴ ~ (A • B) 13. Dist規則可以用兩種方式跟DS規則搭配使用。 例1:1. (A  B) • (A  C) 2. ~A ∕∴B • C 例2:1. A • (B  C) 2. ~ (A • B) ∕∴ A • C

三、做推論的基本策略 14. Dist規則可以用兩種方式跟Simp規則搭配使用。 例1:1. A  (B • C) ∕∴ A  B 例2:1. (A • B)  (A • C) ∕∴ A 15. 從前提看不出可以如何推出結論時,可使用替代規則“解構”結論。之後再依相反順序、運用相同規則,從前提推出結論。

練習題 1. ~S ∕∴~ (F • S) 1. R→ ~B 2. D  R 3. B ∕∴ D 1. ~ (X • Y) 2. X 3. Y  Z ∕∴ Z

練習題 1. (J  F)  M 2. (J  M)→ ~P 3. ~F ∕∴ ~ (F  P) 1. X • (Y  Z) 3. (Z • X)→K ∕∴ K 這題至少可以有兩種證法 1. ~X  Y 2. ~Y  Z 3. X • W ∕∴ (X • Y) • Z

有趣的推理:人口爆炸 請問:蛋頭先生的論證有什麼問題? 最近常聽到第三世界有人口爆炸的問題,故倡導節育。 「反節育聯盟」的主席蛋頭先生不同意這個說法,他主張世界人口急速減少,不久以後每個人都會有更多空間和資源可以用,以下是他提出的論證: 每個活著的人都有父母親兩位;父母親上頭各有他們的父母親兩位,所以祖父母輩就有四位;祖父母上頭各有他們的父母親兩位,所以曾祖父母輩就有八位。每回溯一代,人數就增加一倍。因此,如果你從二十一世紀回溯到中世紀時代,你的祖先共有1,048,576人。你想想看,每個人都是如此,所以在中世紀時代的人口是現在的一百多萬倍。因此,人口急速減少。 請問:蛋頭先生的論證有什麼問題?