逻辑课程网页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英鎊的錢。 你