简明逻辑学第11讲(第三章简单判断).ppt

第三章 简单判断 （共 一 讲） 第三章 简单判断 第一节 判断的概述 第二节 性质判断 第三节 关系判断 复习： 判断的概述 什么是判断 判断是对思维对象有所断定的思维形态 。 判断的两个逻辑特征： n总是有所断定 n总是或真或假 判断、语句和判断 判断和语句 判断和判断 n判断判断 n判断判断 复习： 判断的概述 判断的逻辑形式 判断形态与判断形式 逻辑常项和逻辑变项 概念变项和判断变项 判断形式的真假（类别） 复习： 判断的概述 判断的种类 简单判断和复合判断 简单判断可分为性质判断和关系判断 。 复合判断的结构： 支判断 + 逻辑联 结词 n模态判断和非模态判断 判断的种类 判 断 简单判断 复合判断 性质判断 关系判断 联言判断 选言判断 假言判断 负 判 断 全称判断 特称判断 单称判断 全称肯定判断 全称否定判断 特称肯定判断 特称否定判断 单称肯定判断 单称否定判断 相容选言判断 不相容选言判断 充分条件假言判断 必要条件假言判断 充分必要条件假言判断 复习： 判断的概述 判断间的关系 可同真的关系与不可同真的关系 可同假的关系与不可同假的关系 等值关系与不等值关系 差等关系 单向必然等值 判断间的真假值关系 判断 间的 真假 关系 可同真 的关系 不可同真 的关系 等值关系 差等关系 偶等关系 可同假的关系（反对） 不可同假的关系（矛盾） 可同假关系 不可同假的关系（下反对） 单向同真关系 单向同假关系 第二节 性质判断 一、什么是性质判断 二、性质判断的种类 三、性质判断的真假 四、性质判断间的真假关系 五、主、谓项的周延性 第二节 性质判断 一、什么是性质判断 n定义：性质判断也叫直言判断，就是断 定对象具有或不具有某种性质的判断。 例如： 哥白尼是日心说的创立者。 凡正当防卫都不是违法行为。 有些证据是伪造的。 第二节 性质判断 一、什么是性质判断 n结构：量项 主项 联项 谓项 n主项、谓项“词项” n量项（量）全称、特称、单称量 项 n联项（质）肯定联项、否定联项 第二节 性质判断 二、性质判断的种类 1按量分： n全称判断 所有 S 是（不是）P n特称判断 有的 S 是（不是）P n单称判断 这个 S 是（不是）P 全 称 判 断 逻辑形式：所有 S 是（不是）P 所有天鹅都是白色的。 所有公民都是受法律保护的。 全称量项： 我们班个个都是好样的。 凡金属皆导电。 一切犯罪都具备犯罪构成的四个 要件。 全称量项的省略和变异： 规律是不以人的意志为转移的。 全国人民莫不欢欣鼓舞。 没有什么人是不受法律约束的。 特 称 判 断 逻辑形式：有的 S 是（不是）P 有的法官不是公正的。 有的名牌产品是优质产品。 特称量项： 有的、有些、某些、大多数、极少数、 个别、一些、50%、80% 关于“有的” ： 有的人是说话算数的。 有的医生是人。 单 称 判 断 逻辑形式：这个 S 是（不是）P 那个人是新来的。 该合同是无效的。 鲁迅是阿Q正传的作者。 我们的班主任老师不是武汉人。 单称量项： 这个 第二节 性质判断 二、性质判断的种类 2按质分 n肯定判断 所有（或有的，或这个） S 是 P n否定判断 所有（或有的，或这个） S 不是 P 肯 定 判 断 逻辑形式：所有（有的，或这个）S 是 P 凡金属都是导电的。 有的音乐是美妙的。 这本书是我新买的。 肯定联项： 是 肯定联项的省略： 今天星期六。 否 定 判 断 逻辑形式：所有（或有的，或这个） S 不是 P 机器人不是真正的人。 有的法官不是公正的。 地球不是宇宙的中心。 否定联项：不是 任何困难都不是不可克服的 。 凡规律都是不以人的意志为 转移的 否定联项的省略： 我不会骑摩托车。 第二节 性质判断 二、性质判断的种类 3按质量结合分： 性 质判断 全 称判断 特 称判断 单 称判断 全 称肯定判断 全 称否定判断 特 称肯定判断 特 称否定判断 单 称肯定判断 单 称否定判断 所 有S 是P 所 有S不是P 有 的S 是P 有 的S不是P 这 个S不是P 这 个S 是P 性质判断的符号化 n全称肯定判断： “所有 S 都是 P ” SAP n全称否定判断： “所有 S 都不是 P ” SEP n特称肯定判断： “有的 S 是 P ” SIP n特称否定判断： “有的 S 不是 P ” SOP n单称肯定判断： “这个 S 是 P ” SA P n单称否定判断： “这个 S 不是 P ” SE P 第二节 性质判断 三、性质判断的真假 全称肯定判断（SAP） 逻辑含义：S类的全部对象包含于P 类之中 逻辑值： 性质判断的真值表 SAP S SP S P PPPSS 第二节 性质判断 三、性质判断的真假 全称肯定判断（SAP） 全称否定判断（SEP） 逻辑含义：S类的全部对象不包含于P 类之中 逻辑值： 性质判断的真值表 SEP S SP S P PPPSS 第二节 性质判断 三、性质判断的真假 全称肯定判断（SAP） 全称否定判断（SEP） 特称肯定判断（SIP） 逻辑含义：S类的部分对象包含于P类 之中 逻辑值： 第二节 性质判断 三、性质判断的真假 全称肯定判断（SAP） 全称否定判断（SEP） 特称肯定判断（SIP） 特称否定判断（SOP） 逻辑含义：S类的部分对象不包含于P 类之中 逻辑值： 第二节 性质判断 三、性质判断的真假 全称肯定判断（SAP） 全称否定判断（SEP） 特称肯定判断（SIP） 特称否定判断（SOP） 单称肯定判断（SAP） 逻辑含义：S类的某个对象包含于P类 之中 第二节 性质判断 三、性质判断的真假 全称肯定判断（SAP） 全称否定判断（SEP） 特称肯定判断（SIP） 特称否定判断（SOP） 单称肯定判断（SAP） 单称否定判断（SEP） 逻辑含义：S类的某个对象不包含于P 类之中 性质判断的真值表（P86） 第二节 性质判断 四、性质判断间的真假制约关系 n复习：判断间的真假关系 n性质判断间的真假关系（分析） ： n与反对 n与矛盾 n与下反对 n与差等 性质判断的真值表 SAP SEP SIP SOP SAP SEP S SP S P PPPSS 第二节 性质判断 四、性质判断间的真假制约关系 n复习：判断间的真假关系 n性质判断间的真假关系（分析） ： n与反对 n与矛盾 n与下反对 n与差等 n与矛盾 单称判断的真值表 SAP SEP SSPSP PPS 第二节 性质判断 四、性质判断间的真假制约关系 n复习：判断间的真假关系 n性质判断间的真假关系（分析）： n性质判断间的真假关系（总结）： n矛盾关系：与，与，与 n反对关系：与 n下反对关系：与 n差等关系：与，与 第二节 性质判断 四、性质判断间的真假制约关系 4性质判断逻辑方阵： AE IO 反对关系 下反对关系 差 等 关 系 差 等 关 系 矛矛 盾 盾 关 系 关 系 第二节 性质判断 四、性质判断间的真假制约关系 4性质判断逻辑方阵： AE IO 反对关系 下反对关系 矛矛 盾 盾 关 系 关 系 AE 性质判断的逻辑方阵 AE IO 反对关系 下反对关系 差 等 关 系 差 等 关 系 矛矛 盾 盾 关 系 关 系 AE IO 反对关系 下反对关系 矛矛 盾 盾 关 系 关 系 AE 第二节 性质判断 四、性质判断间的真假制约关系 5逻辑方阵成立的前提条件： n各种性质判断必须是同素材的 。 例一、凡正当防卫都 是 合 法行为。 例二、凡正当防卫都 不是 非 法行为。 n主项不能是虚概念。 例三、有的仙女是美丽的。 例四、有的仙女不是美丽的。 课本练习题处理 三、（根据已知条件）用欧拉图表示性质判 断的主项S和谓项P的关系（P94） 四、已知下列判断为真，请根据性质判断间 的对当关系，指出素材相同的其他三个判断的 真假： （P94） 五、已知下列判断为假，请根据性质判断间 的对当关系，指出素材相同的其他三个判断的 真假： （P94） 六、根据性质判断间的对当关系，选择相应 的真判断来驳斥下列假判断 ：（P94） 第二节 性质判断 五、性质判断主、谓项的周延性 1什么是周延性？ 2“周延”的对象和性质 3各种性质判断主、谓项的周延情况 ： n全称判断的主项是周延的。 n特称判断的主项是不周延的。 n单称判断的主延是周延的。 n否定判断的谓项是周延的。 n肯定判断的谓项是不周延的。 （实例 分析） 实例分析 肯定判断的谓项是不周延的 所有大学生都是学生。 所有等边三角形都是等角三角形。 有的青年是律师。 有的科学是思维科学。 上海是大城市。 北京是中华人民共和国首都。 第二节 性质判断 五、性质判断主、谓项的周延性 1什么是周延性？ 2“周延”的对象和性质 3各种性质判断主、谓项的周延情况 ： 第三节 关系判断 一、什么是关系判断 二、二元关系的性质 三、二元关系推理 第三节 关系判断 一、什么是关系判断 1定义： 关系判断就是断定对象之间具有 或不具有某种关系的判断。 例一、3 大于 2 。 例二、张三和李四是朋友 例三、苏州位于南京和上海之间。 一、什么是关系判断 2结构： 个体项 关系项 量项 个体项 反映各个对象的概念，叫做 个体项。 个体项有个体常项和个体变 项之分。 个体所属的那个特定范围， 叫做个体域。 第三节 关系判断 一、什么是关系判断 2结构： 个体项 关系项 量项 关系项 反映对象间关系的概念，叫做关 系项。 二元关系、三元关系、n 元关系 多元关系 前置法、中置法、后置法 第三节 关系判断 一、什么是关系判断 2结构： 个体项 关系项 量项 量项 反映对象数量或范围的概念 ，叫做量项。 量项有全称量项和特称量项 之分。 例： 有的参观者欣赏所有的 展品。 第三节 关系判断 二、二元关系的性质 1自返性： n自返关系（判断） 对任一 x，都有：xRx n反自返关系（判断） 对任一 x，都没有：xRx n非自返关系（判断） 对有的 x，有：xRx 对有的 x，没有：xRx 第三节 关系判断 二、关系的性质 2对称性： n对称关系（判断） 对任意 x、y，若 xRy，则 yRx n反对称关系（判断） 对任意 x、y，若 xRy为真，则 yRx 为假 n非对称关系（判断） 对任意 x、y，当 xRy 时，yRx 可 能真也可能假 第三节 关系判断 二、关系的性质 3传递性： n传递关系（判断） 对任意 x、y、z，若 xRy， yRz， 则 xRz n反传递关系（判断） 对任意 x、y、z，若 xRy