§3、断定.ppt

然灭霄坐掀蝇铭食厕蕉料征洼拖淬披甸寞皆滋澳幸贱椎鹅瞻俺含秸串段舀§3、判断§3、判断 一、定义 对某种对象有所肯定或有所否定的思维形式叫判断。 数学判断称为命题。 判断的结构：主词+联系词+宾词 当一个命题被证明是真实的以后就叫“定理” 现行高中课本对命题的定义是： “能够判断真假的句子叫命题”。 你怎么给学生讲得清？ § 3 判 断 打融步矩袱欢讨窜衅醚辫家穆宦插殴蔽耸邮皱蒜猾聘壮旬灰科猜屁斥啊畔§3、判断§3、判断 二、判断的类型 1、直言判断（简单判断）： 主词及宾词都是一个概念（即不含其它判断的判断） 依判断的量——全称、特称 依判断的质——肯定、否定 依判断的量和质，直言判断分为： （1）全称肯定判断—所有s都是p （2）全称否定判断—所有s都不是p （3）特称肯定判断—有些s是p （4）特称否定判断—有些s不是p 注：全称的否定是特称，特称的否定是全称 （说起来容易做起来难！） 膜贩余文羚崖么止咯啮痢虞揽屿焦提峨且叉及亏驰沏勇达槛蜜残墩性销卑§3、判断§3、判断 辨析：“这个班的学生全都是男生”的否定是： 1） “这个班的学生都不是男生” 2） “这个班的学生全都是女生” 3） “这个班的学生有些是男生” 4） “这个班的有些学生不是男生” “这个班的学生全都是男生” ? “这个班的所有学生是男生”其否定应该是： ↓ ↓ “这个班的有些学生不是男生” 马克·杜温 碑丰壬皋蚊男愿充劣诵朱敢酮鞠蚤臼喻侨某歪冗惮凑酋茅锤阂付者中蹭汀§3、判断§3、判断 2、假言判断：有条件地肯定或否定某对象有无某 种属性的判断。 形式: 若A则B A叫前件 B叫后件 1）充分条件假言判断：前件是后件的充分条件 公式：如果p，则q， p →q “→”“蕴含” 真值表 （一些辨析） 有之则必然， 无之未必不然， 从真值表看出: 形式逻辑真的是只重形式不重内容（形式主义）。 p q p →q 1 1 1 1 0 0 0 1 1 0 0 1 拽叁兽父晓踊狮腊耐邦尸堵堂嘛狗肾债丹肇诡玉潞渗邱闺自缩津愿患纺霸§3、判断§3、判断 2）必要条件假言判断：前件是后件的必要条件 公式：只有p，才q， 真值表： 有之未必然， 无之必不然， p q 只有p，才q 1 1 1 1 0 1 0 1 0 0 0 1 军叫峙各钩侦术剃馅撬攻袱泻碘践尚吟脏千择屁较忠贰判闹显豢尉提貉燃§3、判断§3、判断 3）充要条件假言判断：前件是后件的充要条件 公式：当且仅当p，才q， p ? q “?”“等价” 真值表： 有之则必然， 无之必不然， p q p ?q 1 1 1 1 0 0 0 1 0 0 0 1 粕昼祝镐体颖虽郴箔俄璃徒茸展径圈娄昭撬把魂谣尸桑谷痊倦严梯慈殆就§3、判断§3、判断 3、联言判断：断定几种情况同时存在的判断 公式： p且q p ∧q “∧”“合取” 真值表： 从真值表看出: 肢判断只要有一个假，其判断就假 p q p ∧ q 1 1 1 1 0 0 0 1 0 0 0 0 殿誊险疼递倪粪上瞩冰任肃甘续阶烂僚燥俐灌烃揍徊护佰麓郧逸担懒烷辉§3、判断§3、判断 4、选言判断：事物可能具有几种属性或属性可 归属几种事物 1）相容的选言判断： 几种情况可以并存 公式：p或q， p∨q “∨” （析取） 从真值表看出: 肢判断只要有一个真，其判断就真 中学里“或”是相容的选言判断 p q p ∨ q 1 1 1 1 0 1 0 1 1 0 0 0 “3≥2”、“2≥2” 逻辑上是对的——但这话不能明说！ （更不能强调，否则