逻辑课程网页httphomepage.ntu.edu.tw~d97227201.pptVIP

三、語句的符號化規則 (二)其他句型之翻譯： 1.「不是A或者B」：因為否定連接詞只影響接在它後面的語句，所以翻譯成 ~A ? B。 2.「A和B並沒有都… 」：表示「A且B」是假的。 翻譯成 ~(A ? B)或~A ? ~B 例如：「張三和李四並沒有都畢業」~(C ? L) 或 ~C ? ~L 3.「A和B都沒有(都不) …」：表示「A或B」是假的。 翻譯成 ~(A ? B) 或 ~A ? ~B 例如：「張三和李四都沒有畢業」~(C ? L) 或 ~C ? ~L 三、語句的符號化規則 (三)良形句式(WFFs)：各種符號在語句構造上的一種正確配置。 例如：P → ~Q 、~ ~( P ? Q)→~ ~P 是良形句式 PQ、~(~p)、P ? Q ? R 不是良形句式 有趣的推理：1英鎊到哪去了？ 三名旅客深夜投宿廉價旅館，每個人身上都只有10英鎊，所以決定一起住大房間，每晚的住宿費是30英鎊。由於身上的錢都用來付住宿費了，所以當服務生幫他們把行李提上樓時，他們沒有錢可以給服務費。 不過，旅館老板後來告訴服務生，因為正舉辦優惠活動，所以大房間的住宿費降為25英鎊，要服務生把錢拿去退給三名旅客。服務生心想：「這5英鎊該怎麼分給三個人呀，我乾脆拿走2英鎊當作應得的小費。」於是，他退給三名旅客各1英鎊，自己留下2英鎊的錢。 你有沒有發現，三位旅客都只花9英鎊住宿，而服務生口袋裡有2英鎊，這樣總額是29英鎊。但他們一開始確實付了30英鎊。 請問：1英鎊到哪去了？ 邏 輯課程網頁：.tw/~ 第五週： 語句邏輯的符號與邏輯語言的翻譯 一、語句的分類 語句邏輯(sentential logic)：又稱為「命題邏輯」(propositional logic)，它的基本元素是語句(陳述句) 。 語句邏輯只考慮語句和語句之間的關係，而不考慮語句主詞的量。 語句可依「複雜程度」區分為原子語句和複合語句，另外可依「是否有經驗內容」區分為形式語句和實質語句。 一、語句的分類 (一)依複雜程度來區分語句： 1.原子語句：也叫做簡單語句，是語句的最小單位。 例如：「我是人」、 「現在是清晨」、 「這裡是台北」。 2.複合語句：由一個（或一個以上）的原子語句，再加上「語句連接詞」所組成。 例如：「如果我是人，那麼我應該為自己的行為負責」、「現在是清晨而且這裡是台北」。 語句邏輯共有五種語句連接詞。 一、語句的分類 (二)依是否有經驗內容來區分語句： 1.形式語句：沒有經驗內容、純形式化的語句。 例如：p、p ? q、p ? q、p→q、p?q 用小寫英文字母 p, q, r, s, t代表形式語句的原子語句。 2.實質語句：有經驗內容、非純形式化的語句。 例如：「台大在台北」、「玉山是東南亞最高的山」。 用大寫英文字母 A, B,…S, T代表實質語句的原子語句。 依此，論證可分為「形式論證 」和「實質論證 」。 二、日常語言的符號化 五種語句連接詞： 否定連接詞 (negation) ~ 非、沒有、不、不是、不會 並言連接詞(conjunction) ? 和、與、且、而、並且、但是、然而、不過 選言連接詞 (disjunction) ? 或、或者、還是、要嘛…要嘛…、除非…否則… 條件連接詞 (conditional) → 若(如果)…則(那麼)、充分條件、必要條件、只要…、才… 互為條件連接詞 (bi-conditional) ? 若且唯若、等值、恰好如果、充分必要條件 二、日常語言的符號化 (一)否定連接詞： ~ (或 – 、 ? ) 例1：「美國的首都不是臺北」翻成~T 例2：「我不知道張三人在台北」翻成~K 例3： 「我知道張三不是好人」翻成K，而不是~K。 否定連接詞永遠只能放在它要否定的語句前面。 否定連接詞不能用來連接兩個語句。 例如：p ~ q 是錯誤的邏輯表達。 否定連接詞是唯一可直接接在其他語句連接詞後面的。 例如：G ? ~H 否定連接詞否定一個原子語句H 否定連接詞可以用來否定複合語句（但是要加括號）。 例如：~(G ? H) 表示否定G ? H這個複合語句 二、日常語言的符號化 (二)並言(連言)連接詞： ? (或 ∧ ) 例1：「太極拳講究聽勁並且要求盡量不用力」翻成A ? B 例2：「Nike賣球鞋而華碩賣電腦」翻成N ? S 例3：「Nike和Adidas都賣球鞋」翻成N ? A 例4：「小花拿了書，然後跑出去 」翻成B ? R 例5：「台大學生雖然很聰明，但是不用功 」翻成S ? ~H 表達關