一、形式逻辑是研究思维的形式及其规律的科学。是大学本（专）科各专业的专业基础课。作为一门思维科学，它既有认识的作用，又有表达和论证思想的作用。学习形式逻辑对于自觉地进行思维的逻辑训练，提高逻辑思维能力，增强逻辑论证的力量，具有重要意义。
二、本课程应坚持理论联系实际的学习原则和方法，要准确地理解和掌握形式逻辑的基本概念、逻辑规律和逻辑原理，同时，联系学习生活实际，自觉地运用学过的逻辑理论和知识去分析解决实际活动中碰到的各种逻辑问题。通过学习本课程，提高逻辑思维能力。
三、就中文系而言，本课程应注意同现代汉语、古代汉语、写作等基础课程相联系，从形式逻辑的角度提高学生运用语言的能力。
四、本课程的一些内容比较抽象，教学中应注意重点突出、例证生动，在保证科学性的前提下加强趣味性。教材一般都借用了数理逻辑的语言形式，应注意自然语言和形式语言的转换。
五、本课程讲授一学期，约32学时。书面作业2次。
六、本大纲课程教学内容顺序依托华东师大《形式逻辑》教材内容顺序编排，教学重点为第二、三、四、五、六、十章，教师在完成大纲基本要求的前提下，根据课时多少及学生接受能力对教学内容可以适当调整。由于选用教材不同，内容编排顺序以及个别内容、术语可能小异，教学中应作适当调整。
课程教学内容
第一章形式逻辑的对象和意义
第一节了解：形式逻辑的对象（思维形式及其规律）和性质（全民性、工具性）。
第二节理解：学习形式逻辑的意义和方法
第二章概念
第一节概念的概述
一、了解：概念是通过揭示对象的特性或本质来反映对象的一种思维形式。二、了解：概念与语词的关系第二节概念的内涵和外延一、了解：概念内涵、外延的定义二、掌握：概念内涵与外延的反变关系第三节概念的种类
一、理解：单独概念和普遍概念二、理解：集合概念与非集合概念三、理解：正概念与负概念第四节概念外延间的关系
一、理解：相容关系（全同、真包含、真包含于、交叉）二、理解：不相容关系（全异：矛盾、反对）第五节掌握：概念的限制和概括第六节掌握：定义及其规则第七节掌握：划分及其规则
第三章简单命题及其推理（上）
第一节了解：命题和推理的概述第二节性质命题
一、了解：性质命题是断定事物具有（或不具有）某种性质的简单命题。二、理解：性质命题根据质和量的不同结合分为六种基本形式。三、掌握：A、E、I、O四种性质命题的项的周延性
四、掌握：主、谓项相同的A、E、I、O四种性质命题间的真假关系第三节性质命题的直接推理一、掌握：运用命题变形法的直接推理
二、掌握：依据“逻辑方阵”的命题间关系的直接推理
第四章简单命题及其推理（下）
第一节三段论
一、理解：三段论及其结构
二、掌握：三段论的公理与规则三、掌握：三段论的格与式四、了解：复合三段论和省略三段论
五、了解：用凡恩图解的方法检验三段论的有效性第二节关系命题及其推理
一、了解：关系命题是断定事物与事物之间关系的命题。二、理解：对称关系与传递关系三、掌握：关系推理
第五章复合命题及其推理（上）
第一节掌握：联言命题及推理第二节掌握：选言命题及其推理第三节掌握：假言命题及其推理
第六章复合命题及其推理（下）
第一节负命题及其推理
一、理解：负命题是通过对原命题断定情况的否定而作出的命题。二、了解：负命题的种类
三、掌握：复合命题负命题的等值命题，真值表判定法四、掌握：负命题的等值推理第二节二难推理
二难推理是由两个假言前提和一个具有二肢的选言前提联合作为前提而构成的推理。
了解：二难推理的四种形式。
第三节复合命题的判定方法——真值表方法一、掌握：判定若干个复合命题是否等值或矛盾二、掌握：判定复合命题形式是否为重言式掌握：普通真值表法与归谬赋值法。
第七章模态命题及其推理
第一节模态命题
一、了解：真值模态命题与规范模态命题二、了解：模态命题的种类及模态命题之间的关系
第二节模态推理
一、了解：模态推理是由模态命题构成的一种演绎推理。二、掌握：根据模态逻辑方阵进行推演的模态推理三、了解：模态三段论第三节规范命题
一、了解：规范命题是含有“必须”、“允许”、“禁止”等涉及人的行为规范的模态词的模态命题。二、了解：规范命题的主要种类三、理解：四种规范命题之间的对当关系第四节规范推理
一、了解：规范推理是以规范命题作为前提和结论的演绎推理。二、掌握：根据规范命题逻辑方阵进行推演的规范推理三、了解：规范三段论
第八章归纳推理
第一节归纳推理的概述
第二节了解：观察、试验和一些整理经验材料的方法第三节了解：完全归纳推理和不完全归纳推理第四节了解：探求因果联系的逻辑方法
第九章类比推理与假说
第一节了解：类比推理第二节了解：假说
第十章形式逻辑的基本规律
第一节形式逻辑的基本规律概述第二节掌握：同一律第三节掌握：矛盾律第四节掌握：排中律
第十一章证明与反驳
第一节证明的概述
第二节了解：证明的逻辑原则——充足理由原则第三节了解：证明的种类
第四节了解：证明的规则第五节了解：反驳第六节了解：谬误
教学要求及课时分配
教材及参考书
建议教材：
普通逻辑上海人民出版社1993、4第四版形式逻辑华东师大出版社1996、4
参考书：
逻辑学教程何向东主编高教出版社1999形式逻辑金岳霖主编人民出版社1979、10逻辑学新教程中央财大
逻辑学宋文坚主编人民出版社1998符号逻辑基础宋文淦北师大出版社1993
西方形式逻辑史宋文坚中国社会科学出版社1991、12、语法修辞讲话吕叔湘朱德熙中国青年出版社1952、12
古代汉语王力主编中华书局1999、6古代汉语許嘉璐主编1992年1版
古代汉语郭锡良主编1999年版，《古代汉语》高教自考教材现代汉语黄伯荣廖序东主编甘肃人民出版社1983、6语义学徐烈炯语文出版社1995
陈大川修订
《形式逻辑》教学计划及讲授纲要
乐山师范学院教师教学工作计划
课程名称形式逻辑任课教师陈大川授课班级05汉本1、2、3、4、5班上交教研组日期09、3、52008——2009学年度下期
说明
一、教学工作计划一般应有以下内容。
1、教学目的要求。
2、选用教材名、编者、版本，教师备课主要参考书节，介绍给学生的阅读参考书目。
3、改革教学方法，提高教学质量的具体措施，如：（1）处理教材，改革教学方法，培养学生自学的基本
考虑。
（2）作业方式、作业量、作业处理方式。（3）成绩考核措施。（4）辅导措施。（5）除通常的讲授课、习题课、实验课、讨论课外，
打算安排哪些其它的教学活动。（6）对学生的其它要求。
（以上三项可按学期编写，也可按课程周期编写）2、教学进度（此项必须按学期填入附表，并向学生公布）。
3、需要提供的教具或其它教学条件。
二、安排专人辅导工作，从事实验室建设，备课，进修的
教师也应制订计划，一般应写明工作、学习的主要任务、目标及落实措施。
三、本计划一式两份，一份自存，一份于开学后第一周内
交教研组审查、补充修改后于第二周内交系。
四、辅导教师的工作计划应由主讲教师指导编写。
五、教师工作计划执行情况每学期应由教研组长做两次
检查记录。
六、教师工作计划一学年归档一次。
教学计划内容：
1、教学目的要求
（1）形式逻辑是研究思维的形式及其规律的科学。作为一门思维科学，它既有认识的作用，
（3）课程教学内容重点为第二、三、四、五、六、十章，教师在完成大纲基本要求的前提
下，对教学内容可以适当调整。
２、选用教材、参考书
教材：形式逻辑华东师大出版社1996、4参考书：
形式逻辑金岳霖主编人民出版社1979、10普通逻辑上海人民出版社1993、4第四版逻辑学新教程中央财大
逻辑学教程何向东主编高教出版社1999逻辑学宋文坚主编人民出版社1998
符号逻辑基础宋文淦北师大出版社1993
西方形式逻辑史宋文坚中国社会科学出版社1991、12、语法修辞讲话吕叔湘朱德熙中国青年出版社1952、12古代汉语王力主编中华书局1999、6古代汉语許嘉璐主编1992年1版古代汉语郭锡良主编1999年版，《古代汉语》高教自考教材现代汉语黄伯荣廖序东主编甘肃人民出版社1983、6
3、教改措施
（1）本课程应坚持理论联系实际的学习原则和方法，要准确地理解和掌握形式逻辑的基
本概念、逻辑规律和逻辑原理，同时，联系学习生活实际，自觉地运用学过的逻辑理论和知识去分析解决实际活动中碰到的各种逻辑问题。
（2）本课程应注意同现代汉语、古代汉语、写作等基础课程相联系，从形式逻辑的角度
提高学生运用语言的能力。本期拟布置2次学生独立书面作业，教师全部批改、评讲。（3）本课程的一些内容比较抽象，教学中应注意重点突出传统逻辑部分，讲述力求例证
生动，在保证科学性的前提下加强趣味性。在引进现代逻辑的同时，注意符号语言与自然语言的沟通，避免上成纯数学课，并根据教时多少调整难度。
期末考试考核本期所学内容。平时作业及课堂提问将作为学生学业成绩的一部分。期末成绩占学期成绩的30%，平时成绩占70%。（4）平时随机辅导与期末复习答疑辅导结合。
教学进度表
教研室审查意见：
教研室主任签名：
2009年月日
执行情况检查记载
第一次:
教研室主任签名
第二次
讲授纲要
第一章绪论
教学要点：
一、逻辑学研究的对象：思维的形式及其规律以及逻辑方法
二、掌握基本概念：自然语言人工语言思维形式逻辑变项和逻辑常项词项、命题、推理演绎推理、归纳推理和类比推理有效性思维的基本规律以及逻辑方法
第一节逻辑学的对象
“逻辑”一词导源于希腊语，英语logic的译音。古希腊“爱菲斯”学派“逻各斯”（logos）学说，有三个含义：
laws：“自然之道”，客观规律。
Logic：“思维之道”，理性、理念。Dialogue：语言、言说。
（古希腊“爱菲斯”学派创始人即Herakleitos，约-540——-480，名言“人不能两次走进同一条河流”。与《礼记·大学》“汤之盘铭曰：苟日新，日日新，又日新”意近）
《管锥编》ｐ９３３：“重涉已异旧水，亦丧故我；我是昔人而非昔人，水是此河而非此河。”
（Youcouldnotstepintothesamerivers,forotherwatersareeverflowingontoyou;Intothesameriverswestepanddonotstep;weareandarenot.Heraclitus.Fragmant.41.84.HippocratesandHeraclitus,”Loeb”.Ⅵ.483.495.）
“逻辑”在现代汉语中有以下含义：1、客观事物发展的规律
2、某种特殊理论、观点或看问题的方法。3、人们思维的规律、规则。
4、研究思维的规律、规则的学问，即逻辑学。一、
思维、语言与逻辑
人对事物的认识分两个阶段：感性阶段（感觉、知觉、表象），理性阶段（概念、命题、推理）。
理性阶段即思维，具概括性、间接性。
思维对客观事物概括而间接的反映，是通过语言实现的。作为思维类型的概
念、命题、推理也须依靠相应的语词（词或词组）、句子（单句或复句）、句群等语言单位才能表达、交流。从思维内容抽象出来的词项、命题、推理等思维形式与语言形式中的语词、句子、句群大体相对应。
语言可以分为自然语言和人工语言。自然语言的弱点是有歧义性和模糊性。人工语言交际功能不及自然语言，但具有精确性。现代逻辑更多地运用了人工语言。
广义的逻辑就是研究思维的形式及其规律以及逻辑方法的科学。二、
逻辑学的对象
（一）思维形式
1、逻辑学研究的对象主要是思维形式。
思维形式就是思维在抽象掉具体内容之后所具有的共同结构，也称为思维的逻辑形式。
例如：
△所有金属都是导体。
△所有商品都是用于交换的劳动产品。
两命题内容迥然有别，但可以抽象出共同的结构：“所有都是”，这就是它们的逻辑形式。如果用S表示指称对象（金属、商品）的词项（subject），用P表示指称属性（导体、用于交换的劳动产品）的词项（predicate），用A表示“所有都是”，这两个命题用人工语言表示就是：“SAP”。又如：
△所有公民都是遵纪守法的，（注意：大前提假）有的人是公民，
所以，有的人是遵纪守法的。
△所有科学都是有价值的，有的理论是科学，
所以，有的理论是有价值的。
两个推理具体内容不同，但结构形式一样。都有三个命题，包含三个不同词项，是“直言三段论”。用M（middleterm）、P、S分别表示三个词项，它们的共同
逻辑形式是：
所有M都是P，有S是M，所以，有S是P。
（人工语言表达是：MAP∧SIMSIP，I表示“有是”）再如：
△如果物体生热，物体就会膨胀。
△如果要维护人类的共同利益，就必须注意保护人类生存的自然环境。两个命题中思维内容不同，但却有相同的逻辑形式：“如果，那么”（人工语言形式是“”）。用p表示前“”，用q表示后“”，则有：“pq”。
2、思维形式的结构
上述逻辑形式中的“S、M、P”以及“p、q”可以代表不同的思维内容，叫做逻辑变项。而“A”（所有都是）、“I”（有是）、“”（如果那么）则不随思维内容而变化，叫做逻辑常项。任何逻辑形式都是由逻辑变项和逻辑常项两部分组成。
逻辑常项体现逻辑形式的本质特征，是思维的逻辑形式的关键，是区分不同种类的逻辑形式的唯一依据。
逻辑学研究的思维形式有词项、命题、推理。词项构成命题，命题构成推理。推理是形式逻辑研究的主体形式。
3、推理概述
（1）推理是从一个或多个已知命题得出一个新命题的思维过程。已知的命题叫前提，据以得出的命题叫结论。前提和结论的联系方式构成推理形式。根据思维进程的方向，推理可以分为演绎推理、归纳推理和类比推理。
思维进程从一般到特殊的推理，即从一般性前提得出个别性的结论的推理就是演绎推理。思维进程从特殊（个别）到一般的推理，即从个别性的前提得出一般性的结论的推理就是归纳推理。思维进程方向是从特殊到特殊或从一般到一般的推理，即从个别性的前提得出个别性的结论的推理就是类比推理。
演绎推理前提蕴含结论，是必然性推理。
归纳推理和类比推理前提结论之间没有必然联系，是或然性推理。（注意：
归纳推理中的“完全归纳”法前提蕴含结论，是必然推理）
（2）有效性和可靠性
演绎推理是研究推理的有效性的。一个经过解释后的逻辑公式，如果没有出现前提真而结论假的情况，则它是有效的。
（注意：形式逻辑研究的推理的有效无效只针对推理的形式。一个推理要保证得到真实的结论，不仅要求推理的形式有效，而且要求推理的已知前提真实，二者缺一不可。逻辑学对具体的前提表达的思想是否真实并不作出认识论的回答，那是其他具体学科的任务。比如前述第一个三段论的例子，就推理形式来说是有效的，但是大前提假，所以结论并不见得可靠。再如：
▲天鹅并不都是白的，所以，有天鹅是黑的。
结论是符合实际，真的。但是，推理形式却是错的，无效的。）
对归纳推理和类比推理而言，主要研究前提对结论的支持强度，可靠性也即从前提得出结论的概率。
（二）思维的基本规律以及逻辑方法
1、同一律、矛盾律和排中律同一律AA矛盾律（A∧A）排中律A∨A2、逻辑方法
明确概念的方法：定义、划分，限制、概括。穆勒五法，科学解释、科学预测、假说等。三、
逻辑的类型
传统逻辑和现代逻辑命题逻辑、词项逻辑
第一节逻辑学的性质、作用及体系
一、
逻辑学的性质
“思维的语法”。着眼于思维的形式结构的有效性。（见上节）逻辑学是一门工具、方法性质的科学，具有全民性。
二、逻辑学的作用、学习方法
1、作用
首先，有助于人们探求新知识。
掌握理论体系、对象语言。理论联系实际，多练多用。三、
逻辑学的体系
标准逻辑：命题逻辑模型论递归论
基本逻辑量词逻辑集合论证明论
非标准逻辑：多值逻辑模态逻辑模糊逻辑直觉主义逻辑相干逻辑
元逻辑：逻辑语法学逻辑语义学逻辑语用学
应用逻辑：认识逻辑问题逻辑规范逻辑时态逻辑量子逻辑电路分析逻辑
第二节逻辑学的研究方法
一、二、
形式化方法和非形式化方法公理化方法和自然演绎法
第三节逻辑学的发展简史
第二章普通逻辑思维的基本规律p200
三个基本规律的内容、逻辑要求、违反时的错误
第一节逻辑思维基本规律概述
逻辑学的历史发展逻辑学的现代概况
一、二、三、
逻辑思维基本规律的普遍性逻辑思维基本规律的确定性逻辑思维基本规律的客观性
第二节同一律
同一律的基本内容
在同一思维过程中，每一思想与其自身是同一的。（词项表达同一词项，命题内容确定）
公式表示为：A是A人工语言：AA二、
同一律的逻辑要求和违反它的逻辑错误
混淆概念或偷换概念转移论题或偷换论题三、
同一律的作用
保证思维的确定性
第三节矛盾律
一、矛盾律的基本内容
在同一思维过程中，互相否定的思想不能同时为真，必有一假。公式表示为：A不是非A人工语言：（A∧A）二、矛盾律的逻辑要求和违反它的逻辑错误自相矛盾三、矛盾律的作用
归谬法
第四节排中律
一、排中律的基本内容
在同一思维过程中，互相矛盾的思想不能同时为假，必有一真。公式表示为：A或非A人工语言：A∨A二、排中律的逻辑要求和违反它的逻辑错误
两不可三、排中律的作用
反证法
第五节逻辑思维基本规律之间的关系p32
一、三条规律之间的联系
都是客观事物的相对确定性在思维中的反映。正确的思维是确定的，而确定的思维必须是自身同一的、无矛盾的和明确的。三条规律即从这三方面规定了正确思维的确定性。
二、三条逻辑思维规律之间的区别从不同方面规定思维的确定性同一律：自身同一
矛盾律：前后一致，无矛盾，不能两可排中律：明确，不能两不可1、适用范围不同
同一律只涉及一个思想自身，矛盾律、排中律则涉及两个思想之间的真假关系。矛盾律和排中律的不同表现在：
第一，基本内容侧重点不同。矛盾律规定不可同真，排中律规定不可同假。第二，适用范围不同。矛盾律适用于矛盾关系和反对关系的思想，排中律适用于
互相矛盾的思想。
第三，逻辑要求不同。矛盾律要求不能“自相矛盾”，排中律要求不能“两不可”。第四，作用不同。矛盾律用于以真推假，间接反驳（独立证明）；排中律用于以
假推真，间接证明（反证法）。
△Euathlus与Protagras同一律：法庭合同矛盾律：付，不付
排中律：就两人而言，付与不付都否定了。
二难推理简单构成式：（AC）∧（BC）∧（A∨B）C
此问题可另构二难推理：如客观原因不能做律师，这是情势变更，应废止合同，同时给对方补偿；如故意不履行合同，则是涉嫌诈骗，应废止合同，同时赔偿对方。不论两种情况中哪一种，都应付费。
△战国策·秦策二：秦宣太后爱魏丑夫。太后病将死，出令曰：“为我葬，必以魏子为殉。”魏子患之。庸芮为魏子说太后曰：“以死者为有知乎？”太后曰：“无知也。”曰：“若太后之神灵，明知死者之无知矣，何为空以生所爱，葬于无知之死人哉！若死者有知，先王积怒之日久矣，太后救过不赡，何暇乃私魏丑夫乎？”太后曰：“善。”乃止。
第三章复合命题及其推理
教学要点：一、掌握基本概念
命题真值真值变元复合命题联结词否定词合取词析取词蕴涵词等值词支命题辖域真值表
二、否定式、合取式、析取式、蕴涵式、等值式的逻辑性质，命题形式，真值表三、否定式、合取式、析取式、蕴涵式、等值式的正确推理形式
四、复合命题的判定单个命题：重言式矛盾式，几个命题：等值，矛盾，可
满足。判定方法：真值表法归谬赋值法
第一节命题逻辑概述
一、命题、语句和判断
1、什么是命题（proposition）命题是反映事物情况的思想。
真和假是命题最基本的性质。逻辑学把真和假称为命题的真值。所有真命题都有真值真（truth），所有假命题都有真值假（falsity）。二值原则。2、命题和语句
首先，任何命题都必须用语句才能表达出来。但只有陈述句直接表达命题。其次，同一命题可以用不同语句表达。
△①他们爱得很深，并且结婚了。并列复句
②他们结婚了，并且爱得很深。也是并列复句，但与前句有细微差异
③他们先爱得很深，后来结婚了。连贯复句④他们不但爱得很深，并且结婚了。递进复句⑤他们虽然结婚了，但仍爱得很深。转折复句）再次，同一语句可以表达不同的命题。3、命题和判断
判断是被断定者断定了的命题。本书一般只讨论命题。
二、复合命题推理概述
推理是命题之间的一种关系，推理形式是命题形式之间的关系。
复合命题是由若干命题用联结词结合而成的命题。构成复合命题的命题，称为复合命题的支命题。
（注意：构成复合命题的支命题可以只有一个，如在负命题中。复合命题也可以定义为“含其它命题的命题”）
逻辑学所说的联结词是对复合句中联结词的逻辑抽象，它们只表达语句联结词的逻辑内容而舍弃了其它丰富的含义。
比如：逻辑中的合取词只表示多种情况同时存在，它舍弃了语言中的递进、连贯、转折等关系。
逻辑学只研究联结词的逻辑性质，这种性质是由而且只是由支命题的真假与复合命题的真假之间的联系决定的。（支命题的真假决定复合命题的真假，反之，复合命题的真假确定后，支命题的真假也就相对确定了）
支命题的真假与复合命题的真假之间具有函数关系。因此把支命题称为复合命题的命题变元，一般用小写拉丁字母表示。由于逻辑学中命题变元只取真、假二值，因此也称为真值变元。复合命题也称为真值形式（真值函项），逻辑联结词实质上就是在真值（T，F）集合上的不同的真值运算。
第二节常见的复合命题及其推理一、负命题及其推理p42
1、负命题是否定一个命题而形成的复合命题。
2、负命题的形式是：并非p人工语言：p（，“否定词”，读为“并非”）3、负命题的逻辑性质是：它的真假与被否定的命题的真假是相反的。4、的真值表（以列表方式表示复合命题真值运算的表格）：
P与p既不可同真，也不可同假。这就是逻辑上的矛盾关系。根据的逻辑性质，对p再否定可得p，据真值表，可见与p同。
两个命题形式的真值相同，逻辑学上叫做等值关系，以表示，p与p的关系表示为：pp
一般以大写拉丁字母A、B、C等表示内部更复杂结构的具体公式，对任何公式A，有如下等值关系：AA
5、负命题的推理
（1）双重否定引入规则：AA（读为“重言蕴涵”，表示“有效的”推理形式。回忆“有效的”）
（2）双重否定消去规则：AA二、联言命题及其推理p44
1、联言命题是由命题联结词“并且”联结若干命题而形成的复合命题。又称合取命题。其支命题称合取支。
2、合取命题的形式是：p并且q。人工语言：p∧q（∧称为合取词，读为“并且”。p、q分别称为∧的左、右辖域）
3、合取命题的逻辑性质是：合取命题为真，它的所有合取支为真，反之，所有合取支为真，该合取命题为真。4、合取词∧的真值表：
从表中可以看出，n元真值函数变元的真值组合共有2种。P75
（补充：真值表变元真值指派组合顺序：为防止遗漏或重复，一般规定，对于一个n元真值表，其第一行诸变元均指派为T，第一变元每隔2n-1行变动
一次，第二变元每隔2n-2行变动一次，，第ｉ个变元每隔２
ｎ－ｉ
行变动一
次。最后一个变元（第ｎ个）每隔１行（２ｎ－ｎ）变动一次，）5、合取式的推理
（1）合取引入规则：A，BA∧B
（2）合取消去规则：A∧BA，A∧BB
三、选言命题及其推理
选言命题是用命题联结词“或者”、“要么”联结若干命题而形成的复合命题。又称析取命题，其支命题称选言支（析取支）。
根据选言支是否相容分为相容选言命题和不相容选言命题。
（一）相容选言命题及其推理p46
1、相容选言命题的形式是：p或者q人工语言：p∨q
2、相容选言命题的逻辑性质是：相容选言命题为真，其选言支至少有一个为真；反之，选言命题有一个选言支为真，该选言命题为真。3、析取词∨的真值表：
4（1）析取消去规则：（A∨B）∧AB，（A∨B）∧BA。注意：使用析取消去规则时，须否定除一个以外的选言支，才能肯定剩下的那个选言支。这在选言支是三个以上时尤须注意。
（2）析取引入规则：A（A∨B），B（A∨B）。德·摩根律：（p∧q）p∨q，（p∨q）p∧q可以结合以上三种命题的性质、真值表理解。（二）不相容选言命题及其推理
1、不相容选言命题的形式是：要么p要么q。（二者不可得兼）为了准确表示，人工语言是：（p∨q）∧（p∧q）△鱼，我所欲也，熊掌，亦我所欲也，二者不可得兼。
△公子吕曰：“国不堪贰，君将若之何？欲与大叔，臣请事之；若弗与，则请除之。无生
民心。
3、不相容选言命题的逻辑性质是：不相容选言命题为真，当且仅当其选言支有且仅有一个为真。4、不相容选言命题的真值表：
5析取消去规则：（AB）∧AB，（AB）∧BA。
（AB）∧AB，（AB）∧BA。
注意：使用析取消去规则下两式（否定肯定式）时，须否定除一个以外的选言支，才能肯定剩下的那个选言支。这在选言支是三个以上时尤须注意。
（不相容选言命题使用结合律时p49，真值表会出现不直观现象（悖论），有人认为此式并非二元运算。）
归约率p49，T、F命题常元，分别表示常真命题和常假命题。四、
假言命题及其推理
假言命题是由“如果，那么”、“只有，才”、“当且仅当”等联结词联结两个支命题而形成的复合命题。根据联结词的不同，分为充分条件假言命题、必要条件假言命题和充分必要条件假言命题。
假言命题中，由“如果”、“只有”引出的支命题称为前件，由“那么”、“才”引出的支命题称为后件。
（一）充分条件假言命题及其推理p50
1、充分条件假言命题的形式是：如果p，那么q。人工语言是：pq。称为蕴涵词。
2、充分条件假言命题的逻辑性质是：除了前件真而后件假时充分条件假言命题是假的之外，其他情况下，充分条件假言命题都是真的。（此性质很重要，不但是判定充分条件假言命题真假的依据，而且是归谬法应用的依据）
pq（p∧q），pqp∨q（蕴析律）3、充分条件假言命题的真值表：
（pq）p∧q
4、充分条件假言推理p54（1）蕴涵消去规则：（AB）∧AB（2）否定后件规则：（AB）∧BA
（二）必要条件假言命题及其推理p50
1、必要条件假言命题的形式是：只有p，才q。人工语言是：pq。称为反蕴涵词。
2、必要条件假言命题的逻辑性质是：除了前件假而后件真时必要条件假言命题是假的之外，其他情况下，必要条件假言命题都是真的。
pq（p∧q）3、必要条件假言命题的真值表：
（pq）p∧q4、必要条件假言推理p54
（1）否定前件规则：（AB）∧AB（2）肯定后件规则：（AB）∧BA由否定前件规则可知：pqpq由肯定后件规则可知：pqqp
p53可以进行充分条件和必要条件假言命题的转换（从真值表上看两种命题假的对应，因为两种命题都只有一种真值指派组合时假，其余三种都为真）。
（三）充分必要条件假言命题及其推理p53
1、充分必要条件假言命题的形式是：p当且仅当q。人工语言是：pq。称为等值词。
2、充分必要条件假言命题的逻辑性质是：前件后件同真假时，充分必要条件假言命题都是真的，前件后件不同真假时，充分必要条件假言命题是假的。3、充分必要条件假言命题的真值表：
4、充分必要条件假言推理p55
（1）等值引入规则：（AB）∧（BA）AB（2）等值消去规则：ABAB，ABBA
第三节命题逻辑的自然演绎系统（略）
第四节命题有效性的判定
一、重言式（庄子·寓言：寓言十九，重言十七，卮言日出。注：世之所重，则十言而七
见信。释文：谓为人所重者之言也。一说，借重先哲之言。不读chong：反复言；口吃；叠字。）p73
前述命题逻辑联结词可以归结为5个：、∧、∨、、。它们表示的是在真和假域值上的函数运算。由它们构成的命题形式，在穷尽变元真值指派组合的情况下，以能否真为标准，可以分为可满足式和不可满足式（也称为恒假式或矛盾式）；在可满足式中，以是否恒真为标准，可以再分成重言式（永真式）和协调式（可假）。
二、具有相同变元的多个命题的关系
1、两个以上的命题，穷尽变元的真值指派组合，每一种组合都令这两个以
上的命题真值赋值一致（同真假），则这些命题是等值的。比如：pq，（p∧q），p∨q这三个具有相同变元的命题。
2、两个命题，穷尽变元的真值指派组合，每一种组合都令这两个命题真值
赋值相反（不同真假），则这两命题是矛盾的。比如：pq与p∧q。
（注意：不要混淆矛盾式与两个命题是矛盾的）
三、判定方法
1、生成合式公式的结构p58
生成合式公式的辖域最大的联结词（表示最后一步运算）称为主联结词，该合式公式p57称为“某某式”。为简化运算公式，规定：（1）公式最外层的括号可以省略。
（2）联结词的结合力依以下次序递减：、∧、∨、、。
比如：（（（p∨q）∧（P））q），主联结词为，该式为蕴涵式。根据以上规则可简化为：（p∨q）∧Pq。剩下的括号不能省略，否则将先算∧，后算∨。2、真值表法p76步骤：
（1）从表左起列出命题全部变元。
（2）从小到大（运算先后顺序）依次列出支命题。最后一栏为该合式公式。（3）对变元作真值指派并穷尽组合。
（4）根据真值联结词的性质，从小到大算出支命题及该合式公式的真值赋值。（5）根据真值赋值情况，判定一个命题是重言式或者矛盾式或者协调式。对照
多个命题的真值赋值情况，判定多个命题是否等值，两个命题是否矛盾。3、归谬赋值法p78（又称成假指派法）
适用于判定蕴涵式或能转换为蕴涵式的等值式和析取式。（由于n元真值函数变元的真值组合共有2种，当变元数超过两个时，真值表会很繁复，比如：（p∨q∨r）∧（q∧r）p。所以此法又称“简化真值表法”）
思路为：复合命题的真值确定后，其支命题的真值也相应确定。如一蕴涵式AB为重言式，则其中变元无论有何真值指派，前件A真而后件B假的情况均不可能出现。如果令前件A真后件B假，则变元的真值指派必然出现逻辑矛盾（同一变元在同一轮真值指派时既真又假）。在排除了前件A真而后件B假的情况后，前后件在其他真值指派组合时该蕴涵式都只能是真的，即该蕴涵式是重言式。步骤：
（1）设假。假定该蕴涵式为假（在下记F，在前件主联结词下记T，在后件
主联结词下记F）
（2）计算。根据不同真值联结词的性质，从大到小依次算出公式中各部分的真值，直至每个变元的真值（如有多于一种真值指派，应穷尽）。
（3）检查。是否有至少一个变元赋值既真又假（如有多于一种真值指派，则每一种真值指派都应出现矛盾。比如：pqp∧q，当p真，q假时，会出现矛盾，而其他真值指派则不会出现矛盾），如是，则该式为重言式。反之，只要有一种真值指派不出现矛盾，则该式不是重言式。练习p81
第四章传统词项逻辑
要点：
词项外延之间的关系，明确词项的方法。直言命题的直接推理。三段论有效式的证明。
第一节传统词项逻辑概述
一、简单命题
简单命题是不包含其他命题的命题，其变项为词项。（复合命题的变项是命题）命题反映的事物情况是具有或不具有某种性质，叫做性质命题（直言命题）；命题反映的事物情况是事物之间具有或不具有某种关系，叫做关系命题。二、传统词项逻辑与现代谓词逻辑
1、传统逻辑分析性质命题的内部结构为主项、谓项、量项和联项，根据量项和联项这两种逻辑常项的不同，把性质命题分为不同的种类，然后讨论主、谓项这两种逻辑变项的周延性及相应命题的逻辑关系，构建了对当关系推理、变形推理和三段论推理等理论体系。简单直观，易于掌握。
2、现代逻辑谓词逻辑，将简单命题分析为个体词、谓词和量词，克服了传统逻辑的局限。
第二节词项
一、词项的定义及特征
1、什么是词项
在传统逻辑中，凡是能充当性质命题主项或谓项的词或词组，都称为词项。词项是对语词的逻辑抽象，表达语词的逻辑内容。（词项舍弃了语词中的情感、语气等非逻辑意义，词项是意义确定了的语词。）2、词项的内涵和外延
正如命题具有逻辑特征真、假，词项的逻辑特征是词项具有内涵和外延。词项的外延是词项指称的一个或一类事物，这类事物的每一个分子都属于这个词项的外延。
词项的内涵就是词项表达的概念。概念是反映一类事物特有属性的思维形态。（事物的性质、与他事物的关系统称属性，一事物区别于他事物的属性即其特有属性）
3、词项、语词和概念
任何概念都必须通过语词表达，而有的语词并不表达概念（比如虚词）。语词与概念不是一一对应的（一对一，一对多，多对一）。
词项、语词和概念分别是逻辑学、语言学和哲学、心理学研究的对象。二、词项的种类
1、单独词项、普遍词项和空词项
分类标准是词项指称的事物的外延的数量。
单独词项也称个体词项，包括专名、摹状词和某些名词。（专名的外延是一个独一无二的事物；摹状词是通过描述事物的特有属性来指称事物的，其外延是一个单元集）
普遍词项是外延不止一个事物的词项，其外延是一个多元集。空词项是无所指称，没有外延的词项。其外延是空集。传统逻辑中讨论的词项都是非空的。2、集体词项和非集体词项
分类标准是词项指称的是群体还是群体中的任何个体
集体词项是指称群体的词项，其外延是以群体（集合）作为元素的集合（集合的集合）。
非集体词项是指称群体中任何个体的词项，其外延是这些个体（分子）构成
的集合。
以上四种词项的辨析要注意依托语言环境。3、正词项和负词项
分类标准是词项指称的是某类事物，还是某类事物以外的事物。正词项也称肯定词项，其内涵为正概念。指称具有某种特有属性的事物。负词项也称否定词项，其内涵为负概念。指称具有某种特有属性的事物以外的事物。从形式上看，负词项一般带有否定词“不”、“非”、“无”等。三、词项外延间的关系
欧拉图（Euler1707-1783，瑞士数学家）
设“S”、“P”表示两个词项，S和P表示它们的外延，两个圆分别表示集合S和集合P，圆内的每一点表示该集合的元素。
普遍词项外延间的关系有且只有以下五种：1、全同关系p22
所有S是P，并且所有P是S。记为：S=P，“S”与“P”全同。
具有全同关系的两个词项，它们的外延相同而内涵不同。2、真包含于关系p24
所有S是P，并且有P不是S。记为：SP，“S”真包含于“P”（S是P的真子集）。
全同关系和真包含于关系合称包含关系，记为：SP。3、真包含关系
所有P是S，并且有S不是P。记为：PS，“S”真包含“P”。
真包含于关系和真包含关系统称属种关系。属种关系中，外延较大的词项称为属词项，外延较小的词项称为种词项。属种关系是相对的。
4、交叉关系
有S是P，有S不是P，并且有P不是S。记为：S∩P≠，“S”与“P”有交叉关系（S与P的交不为空集）。
以上四种关系统称为相容关系。5、全异关系p25
所有S都不是P，记为：S∩P=，“S”与“P”有全异关系（S与P的交为空集）。
全异关系的两个词项，对于它们共同的属概念（论域“I”yota），还可以分为矛盾关系和反对关系，统称不相容关系。
矛盾关系：S∩P=，且S∪P=I。（P为S的补）
△王元泽（雱）数岁时，客有以一獐一鹿同笼以问雱：“何者是獐？何者为鹿？”雱实未识，良久对曰：“獐边者是鹿，鹿边者是獐。”客大奇之。——《梦溪笔谈》
反对关系：S∩P=，且S∪PI。（S与P的并是I的真子集）
一个词项的反对词项真包含于其矛盾词项中。比如“大学生”的反对词项“中学生”真包含于其矛盾词项“非大学生”中。四、明确词项的逻辑方法
所谓明确词项，就是明确普遍词项的内涵和外延，确定它的含义。
1、限制和概括p29
属种关系的词项的内涵和外延具有一种反变关系，一个词项的内涵越多，外延就越小；外延越大，内涵就越少。
增加一个词项的内涵以缩小其外延，从而过渡到外延较小的词项，称为限制。减少一个词项的内涵以扩大其外延，从而过渡到外延较大的词项，称为概括。
△《孔子家语》卷二：楚王出游，亡弓。左右请求之。王曰：“止！楚人失弓，
楚人得之，又何求之”孔子闻之曰：“惜乎其不大也！不曰人遗弓人得之而己，何必楚也。”
限制和概括可以连续进行，一般地讲，限制的极限是单独词项；概括的极限是论域。通过限制或概括形成的词项之间的关系如果不是属种关系，那么这种限制或概括就是错误的。（注意：集体词项中的部分不具有整体的属性，与整体不是属种关系，检查方法：S是P？）限制和概括可以通过增加或减少语词的办法进行，也可以不。如果增加语词而词项外延并未缩小，则只是修饰。
2、划分p38
（1）什么是划分
划分就是把一个词项的外延（集合），按照一定的标准，分为若干小类（真子集）的明确词项外延的逻辑方法。
被划分的类（集合）称为母项，划分所得的若干小类（真子集）称为子项，划分所依据的属性称为划分的标准。（2）划分的种类
一次划分，连续划分，复分（按不同标准，把同一母项分为若干子项。注意，不是同一次划分），二分法。（3）划分的规则
规则一：同一次划分的结果，子项之间不应相容。错误：子项相容
规则二：各子项外延之和必须等于母项的外延。错误：划分不全，多出子项规则三：每次划分必须使用统一划分标准。错误：混淆标准
反对关系）
3、定义p32
（1）什么是定义
定义就使用简单明确的方式来揭示词项所指称的事物的特有属性或词项本身的含义或所指的明确词项内涵的逻辑方法。
被定义项，定义项，定义联项（是，就是，当且仅当，如果则）。（2）定义的种类
①内涵定义：揭示词项所指称的事物的特有属性或词项本身的含义的定义。a实质定义属加种差定义定义规则：
规则一：被定义项的外延和定义项的外延必须是全同关系。错误：定义过宽、定义过窄。p269
规则二：定义项中不得直接或间接包含被定义项。错误：同语反复、循环定义。规则三：定义项中不得有含混的词语，不能用比喻。规则四：除非必要，定义项中不得包含负词项。
b操作定义c语境定义②外延定义实指定义和列举定义③语词定义a说明的语词定义。b规定的语词定义。
第三节直言命题概述
一、直言命题的结构p56
直言命题是以主谓式语句表达的命题。
直言命题是由主项、谓项、量项和联项构成。量项+主项+联项+谓项联项又称为直言命题的质，分为肯定联项和否定联项。
量项分为单称量项（主项为单独词项）、全称量项（断定普遍词项主项的全部外延，汉语自然语言中可以省略）和特称量项（又称存在量项，断定普遍词项主项的至少一个外延，自然语言最好用“有”）。二、直言命题的种类p57
直言命题的量项和联项是逻辑常项。S和P称为词项变项。根据逻辑常项的不同，直言命题分为六种：1、单称肯定命题，形式为“这个S是P”。2、单称否定命题，形式为“这个S不是P”。3、全称肯定命题，形式为“SAP”，所有S是P。4、全称否定命题，形式为“SEP”，所有S不是P。5、特称肯定命题，形式为“SIP”，有S是P。6、特称否定命题，形式为“SOP”，有S不是P。
单称命题传统归入全称命题研究，但性质有不同，见对当关系。拉丁文affirmonego
三、直言命题形式的文恩图表示略
四、直言命题主、谓项的周延性p62
如果一个直言命题断定了主项或谓项的全部外延，则称其主项或谓项是周延的，否则，就称为不周延的。
AEIO四种命题主谓项的周延性（重要，三段论、变形推理的基础。可依托“对当关系”图理解）
全称命题主项周延，特称命题主项不周延。否定命题谓项周延，肯定命题谓项不周延。E命题主谓项都周延，I命题主谓项都不周延。(全称命题主项周延，否定命题谓项周延)
第四节直言命题的直接推理
直言命题的对当关系推理p64
素材S、P相同的A、E、I、O四种命题之间的真假制约关系，逻辑上称对当关系。
A与O，E与I之间，不可同真假。（AO，E
I）
AO、AO、OA、OA；EI、EI、IE、IE。2、反对关系
A与E之间，不可同真，可同假。AE、EA。
3、差等关系
A与I，E与O之间，A/E真，则I/O真；I/O假，则A/E假。（重言蕴含关系）AI，IA；EO，OE。4、下反对关系
I与O之间，可同真，不可同假。IO，OI。对当矩阵：
二、
直言命题的变形推理p69
1、换质法
改变一个直言命题的`质，从而推出另一个直言命题的推理。规则：（1）改变命题的质，肯定换否定，否定换肯定。
（2）谓项改为原来词项的负词项。换质法前提结论之间总是重言等值关系。2、换位法
通过交换直言命题主谓项的位置，从而推出另一个直言命题的推理。
规则：（1）只改变主谓项位置，不改变命题的质。
（2）在前提中不周延的项，在结论中不得周延。（SOP不能换位！）简单换位，前提结论之间是重言等值关系。SEPPES，SIPPIS
限制（量）换位，前提结论之间是重言蕴含关系。SAPPIS3、换质换位法
换质法和换位法的结合。分为先换质和先换位（可以换位的前提下）。换质法和换位法还可以同对当关系推理结合：
比如：一个有效的换质位推理的结论是PES，其前提是（）。①所有S都是非P②所有S都是P③所有非S都是P④所有非S都是非P
第五节三段论
三段论的定义p79
1、三段论是由包含一个共同项的两个直言命题推出一个直言命题的推理。2、三段论的推理形式是固定的，表现为：
（1）任何一个三段论由而且只由三个直言命构成；（2）任何一个三段论由而且只由三个项构成；（3）每两个直言命题有而且只有一个项是相同的。
结论的主项称为小项（minorterm）S,结论的谓项称为大项（majorterm）P,两个前提中包含的那个共同项称为中项（middleterm）M。包含大项的前提称为大前提，包含小项的前提称为小前提。竖式写法大前提在上。3、三段论的格和式
根据中项M在前提中的不同位置，三段论分为四个格：
三段论三个命题不同的质和量的组合称为三段论的式，如：第一格AAA式。二、判定三段论式有效性的方法集合表达式法，文恩图法三、三段论的规则p80
1、三段论公理：一类对象的全部是/不是什么，这类对象的部分也是/不是什么。
，
2、三段论的规则
。
规则1：中项在前提中至少周延一次。错误：中项M不周延。
规则2：在前提中不周延的项，在结论中不得周延。错误：大项P、小项S扩大。规则3：前提与结论中否定命题的数目必须相同。（两个否定前提不能得出结论。
前提之一是否定的，结论也是否定的；结论是否定的，前提之一必定是否定的。）错误：双否定前提
判定三段论形式是否正确的一般步骤：
第一步：前提和结论的否定数是否相同。（简记为：否定平衡）第二步：中项是否至少周延一次。（简记为：中项周延）第三步：是否有大项或小项扩大。（简记为：结论不扩大）四、三段论的导出规则p85
任何有效三段论式都须遵守以下导出规则：
1、两个前提不能都是特称的。错误：双特称。2、如果前提之一是特称的，结论就是特称的。3、如果大前提是特称的，那么小前提不是否定的。
不同格有效三段论式的导出规则：第一格：1、小前提是肯定的；
2、大前提是全称的。
第二格：1、前提中必有一个是否定的；2、大前提是全称的；3、结论是否定的。第三格：1、小前提是肯定的；
2、结论是特称的；
3、至少有一个前提是全称的。
第四格：1：如果有一个前提是否定的，那么大前提是全称的；2、如果大前提是肯定的，那么小前提是全称的；3、如果小前提是肯定的，那么结论是特称的；
4、前提不能是特称否定的；5、结论不能是全称肯定的。
练习p111
第六章模态逻辑第一节模态逻辑概述p145
1、关于模态
所谓模态是指事物或认识的必然性和可能性等这类性质。狭义模态可以看作关于真的性质的模态，即必然真、可能真等等。2、命题的模态形式
命题常项：必然，；可能，。模态对当方阵：
第二节规范模态逻辑p153
1、规范模态逻辑的定义
含道义概念必须、允许、禁止，并把它们作为逻辑常项的命题称道义命题，又称规范命题。2、类型
必须命题O（ought），允许命题P(permit)、禁止命题F(ferbid)。（因为“必须p”等值于“禁止非p”，“必须非p”等值于“禁止p”，故归结为四种：Op，Op；Pp，Pp。）3、对当关系
习题
一、填空
1、词项的主要逻辑特征是有（）、（）。
2、命题的基本的逻辑特征是，对思维对象总是（）或（）；任何命题都是（）。
3、“大学生”的邻近属词项是（），种词项可以是（），矛盾关系的词项是（），反对关系的词项是（）。
4、“词项S与P交叉”的逻辑形式人工语言表述是（）。
5、“不入虎穴，焉得虎子”中，“入虎穴”是“得虎子”的（）条件。
6、“只有通过考试，才能录取”，转换为等值的充分条件假言命题是（）。
7、直言命题换质法要求改变原命题的质后，谓项改为原来词项的（）。
8、不能采用换位法推理的直言命题是（）。
9、与“并非所有S是P”等值的直言命题是（）。
二、单项选择，从每小题的几个备选答案中，选出一个正确答案，并将其号码填入题干的括
号内。
1、思维的逻辑形式之间的区别，取决于（）。
①思维的内容②逻辑常项③变项④语言表达形式
2、“所有S是P”与“有的S不是P”（）。
①逻辑常项相同但变项不同②逻辑常项不同但变项相同③逻辑常项与变项均相同④逻辑常项与变项均不同
3、如果（），那么有的a是b，并且有的a不是b。
①a与b全异②a与b同一③a与b交叉④a真包含于b
4、“学生考试成绩分为优、良、中、及格、不及格”和“学生补考成绩分为及格和不及格”这两个命题中，“及格”和“不及格”两个词项之间（）。
①都是矛盾关系②都是反对关系③在前一命题中是矛盾关系，在后一命题中是反对关系④在前一命题中是反对关系，在后一命题中是矛盾关系
5、“中国人是不怕死的，奈何以死惧之”中的“中国人”这一词项属于（）。①集体词项②非集体词项③普遍词项④负词项
6、如果A是划分的母项，则根据划分规则，A不可以是（）。
①单独词项②普遍词项③正词项④负词项
7、划分后各子项外延之和大于母项外延，就会犯（）的错误。
①划分不全②多出子项③混淆根据④子项相容
8、在S与P可能具有的五种外延关系中，下列命题形式真假情况为三真二假的是（）。①SAP②SEP③SIP④SOP
9、一个有效三段论的大项在前提中周延而在结论中不周延，该三段论是（）。①第一格AAA式②第二格AEE式③第三格AAI式④第四格AAI式
10、前提与结论之间有蕴涵关系的推理叫做（）。
①或然性推理②演绎推理③归纳推理④类比推理
11、已知“1班有同学不是党员”，可必然推出（）。
①1班有同学是党员②有些党员是1班同学③有些非党员是1班同学④有些非党员不是1班同学
12、要使一个充分条件假言命题取真值真，则须（）。
①前件真后件假②前件假③后件假④前件真
13、一个有效的换质位推理的结论是PES，其前提是（）。
①所有S都是非P②所有S都是P③所有非S都是P④所有非S都是非P
14、复合命题的真假取决于（）。
①肢命题的内容②复合命题的结构③肢命题的真假④逻辑联项
15、如果“假如某甲掌握了两门外语，那么他精通逻辑”为假，那么（）为真。①某甲没有掌握两门外语，但精通逻辑②某甲掌握了两门外语，但不精通逻辑③某甲掌握了两门外语，并且精通逻辑④某甲没有掌握两门外语，也不精通逻辑
16、以“A并且B”和“非B或者C”为前提进行演绎推理，可以得出的结论是（）。①A并且非B②B并且非C③B并且C④A并且非C
17、以下命题形式中与“如果p那么q”具有等值关系的是（）。①p并且q②非p，并且q③p或者q④非p，或者q
18、“如果张廷是1班学生，那么张廷不是2班学生”与“张廷不是1班学生，又不是2班学生”这两个命题在真假值方面（）。
①可同真，可同假②可同真，不同假③不同真，可同假④不同真，不同假
19、以下命题形式中与“p或者q”相矛盾的是（）。
①非p或者非q②如果非p，那么q③非p并且非q④只有p才q
20、根据形式逻辑基本规律的（），如果SIP为真，则SEP为假。①同一律②矛盾律③排中律
21、以下公式为矛盾式的是（）。
①p∨q←→q∨p②（p→q）→（q→p）③（p→q）→p∧q④p∧（q∧q）
三、多项选择，在每小题的几个备选答案中，选出若干正确答案，并将其号码分别填在题干的括号内，多选、少选、错选均无分。
1、当命题“小张、小李都考了满分”假时，小张、小李的情况可能是（）。①小张、小李都考了满分②小张考了满分，小李没有③小李考了满分，小张没有
④小张、小李都没有考满分
2、a、“凡S都是P→凡P都不是S”，b、“有P不是S→有S不是非P”这两个推理（）。①都有效②都无效③a有效，b无效④a无效，b有效⑤并非都有效⑥并非都无效
3、以“所有A不是B，所有B都是C”为前提推理，其正确结论是（）。①所有A是C②并非所有C是A③有A不是C④有C不是A⑤所有A不是C
4、当“只有他来了我才走”真时，二人的情况可能是（）。
①他来了并且我走②他来了并且我没有走③他没有来我还是走了④他没有来我也没走
5、当p←→q假时，p、q的真假情况是（）。
①p真q真②p真q假③p假q真④p假q假
6、“A真包含B，A与C交叉”，则B与C的外延关系可能是（）。①全同②真包含于③真包含④交叉⑤全异
7、当“今天可能下雨”假时，以下必定真的是（）。
①今天可能不下雨②今天必然下雨③今天必然不下雨④并非今天必然下雨
8、当“并非所有S都是P”时，S与P的外延可能有的关系是（）。①全同②真包含于③真包含④交叉⑤全异
9、以“(p→q)→(p∨q)”为一个前提，再加上（）作另一个前提，可必然推出“（p→q）”。
①p→q②（p∨q）③p∧q④p←q⑤p∨q
10、已知“如果甲会游泳，那么乙会武术”为假，则（）为真。
①甲或乙会游泳②甲或乙不会武术③甲会游泳并且乙会武术④甲不会游泳并且乙不会武术⑤只有甲会游泳，乙才会武术
四、判断以下有无逻辑错误（无错在题号前括号内打∨，有错的打×）如有错简要说明原因。（）1、天文学就是研究我们地球所在的太阳系的科学。
（）2、句子可以分为单句、复句、陈述句、感叹句、祈使句、疑问句。
（）3、“乐山师院”可以概括为“高等院校”，限制为“乐山师院中文系”。（）4、“本班有同学过了英语四级”，所以，“本班有同学没有过英语四级”。（）5、海豚不是鱼，海狮不是海豚，所以，海狮不是鱼。
五、Euler图解（p109六题p110九题）
1、“所有A不是B”，“有C是B”并且“有B不是C”。用Euler图表示词项A、B、C的外
延可能有的各种关系。
2、中国是个亚洲国家，正在努力成为发达国家。用Euler图表示下划线词项间的关系。
六、证明题
运用三段论的一般规则证明：p87-88一至四格的特殊规则。P109八题。
七、用真值表法解题（可以用“归谬赋值法”）
1、“非p或者q”与“如果p那么q”在逻辑形式上是否等值？
2、以下公式是否“重言式”？
①（q→r）→(p∨q→p∨r)
②（A→（A→B））→（A→B）
③（p→q）→p∧q
④（A→（B∨C））→（A→B）∧（A→C）
八、下列推理是否正确（1-4），为什么？
1、或者“全班同学都过了英语四级”为假，或者“全班同学都没有过英语四级”为假；“全班同学都没有过英语四级”为假，所以，“全班同学都过了英语四级”为真。
2、如果“并非所有天鹅都是白色的”真，那么“有天鹅是黑色的”必然真。
3、“有S是P”，“有S不是P”，“有P不是S”一真二假，所以，“S与P全同”。
4、编号为1、2、3的三个运动员分获了比赛的一、二、三名，巧合的是，他们的名次与号码都不一致。得第一的运动员首先发现这个巧合，接着2号运动员也发现了。所以，1号运动员得了第二。
6、已知：①如果甲、乙都参加运动会，则丙不参加运动会。
②只有乙参加运动会，丁才参加运动会。
③甲、丙都参加了运动会。
问：乙、丁是否参加了运动会？为什么？
7、A、B、C、D争乒乓单打冠军，以下三种说法，有且仅有一种正确。问：谁得冠军？写出推导过程。
①冠军或是A或是B。
②如果冠军不是C，那么也不是D。
③冠军不是A。
8、设下面三句话只有一句假，问：甲班班长是否懂计算机？
①甲班所有学生都懂计算机。
②甲班小李懂计算机。
③甲班所有学生都不懂计算机。
9、A、B、C三人分别在看书、练听力和写信，已知：如果A不在练听力，那么C就在写信；C并非在写信。问：A、B、C三人各在干什么？写出推理过程。