判断(二)逻辑学知识讲稿.pptVIP

* * * * 作用是：一句话可以变换成多种说法 * 必要 假，真 假 假 (5) 3 (6) 3 注意：p,除非q，前件是后件的充分条件；除非p，q，前件是后件的必要条件 * * * 1例：否定一个简单判断，否定支是一个性质判断 2例：否定一个复合判断，否定支是一个必要条件假言判断 3例：否定一个复合判断，否定支是一个联言判断 * * 注意，本书没有包括否定一个关系判断的负判断 * * 并非所有的S都是P，记作SAP 并非所有的S都不是P，记作SEP 并非有的S是P，记作SIP 并非有的S不是P，记作SOP 并非某个S是P 并非某个S不是P 负判断的种类 — 负简单判断 并非（p且q），┐(p∧q) 并非（p或q），┐(p∨q) 并非（要么p，要么q），┐(p q) 并非（如果p，则q），┐(p-q) 并非（只有p，才q），┐(p-q) 并非（当且仅当p，则q），┐(p-q) 并非非p，┐┐p 负判断的种类 — 负复合判断 明天我或者去看电影，或者去看展览，否则就去游泳。 如果明天天晴并且单位不加班，那我们或者去游泳或者去划船。 例题--写出下列复合命题的真值形式 明天我或者去看电影，或者去看展览，否则就去游泳。 p:明天我去看电影；q:明天我去看展览；r:明天我去游泳 (p∨q) r 如果明天天晴并且单位不加班，那我们或者去游泳或者去划船。 p:明天天晴；q:明天单位不加班；r:明天我们去游泳；s:明天我们去划船 (p∧q)-(r∨s) 例题--写出下列复合命题的真值形式 如果科学家的预见是正确的，那么，如果我们不从现在起就重视环境保护，人类终有一天将无法在这个地球上生存。 请勿在场地内吸烟、随地吐痰、乱扔废弃物，违者罚款 例题--写出下列复合命题的真值形式 如果科学家的预见是正确的，那么，如果我们不从现在起就重视环境保护，人类终有一天将无法在这个地球上生存。 p:科学家的预见是正确的；q:我们从现在起就重视环境保护；r:人类可以一直在这个地球上生存 p-(┐q- ┐r) 请勿在场地内吸烟、随地吐痰、乱扔废弃物，违者罚款 p:你在场地内吸烟；q:你在场地内随地吐痰；r:你在场地内乱扔废弃物；s:你被罚款 ┐(p∨q∨r)∧((p∨q∨r)-s) 例题--写出下列复合命题的真值形式 SAP - SOP，“并非所有S都是P”等值于“有的S不是P” SEP - SIP，“并非所有S不是P”等值于“有的S是P” SIP - SEP，“并非有的S是P”等值于“所有S不是P” SOP - SAP，“并非有的S不是P”等值于“所有S是P” “并非某个S是P”等值于“某个S不是P” “并非某个S不是P”等值于“某个S是P” 负判断的等值判断—负简单判断 ┐(p∧q) - (┐p∨┐q) ┐(p∨q) - (┐p∧┐q) ┐(p q) - (p∧q)∨(┐p∧┐q) ┐(p-q) - (p∧┐q) ┐(p-q) - (┐p∧q) ┐(p-q) - (p∧┐q)∨(┐p∧q) ┐┐p - p 负判断的等值判断—负复合判断 联言判断 选言判断 假言判断 负判断 真值表方法 用真值表罗列出各支判断的全部取值组合，用以计算复合判断取值情况，或证明等值式 真值表方法 例④ 用真值表求值((p-q)∧┐p)- ┐q 判定复合判断的逻辑值 p q p -q ┐p ((p-q)∧┐p ┐q ((p-q)∧┐p)- ┐q T T T F F F T T F F F F T T F T T T T F F F F T T T T T 方法1：证明两个判断的取值一致 例① 方法2：证明判断a和b是等值式，相当于证明a-b是永真式（或称重言式） 证明两个判断是等值式 p q p -q ┐(p -q) ┐q p∧┐q ┐(p-q)-(p∧┐q) T T T F F F T T F F T T T T F T T F F F T F F T F T F T 本讲内容回顾 联言判断 选言判断 假言判断 负判断 真值表方法 * * * * 常规，指表示判断的语句各组成部分比较齐全。与后面的紧缩式联言判断形成对比 转折关系联言判断的联言支顺序也不能互换 * 紧缩式，表示语句中省略了一些词 * * * * 数理逻辑上的析取，只要有一个选言支为真，则选言判断的值就为真。即不区分相容析取和不相容析取 * * 这是一个疑点，即选言支是否相容？第一个例子很明显。 第二个例子就不明显。是否可以2个地方都去？此时应当用“或者…或者…”。比如同学们准备郊游，就可以认为不相容了 * 注意：当p和q都为真（即p和q相容）时，不相容选言判断的值为假 * (1)还可能是抄写错误 (2)选言支地位应当平等，电子类隶属于理工类