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

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