逻辑学规则归纳
形式逻辑的推理规则和证明方法
形式逻辑的推理规则和证明方法形式逻辑是一种研究命题、论证和推理关系的数学分支，它主要通过一系列的推理规则和证明方法来揭示命题之间的真值关系。
本文将从形式逻辑的基本概念、推理规则和证明方法三个方面进行阐述。
一、形式逻辑的基本概念形式逻辑是逻辑学的主要分支之一，它从逻辑思维的角度出发，研究了语言表达中命题之间的关系。
形式逻辑关注的是推理的形式结构，而不关心命题的具体内容。
在形式逻辑中，我们使用符号和符号之间的关系来表示和分析逻辑命题，以便更好地理解和运用逻辑学原理。
二、推理规则推理规则是形式逻辑中的基础，它是根据逻辑学原理总结归纳而来的。
形式逻辑中常用的推理规则有：1. 消去规则：如果A蕴含了B，而B又蕴含了C，则A蕴含了C。
2. 假言推论规则：如果A蕴含了B，而A成立，则可以推导出B成立。
3. 拒取规则：如果A和非A不可能同时成立，则可以推导出非A。
4. 析取三段论规则：如果A蕴含了B或C，而B和非C不可能同时成立，则可以推导出A蕴含了B。
5. 换言式规则：如果A等价于B，而A成立，则可以推导出B成立。
以上只是形式逻辑中常见的推理规则之一，实际上还有许多其他的推理规则。
推理规则在推理过程中起到了关键的作用，它们帮助我们在分析和评估命题之间的关系时更加准确和清晰。
三、证明方法证明方法是形式逻辑中用来验证命题真值的一种方式。
常用的证明方法有：1. 直接证明法：通过根据已知条件和推理规则，逐步推导出结论的真值。
2. 反证法：假设命题的逆命题为真，然后通过推理规则逐步推导出矛盾，从而得出命题为真的结论。
3. 归谬法：假设命题为真，然后通过推理规则逐步推导出矛盾，从而得出命题的逆命题为真的结论。
4. 数学归纳法：对于一系列断言，在满足初始条件和递推规则的情况下，逐步证明每个断言的真值。
以上只是形式逻辑中常见的证明方法之一，实际上还有许多其他的证明方法。
证明方法是形式逻辑中重要的工具，它们帮助我们验证逻辑命题的真假，提高逻辑推理的准确性和可靠性。
《逻辑学》完整版笔记整理
第一章绪言第一节“逻辑”的含义一、逻辑的词源1. 逻辑一词源出于希腊文的“逻各斯”（logos，复数形式是logoi）。
·古希腊的哲学家赫拉克利特据说有专论逻各斯的著作《逻各斯》。
·逻各斯的基本词义是言辞、秩序和规律。
言语是这一语词的原创义，然后在此基本词义基础上派生出理性、理想、推理论证等词义。
2. 逻各斯演变为“逻辑”一词·最先是由斯多葛学派使用;看作是由论辩术和修辞学两部分构成的理论。
·古罗马和欧洲中世纪的逻辑学家也在这种意义上来看待“逻辑”一词。
·其后，逻辑一词的含义就一直和推理与论辩的方法和原则相关。
3. 逻辑一词传入中国·严复开始，“按逻辑此翻名学。
其名义始于希腊，为逻各斯一根之转”.·严复翻译的时间大约在19世纪末;·再过十多年后，由章士钊正式在汉语中定名，作为讨论思维、讨论推理的规范和秩序的学问4. 为什么logic要翻译为逻辑？逻辑学是有点特殊的学科。
特殊在什么地方？学科名的特殊和学科内容的特殊。
中国历史上和逻辑对应的学科?逻辑究竟研究什么？二、什么是逻辑？1. 逻辑是一门和方法、原则、规范紧密相关的人文学科。
她探索和研究的是我们进行推理（reasoning，inference）时应该使用的方法、技巧、标准和原则。
逻辑是一门讲道理的学科。
逻辑总是和语言相关。
逻辑总是和论证证明推理相关。
p2 2. 三个方向的推理追寻历史：一个事件出现了，我们寻求其产生的原因，案件、历史、文物等，向后的推导。
确定目标：未来可能出现的事件，这是向前的推理。
演绎推理：没有时空条件的推理，数学和逻辑。
几何证明和数学计算。
第二节逻辑历史简述一、古典逻辑1. 古希腊哲学家亚里士多德公认为是逻辑学之父。
2. 亚里士多德创立逻辑学科的标志是他所撰写的逻辑专著，这些讨论逻辑问题的专著有《范畴篇》、《解释篇》、《分析前篇》、《分析后篇》、《论辩篇》和《辩谬篇》，这些篇章后来合编为《工具论》一书。
法律逻辑学性质命题的逻辑规则及推理(校教学比赛)
性质命题的逻辑规则及推理学习目的：掌握性质命题的逻辑规则及推理。
重点难点：1、性质命题词项的周延性2、性质命题真假的判定以及不同性质命题之间的对当关系3、性质命题的直接推理4、性质命题的隐含命题及揭示隐含命题的方法导入：有一位主人宴请客人，客人来后，主人却迟迟不请客人入席就座。
后来主人对大家说：“实在对不起，请大家再稍等片刻，因为该来的人还没有来。
”已来的这些客人一听，就纷纷离去。
主人看到大多数客人们都走了，非常吃惊，问没走的客人这是什么原因，客人告诉了他，主人听后说：“唉！不该走的人怎么都走了！”剩下的客人一听，也走了。
为什么这些客人纷纷离去？因为已来的客人想：该来的人都还没来，岂不是说我们来的人都是不该来的。
后来剩下的客人想：不该走的人都走了，岂不是说没走的人是该走的一、性质命题词项的周延性性质命题的词项周延性：是指一个性质命题的主项或谓项，在该命题中是否被断定了全部外延（也就是是否涉及某个词项的全部外延），如果在一个性质命题中断定了主项或谓项的全部外延，那么该词项是周延的；如果在一个性质命题中没有断定主项或谓项的全部外延，那么该词项是不周延的。
1、全称肯定命题（S A P）全称肯定命题的主项周延、谓项不周项。
所有S都是P，断定主项S的全部外延属于P的外延，P中至少有一部分外延是属于S 的外延。
主项S的全部外延都被断定了，谓项P中只有部分外延被断定，所以S周延，P不周延。
例如：所有犯罪行为是违法行为。
主项“犯罪行为”的全部外延被断定，主项周延。
谓项“违法行为”中至少有一部分是属于“犯罪行为”，“违法行为”的全部外延没有进行断定，谓项不周延。
2、全称否定命题（S E P）全称否定命题的主项周延、谓项周延。
所有S都不是P，断定了S的任何一个外延都排斥在P的外延之外，P的任何一个外延也都排斥在S的外延之外。
S和P的外延都被断定了。
例如：所有的人民团体都不是审判机关。
主项“人民团体”的外延被断定了，主项周延。
逻辑学重点知识点整理
逻辑学重点知识点整理一、概念。
1. 概念的内涵与外延。
- 内涵：反映在概念中的对象的特有属性或本质属性。
例如，“商品”的内涵是用于交换的劳动产品。
- 外延：具有概念所反映的特有属性或本质属性的对象。
“商品”的外延包括超市里的食品、衣服、电器等各种用于交换的物品。
2. 概念的种类。
- 单独概念和普遍概念。
- 单独概念：反映独一无二的对象的概念，如“北京”“鲁迅”。
- 普遍概念：反映一个以上对象的概念，如“动物”“城市”。
- 集合概念和非集合概念。
- 集合概念：反映集合体的概念，如“森林”（森林是树木的集合体，不能说某一棵树是森林）。
- 非集合概念：反映非集合体的概念，如“树”。
- 正概念和负概念。
- 正概念：反映对象具有某种属性的概念，如“正义”。
- 负概念：反映对象不具有某种属性的概念，如“非正义”。
3. 概念间的关系。
- 全同关系：两个概念的外延完全重合，如“等边三角形”和“等角三角形”。
- 真包含关系：一个概念的部分外延与另一个概念的全部外延重合，如“动物”真包含“哺乳动物”。
- 真包含于关系：一个概念的全部外延与另一个概念的部分外延重合，如“哺乳动物”真包含于“动物”。
- 交叉关系：两个概念的外延有且只有一部分重合，如“学生”和“党员”。
- 全异关系：两个概念的外延没有任何重合部分，如“植物”和“动物”。
全异关系又可分为矛盾关系（如“正义”和“非正义”，二者外延之和等于属概念“行为的属性”的外延）和反对关系（如“黑色”和“白色”，二者外延之和小于属概念“颜色”的外延）。
二、命题（判断）1. 命题的种类。
- 简单命题。
- 直言命题（性质命题）- 全称肯定命题（SAP）：所有S都是P，如“所有金属都是导电的”。
- 全称否定命题（SEP）：所有S都不是P，如“所有宗教都不是科学”。
- 特称肯定命题（SIP）：有的S是P，如“有的学生是党员”。
- 特称否定命题（SOP）：有的S不是P，如“有的动物不是哺乳动物”。
逻辑学复习知识点汇总
逻辑学复习知识点前言：逻辑学：传统逻辑、现代逻辑；它是基础性.工具性的学科（更直接.更系统）第一章（绪论）：第一节什么是逻辑学1.“逻辑”的含义：源于古希腊.原意：思想.言辞.理性.规律。
逻辑是一门学科.即逻辑学（思维科学）。
2.逻辑学的研究对象：研究思维的形式结构及其规律的科学。
逻辑学的研究目的：总结出人们正确运用各种思维形式的逻辑规律。
思维：感性认识（感觉.知觉.表象）和理性认识（概念.命题（判断）.推理）思维的形式结构（思维的逻辑形式）：包括逻辑常项和变项逻辑常项：不随思维具体内容变化而变化.是判定一种逻辑形式具体类型的唯一依据。
传统逻辑：自然语言（日常用语）现代逻辑：人工语言（符号语言：表意符号.公式.公式序列）思维形式结构的规律：逻辑规则：仅适用于某种思维形式。
逻辑思维的基本规律：普遍适用于各种类型的思维形式。
（传统逻辑定义）逻辑思维的基本规律包括：同一律.矛盾律.排中律.充足理由律。
表现方式：现代逻辑的基础部分：经典命题逻辑,经典谓词逻辑（表现方式：重言式（重言蕴涵式.重言等值式））第二节逻辑学的性质和作用1.逻辑学的性质：工具性.全人类性（没有民族性.阶级性）2.逻辑学的作用：联合国教科文组织1974年规定的七大基础学科：逻辑学、数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学三方面作用：促成逻辑思维由自发向自觉转变；培养和提高人们认识事物、从事科学研究的能力；帮助识别、驳斥谬误和诡辩。
3.第三节逻辑简史逻辑学的历史：两千多年逻辑学的三大源头：古中国、古印度、古希腊。
西方逻辑：以古希腊逻辑为先河.在发展的历程中完整地经历了传统和现代两个形态。
（以此为例）传统逻辑的诞生与发展：传统逻辑：由亚里士多德开始直至莱布尼兹之前的整个逻辑类型。
特点：借助自然语言.主要范围是常见日常思维类型。
亚里士多德：（公元前384-公元前322）:古希腊著名学者.第一次全面、系统研究逻辑学主要问题.首创逻辑学这门科学。
逻辑学的基本原理与概念
逻辑学的基本原理与概念逻辑学是一门研究思维和推理规律的学科，它关注的是我们如何正确地思考和推理。
逻辑学的基本原理和概念为我们提供了一种清晰、准确和合理的思维方式，帮助我们更好地理解和分析问题。
一、命题逻辑命题逻辑是逻辑学的基础，它研究的是命题之间的关系。
命题是陈述性语句，可以被判断为真或假。
命题逻辑的基本原理包括“与”、“或”、“非”和“蕴涵”等。
其中，“与”表示两个命题同时为真时整个命题为真，“或”表示两个命题中至少有一个为真时整个命题为真，“非”表示命题的否定，“蕴涵”表示如果前提为真，则结论也为真。
命题逻辑的概念还包括真值表、逻辑联结词和命题公式等。
二、谓词逻辑谓词逻辑是命题逻辑的扩展，它研究的是命题中的对象和属性之间的关系。
谓词逻辑引入了量词和谓词，量词包括全称量词和存在量词，用来表示命题在某个范围内是否成立。
谓词表示对象的性质或关系，它可以是单个对象的属性，也可以是多个对象之间的关系。
谓词逻辑的基本原理包括量词的分配律、量词的对偶律和量词的去范围律等。
三、推理推理是逻辑学的核心内容，它研究的是从已知命题出发得出新的结论的方法和规则。
推理可以分为演绎推理和归纳推理两种。
演绎推理是从一般到个别的推理过程，它基于命题逻辑和谓词逻辑的规则，通过逻辑推理得出结论的正确性。
归纳推理是从个别到一般的推理过程，它通过观察和实验得出一般性的结论。
推理的基本原理包括假言推理、拒取式推理、假设演绎和归谬法等。
四、谬误谬误是逻辑学研究的一个重要内容，它指的是推理过程中的错误和伪命题。
谬误可以分为形式谬误和实质谬误两种。
形式谬误是指推理过程中违反了逻辑规则，导致结论不正确。
实质谬误是指推理过程中出现了事实错误或逻辑错误，导致结论不可靠。
谬误的常见类型包括偷换概念、诉诸个人攻击、虚假二选一和滥用类比等。
了解和识别谬误有助于我们避免在思考和推理过程中犯错。
总结起来，逻辑学的基本原理和概念为我们提供了一种清晰、准确和合理的思维方式。
逻辑学 三段论中各格具体规则的证明自证参考
三段论中各格具体规则的证明第一格规则: 1、小前提必就是肯定的;2、大前提必就是全称的。
M PS MS P1、小前提必就是肯定的假如小前提为否定命题,根据从两个否定的前提得不出必然的结论,大前提必为肯定命题,于就是结论必为否定命题。
这样,大项在前提中作为肯定命题扽谓项就是不周延的,而在结论中作为否定命题的谓项就是周延的。
根据前提中不周延的项在结论中也不得周延,假设不成立,所以小前提必就是肯定的。
2、大前提必就是全称的小前提必就是肯定的,因而作为小前提谓项的中项就是不周延的。
根据中项在两前提中至少周延一次,中项在大前提中必须就是周延的,要使其大前提中的中项周延,大前提必须就是全称的。
第二格规则: 1、两个前提中必须有一个就是否定命题;2、大前提必须为全称命题。
P MS MS P1、两个前提中必须有一个就是否定命题:由于中项在两个前提中都做谓项,根据三段论的基本规则“中项至少要周延一次”,而只有否定命题的谓项就是周延的,所以,前提中必须有否定命题。
但就是根据三段论基本规则“两个否定的前提不能推出结论”,故两个前提中必须有一个就是否定命题。
2、大前提必须为全称命题:三段论第二格的特殊规则中的第一条已经确定,即“两个前提中必须有一个就是否定命题”,那么,根据三段论的基本规则“前提中有一个就是否定的,结论必然就是否定的”。
在结论中,大项作否定命题的谓项,就是周延的。
根据三段论基本规则“在前提中不周延的项,在结论中也不得周延”,要保证大项在前提中周延,只有大前提为全称命题。
所以,大前提必须为全称命题第三格规则: 1、小前提必须肯定;2、结论须就是特称的;3、至少有一个前提就是全称的。
M PM SS P1、小前提必须肯定如果小前提否定,则大前提必须肯定(两个否定的前提推不出结论); 大前提肯定,则大项不周延(肯定判断的谓项不周延); 因为前提之一否定,所以结论否定; 结论否定,则大项在结论中周延; 大项在前提中不周延,而在结论中周延,违反“前提中不周延的项在结论中不得周延”的规定,所以,小前提必须肯定。
逻辑学常用图表和公式
逻辑学常用图表和公式一、命题逻辑1. 命题命题是陈述语句，能够判断其真假，可以用P、Q、R等符号表示。
例如：P表示今天是晴天。
2. 求反命题、逆命题和对偶命题反命题：把命题中的主语和谓语都取反，如“P：今天是晴天”；则“非P：今天不是晴天”。
逆命题：将命题中的主语和谓语分别取反，如“P：今天是晴天”；则“Q：不是晴天就不是今天”。
对偶命题：对一命题中的“存在”、“全称”、“或”、“与”等词进行逆否，如“∀x P(x)”则对应的对偶命题为“∃x （~P(x)”。
3. 否命题否定某些命题可以得到一个新的命题，称为否命题。
例如“P：今天是晴天”；则“~P：今天不是晴天。
”4. 蕴含若P成立，则P蕴含Q；用符号表示为P——>Q。
（当P成立时，Q也必定成立。
）5. 充分必要条件若Q成立，则P充分必要；用符号表示为P《——Q。
（当Q成立时，P必定成立。
）6. 前提、结论和推理规则前提：一个论证中被认为是真实的命题。
结论：从前提推出来的结论。
推理规则：从前提出发，推得结论的规则。
包括假言三段论、假言推理、乘积原则等。
7. 假言三段论若P——>Q是真的，Q——>R也是真的，则P——>R也是真的。
例如：“若今天下雨，我就不去”，“若我不去，就不会迟到”，“所以如果今天下雨，我就不会迟到。
”8. 内容永真性和形式永真性内容永真性：一个公式无论描写何种情况，它的真值都为真，则称其具有内容永真性。
形式永真性：一个公式无论取什么命题作为变量，都为真，则称其具有形式永真性。
9. 逻辑等价式若P<——>Q是真的，则P和Q逻辑等价。
例如：“非（P& Q）<——>（~P V ~ Q）”。
10. 常见逻辑公式与（^）、或（V）、非（~）、蕴涵（——>）、等价（《——》）、全称量词（∀）、存在量词（∃）等。
二、谓词逻辑1. 谓词谓词是有个体变元的陈述语句，如“x>y”或“P(x,y)”。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
逻辑学中规则归纳
第二章概念
定义的规则：
1.定义项与被定义项在外延上必须全同
2.定义项不得直接或简介地包含被定义项
3.定义必须清楚明确
划分的规则：
1.划分所得各子项外延之和应等于母项的外延
2.划分所得各子项应当互相排斥
3.每次划分必须按同一标准进行
4.
第四章简单判断及其推理
三段论的规则
关系判断：
不能以非对称关系判断作为前提进行推理
不能以非传递关系判断作为前提进行推理
混合关系推理：
1.前提中的性质判断必须是肯定推理
2.前提中两个相同项（相当于中项）至少有一个项是周延的
3.在前提中不周延的项，在结论中也不得周延
4.前提中关系判断是肯定的，则结论中的关系判断也必须是肯定的
5.前提中的关系判断是否定的，则结论中的关系判断也必须是否定的
6.
真值判断
在逻辑演算中，先列出小括号中的逻辑式，再列出中括号中的逻辑形式
当且仅当所有联言肢为真时，联言判断为真；当；联言判断为真时，所有联言肢为真
全部选言肢中只要有一个为真，则相容选言判断为真；只有当全部选言肢为假时，相容选言判断才是假的
相容选言推理只有一个正确的推理形式，即否定肯定式
相容选言推理规则是:
1、否定一部分选言肢，就要肯定另一部分选言肢
2、肯定一部分选言肢，不能否定另一部分选言肢
不相容选言推理规则是：
1、否定一部分选言肢，就要肯定另一部分选言肢
2、肯定一部分选言肢，就要否定另一部分选言肢
选言肢穷尽是选言前提真的充分条件，却不是其必要条件
充分条件假言判断的逻辑性质：有之则必然，无之未必然
必要条件假言判断的逻辑性质：有之未必然，无之必不然
充分必要条件假言判断逻辑性质：有之则必然，无之必不然
由此可得充分条件假言推理推理规则：
肯定前件就要肯定后件（充分条件：有之则必然）
否定前件不能否定后件（充分条件：无之未必然）
否定后件就要否定前件（必要条件：无之必不然）
肯定后件不能肯定前件（必要条件：有之未必然）
必要条件假言判断和充分条件相似，只不过是位置换一下而已只要记住上面那四条：有之则无之则即可
重言式有：
充分条件假言推理的肯定前件式
充分条件假言推理的否定后件式
必要条件假言推理的否定前件式
必要条件假言推理的肯定后件式
相容选言推理的否定肯定式（否定其中一个得出肯定另一方个的结论）
联言推理的分解式
反三段论：三段论形式正确，结论不成立，一前提成立，可推出另一前提不成立。