逻辑学教学方案6-10章2009.ppt.Convertor.doc

《普通逻辑》 主讲人：张国强 电话 E-mail: zhgq-2008@163.com 第六章　复合判断及其演绎推理（二） 教学目的和要求：1、明确假言间接推理的种类（假言三段论推理、假言联言推理、假言选言推理、假言联锁推理等）；2、掌握假言间接推理的推理形式及其规则，并能运用其规则检验假言推理是否有效；3、掌握负判断及其结构、真值表；4、掌握负判断及其等值推理；5、掌握真值表的判定作用；6、提高综合运用复合判断推理解决总题的能力。1、明确模态判断及其结构；2、明确真值模态判断，掌握真值模态判断的种类和真值模态对当关系推理；3、明确规范模态判断，掌握规范模态判断的种类和规范模态对当关系推理。 教学重点与难点：（1）各种复合判断推理的有关规则及有效推理式。（2）运用各种复合判断推理的知识及前面所学逻辑知识解答应用题。 第一节　负判断及其等值推理 内容简介： 一、什么是负判断 二、负判断的种类 1、简单判断的负判断及其等值判断 2、复合判断的负判断及其等值判断 考核要求： 1、识记：负判断的定义。（2）负判断的逻辑形式。 2、理解：各种复合判断的负判断与其等值判断间的等值关系。 3、简单运用：（1）写出给定的简单判断的负判断的等值判断（含公式）。（2）写出与给定的复合判断的负判断相等值的判断（含公式）。 第一节　负判断 一、什么是负判断 1、定义：负判断就是否定某个判断的判断，又叫判断的否定。（注意：负判断是一种复合判断，不同于我们讲的性质判断） 如：并不是一切水生动物都是鱼。 并非任何科学家都天生聪明。 有的科学家并不是天生聪明的。 2、逻辑形式:并非p　符号表达为：– p(并非p) 3、构成：支判断＋否定联项 支判断可以是简单判断，也可以是复合判断。 “并非”是否定联项，常见的表达有：并非，并不，非，不是，不，…是假的，等。 4、真值判定： p –p T F F T 二、负判断等值推理 （一）A、E、I、O的负判断 1、并非所有s是p。 SAP SOP 2、并非所有s不是p。 SEP SIP 3、并非有的s是p。 SIP SEP 4、并非有的s不是p。 SOP SAP 5、并非某个s是p。 ┐SaP SeP 6、并非某个s不是p。 ┐SeP SaP 二、负判断等值推理 （二）复合判断负判断的等值推理 1、并非（p并且q） ┐（P∧q）←→ ┐P∨┐q 2、并非（p或者q） ┐（P∨q）←→ ┐P∧┐q 3、并非（要么p要么q） ┐（P∨q）←→（P∧q）∨（┐P∧┐q） 4、并非（如果p那么q） ┐（P→q）←→ P∧┐q 5、并非（只有p才q） ┐（P←q）←→ ┐P∧q 6、并非（p当且仅当q） ┐（P←→q）←→（P∧┐q）∨（┐P∧q） 7、并非（并非P） ┐（ ┐P）←→ P 三、真值表的应用 真值表的作用：1、可判定任一真值形式是否为重言式（重言式—永真式、矛盾式—永假式、可满足式）；2、可判定任意两个真值形式是否具有等值关系；3、可帮助解决一些推理问题； 根据联言、选言、假言判断和负判断的真值表，我们可以以之为工具来判定更为复杂的复合判断（即多重复合判断）的真值情况。 如：判定（p∧q）→ (p∨q)的真值 步骤?（1）列出p和q的真假情况； （2）分别求出（p∧q）和 (p∨q)的真值。 （3）判定（p∧q）→ (p∨q ）的真值。 第二节　模态判断及其推理 一、什么是模态判断 模态判断，就是断定了事物情况的必然性或可能性的判断。“必然”、“可能”在逻辑上称为模态词。 二、模态判断的种类　或然肯定：可能p 　◇p 模态　或然模态判断　或然否定：可能非p 　◇–p 判断　　　　　　　　必然肯定：必然p □p 　　　必然模态判断　必然否定：必然非p □–p 三、模态判断之间的真假关系 与A、E、I、O之间的真假关系一样，具有同一素材的◇p、◇–p、□p、□–p之间也具有对当关系，也可以用模态方阵来表示。 模态判断间的对当关系 反　对 　 　　 □p