下载文档原格式
《逻辑学基础教程》练习题参考答案第一章绪论一、填空题1．逻辑学研究思维是暂时撇开（具体内容）,专门研究（形式).2．任何一种逻辑形式都是由两部分构成的，即（逻辑常项)和(变项）。
3．逻辑常项是指逻辑形式中（不变）的部分，变项是指逻辑形式中（可变）的部分。
判别逻辑形式的类型的唯一依据是(逻辑常项）.4．形式逻辑研究的对象及其特点决定形式逻辑是一门(工具）性学科，它是没有（民族、阶级）性的.二、单项选择题1．思维的逻辑形式之间的区别，取决于(B）A．思维的内容B．逻辑常项C．逻辑变项D．语言表达形式2．“所有S是P”与“有的S不是P”，(B)A．逻辑常项相同但变项不同B．逻辑常项不同但变项相同C．逻辑常项与变项均相同D．逻辑常项与变项均不同3．“任何改革者不是思想僵化的，有些干部是改革者，所以有些干部不是思想僵化的”。
此推理的逻辑形式是（B)A．所有M不是P，S是M，所以S不是PB．所有M不是P,有些S是M，所以有些S不是PC．有些M不是P，有些S是M,所以S不是PD．M是P,S不是M,所以S不是P三、指出下列各段文字中个“逻辑"一词的含义1．“虽说马克思没有留下‘逻辑’（大写字母的），但他遗留下《资本论》的‘逻辑'……”答：前一个“逻辑”是指逻辑学，即研究思维形式及其规律的科学.后一个“逻辑”是指某种理论观点。
2．写文章要讲逻辑.答：思维的规律和规则.3．跨过战争的艰难路程之后，胜利的坦途就到来了,这是战争的自然逻辑。
答：客观事物发展的规律。
4．艾奇逊当面撒谎，将侵略写成了“友谊”……美国老爷的逻辑，就是这样.答：表示某种特殊的立场观点或论证方法四、下列各组命题是否具有相同的命题形式？为什么?1．“有些唯物主义是马克思主义者”与“有些唯物主义者是先验论者”。
答：具有.它们的命题形式都是“有的S是P"。
2．“如果甲是三好学生，那么甲会按时到校”与“只有甲是三好学生，甲才会按时到校”。
逻辑学第二版教学大纲课程介绍逻辑学是哲学的一个基础分支，主要研究推理和思维的规律与方法。
本课程主要介绍基本逻辑概念、命题逻辑、一阶谓词逻辑以及模态逻辑，帮助学生了解思维的规律和方法，提高思维能力和推理能力。
教学目标通过学习本课程，学生应能够：•掌握命题逻辑的基本原理和证明方法•掌握一阶逻辑的基本概念和证明方法•了解模态逻辑的概念和应用•提高思维能力和推理能力•培养逻辑思维和分析问题的能力教学内容第一章逻辑学引言•逻辑学的概念与分类•逻辑思维的意义与作用第二章命题逻辑•命题的基本概念•逻辑联结词与复合命题•等价命题与否定命题•恒真式与矛盾式•命题逻辑推理的基本原理和证明方法第三章一阶逻辑•一阶逻辑概念•基本语言和语法•论域和变量•量词和量词范围•真值表和推理•等价和蕴含关系•策梅洛-弗兰克尔公理系统第四章模态逻辑•模态逻辑的基本概念和分类•可能性和必然性•模态命题的基本类型•模态逻辑的公理系统和推理规则•应用实例教学要求•说明学生学习本课程的的前提知识和基础•要求学生认真学习课程，完成课后作业和实验•建议学生多读相关书籍，加深理解教材与参考资料主教材：《现代逻辑学教程》第二版，皮埃尔·古德利尔特著，胡纪恒、刘晔译，北京大学出版社，2005年。
参考资料：•《逻辑学教程》第一卷、第二卷，舌华教、谢朝庆主编，人民出版社，2009年。
•《逻辑学基础》（第二版），张立群著，北京师范大学出版社，2009年。
•《模态逻辑导论》，唐其龙、王跃民著，北京大学出版社，2012年。
逻辑学第二版教学设计1. 课程概述逻辑学是一门重要的学科，它涉及到哲学、数学、语言学等众多领域。
通过学习逻辑学，可以提高学生的思维能力和分析能力。
本教学设计适用于逻辑学第二版的教学。
2. 教学目标本课程的目标是让学生掌握逻辑学的基本知识和技能，包括逻辑的基本概念、命题逻辑、谓词逻辑、推理、证明等方面。
同时，本课程还旨在培养学生的思维能力和创造力，让他们能够运用逻辑思维解决实际问题。
3. 教学模式本课程采用“学生为中心”的教学模式，同时注重师生互动和小组讨论。
在课堂上，我们将尽可能地鼓励学生自主学习、探究和思考，通过案例分析、小组讨论等形式，培养学生的团队合作能力和创新意识。
4. 教学内容本课程的具体内容如下：4.1 逻辑的基本概念•逻辑的定义和意义•真值和真值表•命题、联结词和命题函数•真值函数和逻辑运算4.2 命题逻辑•命题逻辑的定义和性质•命题的逆、否、合、假言、充分必要条件等•合式公式和重言式•矛盾式和可满足式•推理规则和证明方法4.3 谓词逻辑•谓词逻辑的定义和性质•谓词符号和量词•全称量化和存在量化•开放公式和闭合公式•消解和合一4.4 推理和证明•推理的定义和分类•归纳推理和演绎推理•有效性和不确定性•证明的种类和步骤•假设证明和归谬证明5. 教学方法为了更好地实现教学目标，本课程采用以下教学方法：5.1 讲授课堂上，将以授课的形式讲解逻辑学的理论知识，帮助学生掌握逻辑学的基本概念和技能。
5.2 案例分析透过实际案例的分析，帮助学生理解逻辑学的应用，并提高其思维能力。
5.3 小组讨论在课堂上，通过小组讨论等形式，鼓励学生表达自己的观点，并促进学生之间的交流和合作。
5.4 课外作业通过布置适当的课外作业，帮助学生进一步巩固所学知识，并提高其对逻辑学的理解和应用能力。
6. 评估方式本课程的评估方式主要包括小组讨论、期中考试和期末考试三部分。
其中小组讨论占总评成绩的30%，期中考试占40%，期末考试占30%。
逻辑学教程课后习题答案习题一：命题逻辑1. 判断下列命题的真假：- 命题A: “所有的猫都是哺乳动物。
”（真）- 命题B: “有些猫不是哺乳动物。
”（假）2. 将下列命题转化为逻辑表达式：- 命题C: “如果今天是星期一，那么明天是星期二。
” 可表示为：(M → T)，其中M代表“今天是星期一”，T代表“明天是星期二”。
习题二：演绎推理1. 根据以下前提，推导出结论：- 前提1: 所有学生都需要学习逻辑。
- 前提2: 小明是一名学生。
- 结论：小明需要学习逻辑。
2. 判断下列推理是否有效：- 推理：如果下雨，地面就会湿。
今天地面湿了，所以今天下雨了。
- 这是一个无效推理，因为地面湿了可能有其他原因，不一定是因为下雨。
习题三：归纳推理1. 观察以下事实，归纳出一个一般性结论：- 事实1: 苹果落地。
- 事实2: 橙子落地。
- 事实3: 梨落地。
- 结论：所有水果都会落地。
2. 分析下列归纳推理是否合理：- 推理：我们观察到的天鹅都是白色的，因此所有天鹅都是白色的。
- 这是一个不完全归纳推理，因为存在黑天鹅，所以这个推理是不合理的。
习题四：逻辑谬误1. 识别下列论证中的逻辑谬误：- 论证：没有人是完美的，所以没有人应该追求完美。
- 谬误：滑坡谬误，错误地假设因为没有人是完美的，追求完美就是不可能的或不合理的。
2. 指出下列论证中的非形式谬误：- 论证：因为许多成功的企业家都穿西装，所以穿西装是成功的关键。
- 谬误：因果谬误，错误地将相关性当作因果关系。
习题五：条件命题1. 判断下列条件命题的真假：- 命题D: “如果考试及格，那么就能毕业。
”（真或假，取决于具体情况）- 命题E: “只有考试及格，才能毕业。
”（假，因为可能还有其他毕业条件）2. 转换条件命题为逆命题、否命题和逆否命题，并判断它们的真假：- 逆命题：如果毕业，那么考试及格。
- 否命题：如果考试不及格，那么不能毕业。
- 逆否命题：如果不能毕业，那么考试不及格。
1、（了解）二极管、三级管和MOS管的基本开关特性
2、（了解）TTL集成逻辑门电路
（四）第四部分组合逻辑电路的分析和设计
1、（理解）组合逻辑电路的特点与分析
2、（掌握）组合逻辑电路的设计与实现方式
3、（理解）加/减法器、编/译码器、数据选择器、数值比较
器、奇偶校验器/发生器的设计方法
4、（了解）组合逻辑电路的竞争与冒险
（五）第五部分时序逻辑电路的分析和设计
1、（理解）时序逻辑电路的特点
2、（掌握）钟控触发器的基本特性和工作原理(R-S触发器、
D触发器、J-K触发器、T和T’触发器)
3、（掌握）边沿触发器基本原理及特性
4、（理解）时序电路的分类和描述
5、（掌握）钟控触发器构成的常用时序电路（寄存器、移
位寄存器、计数器）分析
6、（掌握）常用小规模和中规模时序电路的分析与设计
7、（理解）简单序列信号发生器、序列信号检测器的基本
设计方法
三、题型结构
考试满分150分，包含多种题型，以计算和综合分析题为主。
四、其它要求
1、考试形式为笔试（闭卷）。
考生不可以携带计算器参加考试。
2、本科目考试时间为 3 小时，具体考试时间以《准考证》为准。
大二逻辑学知识点总结逻辑学是一门研究思维和推理规律的学科，在大二阶段，我们进一步学习了更深入的逻辑知识。
本文将对大二逻辑学的重要知识点进行总结和梳理。
一、命题逻辑命题逻辑是逻辑学的基础，它研究的是命题之间的关系以及命题推理的规则。
1. 命题和命题联结词命题是陈述句，可以判断为真或假。
命题联结词包括合取（∧）、析取（∨）、否定（¬）、蕴含（→）等。
2. 真值表和逻辑运算真值表是用来列举命题在不同逻辑运算下的真假情况的表格工具。
逻辑运算包括合取、析取、否定、蕴含等。
3. 等值式和等值演算等值式是指在逻辑推理中两个命题具有相同真值的情况。
等值演算是通过利用等值式来推导出新的命题。
4. 归结论证和演绎论证归结论证是通过将复杂的问题简化为简单的问题，最终得出结论的推理方法。
演绎论证是根据已有事实和逻辑规律，进行逻辑推理得出结论的方法。
二、谓词逻辑谓词逻辑是在命题逻辑基础上发展起来的，它研究的是含有变量的复杂命题和量词。
1. 谓词、量词和谓词公式谓词是用来描述对象特征或关系的函数，量词用来描述给定范围内的一组对象。
谓词公式是由谓词、变量和量词组成的复杂命题。
2. 全称量化和存在量化全称量化是指对于所有对象都成立的命题，存在量化是指存在某些对象使得命题成立。
3. 变元和量词范围变元是谓词公式中的占位符，量词范围指明了变元的取值范围。
4. 统一量词和消解量词统一量词是指将不同变量存在的命题转换为全称量化的过程。
消解量词是指将全称量化的命题转换为不同变量存在的过程。
三、自然演绎系统自然演绎系统是用来对逻辑语句进行证明的形式系统。
它基于一定的规则和公理，通过有限的推理步骤推导出结论。
1. 假言推理和拒取引理假言推理是通过条件语句的真值来判断结论的真假。
拒取引理是通过将否定的前置条件转换为否定结论的过程。
2. 形式推理规则和公理系统形式推理规则包括假言推理、附加规则、假言三段论等。
公理系统是逻辑推理的基础公理集合。
