形式逻辑
形式逻辑和数理逻辑
形式逻辑和数理逻辑形式逻辑和数理逻辑是两个重要的逻辑学分支，它们分别研究的是逻辑推理的形式和基于数学语言的逻辑推理。
本文将分别介绍形式逻辑和数理逻辑的基本概念、原理及应用。
形式逻辑是逻辑学的一个重要分支，主要研究逻辑推理的形式和结构。
它关注的是逻辑推理的规则和方法，而不涉及具体内容。
形式逻辑的基本概念包括命题、命题连接词和命题推理。
命题是陈述性语句，可以是真或假；命题连接词用于连接命题，包括与、或、非等；命题推理是根据逻辑规则进行的推理过程，通过推理可以得出新的命题。
形式逻辑的原理可以归纳为三大法则：排中律、非矛盾律和排中律。
排中律指的是一个命题要么为真，要么为假；非矛盾律指的是一个命题和其否定命题不能同时为真；排中律指的是一个命题和其否定命题必定其中之一为真。
形式逻辑的应用广泛，可以用于描述和分析各种逻辑问题，如证明、推理和辩论等。
数理逻辑是基于数学语言的逻辑学分支，它将逻辑推理转化为符号和公式的形式，通过数学方法来研究逻辑问题。
数理逻辑的基本概念包括命题逻辑、谓词逻辑和集合论。
命题逻辑研究的是命题和命题之间的关系；谓词逻辑研究的是谓词和变量之间的关系；集合论研究的是集合和元素之间的关系。
数理逻辑的原理主要包括命题和谓词的形式化、公理系统和推理规则。
命题和谓词的形式化是将自然语言中的命题和谓词转化为符号和公式；公理系统是一组基本命题或公理，用于构建逻辑系统；推理规则是根据公理和已有命题推导出新命题的规则。
数理逻辑广泛应用于数学、计算机科学、人工智能等领域，在证明、推理和计算机程序设计等方面发挥着重要作用。
形式逻辑和数理逻辑在逻辑推理领域起着重要作用。
形式逻辑研究逻辑推理的形式和结构，强调逻辑规则和方法的运用；数理逻辑将逻辑推理转化为符号和公式的形式，通过数学方法来研究逻辑问题。
两者相辅相成，共同推动了逻辑学的发展和应用。
这两个分支的研究成果不仅在学术界有着重要地位，也在实际生活和各个领域中发挥着重要作用。
形式逻辑课件
印度：“因明学说” （关于推理的）。代表 著作：陈那的《因明正理门论》、商羯罗主的 《因明入正理论》等。主要研究推理和论证的方 法。
古希腊是形式逻辑的主要诞生地。亚里士
多德《范畴篇》《解释篇》《前分析篇》《后 分析篇》《论题篇》《辩谬篇》（弟子把它们 收集在一起，合称为《工具论》）等逻辑著作。 分别对概念、命题、三段论、证明、逻辑谬误 和科学方法论作出了研究。亚氏《形而上学》 中，明确地提出了矛盾律和排中律，同时也涉 及到同一律。
法人是具有民事权利能力和民事行为能力，依 法独立享有民事权利和承担民事义务的组织。
定义由被定义项、定义项和定义联项 三个部分组成。
（2）定义的种类与方法 A．事物定义
事物定义就是从揭示事物的本质属性方面 来揭示概念内涵的定义。它又叫真实定 义。
常用的事物定义方法是属加种差定义，即 通过揭示被定义项的邻近属和种差来揭 示被定义项的内涵 。
德哲学家莱布尼兹提出了用数学方法处理 演绎逻辑，把推理变成逻辑演算，成为数理逻 辑（即现代形式逻辑）的奠基人。一百多年以 后，英数学家布尔建立了“逻辑代数”（即布 尔代数），把菜布尼兹的思想变为现实，成为 数理逻辑的早期形式。
弗雷格、罗素和怀特海等人建立了判断演 算和谓词演算这样两个数理逻辑基础演算，使 数理逻辑进一步系统和完善起来，发展成为一 门新兴的学科。１９１０年到１９１３年出版 的罗素和怀特海的巨著《数学原理》，就是这 两方面的主要成果和标志。
所有金属都是比水重的， 锂是金属。 所以，锂是比水重的。
所有金属都是导体， 木头不是金属。 所以木头不是导体。
二、形式逻辑的作用
什么是形式逻辑
什么是形式逻辑什么是形式逻辑有时候，大家会描述一些说话方式或是念头“有逻辑”。
说白了逻辑，就是逻辑思维的规律性，逻辑学便是有关逻辑思维规律性的理论。
下面和小编一起来看什么是形式逻辑，希望有所帮助！形式逻辑指的是传统式逻辑，范畴指演译逻辑，理论还包含梳理逻辑。
形式逻辑的基础理论是由古希腊文化杰出的思想家亚里士多德最先开创的'。
亚里士多德是现代文学家柏拉图的学员、亚力山大天尊的教师，于公元384年出生于北爱尔兰的一个皇室家中。
18岁时，亚里士多德被送至古罗马的柏拉图学校学习培训，自此二十年间，亚里士多德一直住校园内里，直到教师柏拉图在前347年过世。
亚里士多德的见识非常普遍，他在物理、形而上学、诗文和戏剧表演、歌曲、分子生物学、社会经济学、生物学、逻辑学、社会学及其伦理学等课程均有针对性的经典著作。
在形式逻辑层面，亚里士多德做为创始人，将他的绝大多数理论载入了《形而上学》第四卷和《工具论》的相关一部分。
亚里士多德从存在论和逻辑2个层面明确提出和创建了他的逻辑逻辑思维规律性基础理论。
在他的哲学著作《形而上学》中，他最先研究了矛盾律，而且将矛盾律当作是一切证实都必须的最基本的基本原理，因而是不用被证实也是不可以被证实的。
除基本定律以外，亚里士多德还开创了“三段论”。
“三段论”是演绎推理的第一个逻辑管理体系，它第一次促使创造性思维足以流于形式，也促使形式逻辑足以变成一门单独的课程。
亚里士多德在《前分析篇》中表明了三段论的基础观念，强调三段论是由前提和结果组成，而前提和结果又是由三个词项（即中项、大类、小项）组成。
《后分析篇》的文中，亚里士多德列举了那样的事例：假如全部B是A。
而且全部C是B。
那么全部C是A。
而在一个恰当的三段论中，当前提真正时，结果也必定是真正的；而当前提虚报时，结果也是虚报。
因而，能够见到，要是前提为真，便能够依靠三段论去逻辑推理基本上万事万物中间的联络。
也更是由于那样，亚里士多德针对三段论推崇备至。
形式逻辑
人的情感好恶与人的逻辑存在相互作用的关系，但形式逻辑无力反映这一点。它就像高唱“存天理，灭人欲” 的儒者一样，对这种影响视而不见——甚至大加伐戮。这也自然，因为在形式逻辑里，人就是机器——根本就不 应该有什么情感和好恶。于是，至少因果关系和类比关系，在形式逻辑里是说不清的。
相较于朴素逻辑，形式逻辑的缺陷在于无法解释部分生活事件，也无法解释不符合形式逻辑本身的逻辑的来 源。具体例子是，这样的语言结构“连……（名词A）我都不认为……（形容词Z），那么……（名词B）还会 是……（形容词Z）吗？”形式逻辑就是不能解释的。而朴素逻辑则可解释为：大前提“A比B更Z”，小前提“A 不是Z”，结论“B更不Z”。究其原因，在于形式逻辑不承认表述对比关系的句子可以当作三段论的命题，因此 使得其不能解释朴素逻辑中的“对比”过程。
在中国，形式逻辑的产生基本与欧洲同时。代表学派有墨家与名家，此外还有儒家的荀子。有意思的是，墨 家研究逻辑为的是找到逻辑的原则，而名家为的是建立诡辩体系。墨家对于逻辑的认识集中在《墨经》中，该书 对于逻辑已有了系统地论述。例如它区分了充分条件与必要条件，提出“大故（充分必要条件），有之必然，无 之必不然”与“小故（必要条件），有之不必然，无之必不然”。
在此先对称名逻辑进行一些介绍。
按照认知的串行形式与并行形式的观点来看，称名逻辑是转换逻辑。
辩证逻辑的三条原则，即对立统一、否定之否定、质量互变。另外，辩证逻辑有五个维度，即原因维度（内 因外因、根本原因－主要原因－次要原因）、主次维度（主次矛盾、主次方面）、一般－特殊、相对－绝对、整 体－局部。三条原则与五个维度集中体现为“矛盾”的观点及分析方法。在方法上，辩证逻辑要求用全面的、发 展的、联系的、矛盾的观点看待问题，要求具体问题具体分析，要求明确讨论问题的前提范畴。主张确定的范畴 下，有确定的真理。
形式逻辑
形式逻辑1，概念及其相互之间的关系判断：是对事物及其情况有所断定的思维形式断定：就是肯定或否定事物及其情况Eg,鲁迅是文学家（肯定判断）上帝不存在（否定的真判断）郁金香不是植物（假判断）从语法上说语句有四种类型：陈述句；疑问句；感叹句；祈使句从逻辑上看，只有陈述句，即陈述事物及其情况的句子才与判断相适应，也就是，陈述句具有判断特征，而对于疑问句，感叹句和祈使句，则一般都不表达判断。
Eg,人会长生不老吗？——只是提出问题，并没有做出断定注：但在疑问句中，反诘疑问句，即以反问形式表达事物及其情况的仍为判断。
Eg. 难道2+2不等于4吗？命题：自然语言所表达的思想，在一般情况下，判断，命题是不作区分可以并用的。
Eg. 三角形内角和之和等于180命题形式：指由常项，和变项组成的思想表达方式。
其中常项指有固定意义的词，即逻辑联结词。
如“如果，则”，“并且”，“或者”等。
变项指没有固定意义的代词，如p,q它们可以代入任意命题。
在一个命题形式中的所有变项都取了值，则可得到一个具体命题。
Eg. 如果p则q 如果2<5则5>2.一、简单判断1）性质判断：对事物及其情况性质的断定，又称“直言判断”因素：判断主项，判断谓项，判断联项和判断量项。
判断主项：指事物及其情况的概念用“S ”表示判断谓项：表示判断的主项所反映事物的情况是否有某种性质常用“P ”表示 判断联项：联接主项和联项的概念有肯定和否定之分判断量项：表主项数量。
分为全称量项，如“所有”，“一切”，“凡”；和特称量项，如“有”，“有些”。
Eg1, 所有的偶数都是能被2整除2， 所有的金属都不是导电体重难点：a) 性质判断真假性的判断(1) (2) (3)(4) (5)(1)S, P满足（1）或（2）则SAP为真，否则为假。
(2)S，P满足（4）则SEP为真，否则为假(3)S, P满足（1），（2），（3）或（4）则SIP为真，否则为假(4)S，P满足（3），（4），（5）之一，则SOP为真，否则为假即：由上表知A真则E假，E真则A假，A假则E可真可假，E假A可真可假反对关系I真则O可真假，I假则O真，O假则I真，O真则I可真可假下反对关系A真则I必为真，I假则A假差等关系E真则O必为真，O假则E假对当关系A真则O必为假，A假则O真矛盾关系E真则I必为假，I假则E真Eg, 所有郁金香都是植物；所有郁金香都不是植物；有郁金香不是植物；有郁金香是植物2）关系判断：指凡含有多个主项而且谓项断定事物某种关系的，表示形式aRb 或Rab 其中a,b代表主项，为单独概念，R为谓项是普通概念。
什么是形式逻辑
什么是形式逻辑形式逻辑是逻辑学的一个分支，它研究的是逻辑推理的形式结构和有效性。
与实质逻辑（材料逻辑）不同，形式逻辑不关心具体命题的真假或内容，而是关注推理过程中命题之间的逻辑关系。
形式逻辑的基本概念是命题和推理。
命题是陈述或判断性的语句，可以是真或假。
推理是根据已知的命题通过逻辑关系得出新的命题的过程。
形式逻辑通过规则和符号系统来分析推理过程，探讨有效的思维方式。
形式逻辑的核心是推理规则和推理形式。
推理规则是逻辑思维的基本准则，用来确保逻辑推理的有效性。
常见的推理规则有三段论、假言推理、拒取推理等。
推理形式是指一类具有相同逻辑结构的推理，用符号来表示，独立于具体内容。
例如，陈述两个前提，再根据这两个前提进行推理，从而得出一个结论，就是一种推理形式。
形式逻辑通过符号和公式的运用来分析命题和推理。
它使用形式符号来代替自然语言中的词语，以简化命题和推理的表达。
常见的符号有∧表示合取（与）、∨表示析取（或）、→表示蕴涵（如果……则……）、¬表示非（非真为假，非假为真）等。
通过对符号和公式进行转换和推导，形式逻辑可以判断命题之间的逻辑关系，验证推理的有效性。
形式逻辑在数学、计算机科学、哲学等领域有着广泛的应用。
它提供了一种抽象的思维工具，用来分析和解决问题。
通过形式逻辑的学习，可以培养逻辑思维的能力，提高分析和推理问题的能力。
总结起来，形式逻辑是研究推理形式和有效性的一门学科。
它通过符号和公式的运用，分析命题之间的逻辑关系，探讨逻辑推理的思维方式。
形式逻辑在各个学科领域都有重要应用，对于培养逻辑思维能力和解决问题非常有帮助。
形式逻辑思维的基本规律
形式逻辑思维的基本规律形式逻辑是关于逻辑推理的一种研究方法，它主要关注命题之间的推理关系，以及这些关系的规律和性质。
形式逻辑思维的基本规律可以总结为以下几点。
一、命题逻辑的基本规律命题逻辑是形式逻辑的基础，它研究的是命题之间的真值关系和推理规律。
在命题逻辑中，有一些基本规律需要遵循。
1. 非律：对于任意命题P，非非P等价于P。
即“非非P”与“P”具有相同的真值。
2. 合取律：对于任意命题P和Q，P与Q的合取等价于Q与P的合取。
即“P且Q”与“Q且P”具有相同的真值。
3. 析取律：对于任意命题P和Q，P或Q的析取等价于Q或P的析取。
即“P或Q”与“Q或P”具有相同的真值。
4. 蕴含律：对于任意命题P和Q，P蕴含Q等价于非P或Q。
即“P蕴含Q”与“非P或Q”具有相同的真值。
5. 等值律：对于任意命题P和Q，P等价于非非P，P与Q等价于非P或Q，P与Q等价于非P蕴含非Q。
二、谓词逻辑的基本规律谓词逻辑是形式逻辑的进一步发展，它研究的是谓词之间的推理关系。
在谓词逻辑中，有一些基本规律需要遵循。
1. 全称量化规律：对于任意谓词P(x)和变量x，如果对于任意x，P(x)都成立，则可以推出∀xP(x)成立。
即如果一个谓词对于所有变量都成立，则可以推出全称量化的命题成立。
2. 存在量化规律：对于任意谓词P(x)和变量x，如果存在一个x使得P(x)成立，则可以推出∃xP(x)成立。
即如果一个谓词存在一个变量使得它成立，则可以推出存在量化的命题成立。
3. 量词的分配律：对于任意命题P(x)和Q(x)以及变量x，量词的分配律成立。
即∀x(P(x)∧Q(x))等价于(∀xP(x))∧(∀xQ(x))，∃x(P(x)∨Q(x))等价于(∃xP(x))∨(∃xQ(x))。
三、推理规律除了命题逻辑和谓词逻辑的基本规律外，形式逻辑还包括一些推理规律。
1. 假言推理：如果一个条件命题的前提成立，那么可以推出其结论成立。
即如果P蕴含Q，并且P成立，那么可以推出Q成立。
形式逻辑
形式逻辑金岳霖形式逻辑是一门以思维形式及其规律为主要研究对象，同时也设计一些简单的逻辑方法的科学。
第二章概念第三节：概念、内涵、外延概念是反映事物的特有属性（固有属性或本质属性）的思维形态。
概念的内涵，就是概念所反映的事物的特有属性概念的外延，就是具有概念所反映的特有属性的事物。
例如：“人”这个概念的内涵，就是能制造和使用生产工具的动物，有语言、能思维、两足直立是人的其他特有属性。
“人”这个概念的外延，就是具有这些特有属性的事物如屈原、曹操、孙中山、毛泽东、邓小平，以及其他具体的人。
概念的内涵与外延的反比规律“教学”、“英语教学”、和“英语交际法教学”是三个不同的概念。
教学这个概念的内涵是：教学是教师的教和学生的学所组成的一种人类特有的人才培养活动。
“英语教学”这个概念的内涵，就比“教学”这个概念的内涵多和具体；在“英语教学”这个概念的内涵中，还有“英语”这个属性—“英语教学是教师的教和学生的学所组成的一种人类特有的英语人才培养活动”。
“英语交际法教学”这个概念的内涵又比“英语教学”这个概念的内涵多，在“英语交际法教学”这个概念的内涵中还有“交际法”这个属性。
这是从概念的内涵方面看。
再从外延方面看“教学”这个概念的外延却比“英语教学”这个概念的外延多，教学除了包括英语教学以外，还包括其他的教学。
“英语教学”这个概念的外延，又比“英语交际法教学”这个概念的外延多，英语教学除了包括英语交际法教学之外，还包括其他的英语教学。
由上面这个例子，我们就可以概括出一条规律：如果一个概念a的内涵比另一个概念b的内涵多，那么，a的外延就比b的外延少；同时，如果a的内涵比b的内涵少，那么，a的外延就比b的外延多。
这就是概念的内涵与外延的反比规律。
根据内涵与外延的反比规律，我们就可以用逐渐增多概念的内涵的方法，来逐渐减少概念的外延，这个方法叫做概念的限制法。
我们可以用逐渐减少概念的内涵的方法，来增多概念的外延，这个方法叫做概念的扩大法。
形式逻辑推理的基本原理及应用
形式逻辑推理的基本原理及应用形式逻辑推理是一种基于严密推理规则的思维方式，通过运用符号和规则来分析、判断和推理事物之间的关系。
它是许多学科领域的基础，包括数学、哲学、计算机科学等。
一、形式逻辑推理的基本原理形式逻辑推理的基本原理是基于一组规则和符号系统进行的。
这些规则和符号系统有助于我们进行思维的抽象和准确。
下面是形式逻辑推理的几个基本原理：1. 命题逻辑命题逻辑是形式逻辑中最基本也是最简单的逻辑形式。
它主要涉及命题符号和逻辑运算符号，并通过逻辑运算符号的结合和排列形成各种逻辑表达式。
命题逻辑的基本原理包括非运算、合取运算、析取运算、条件运算和双条件运算。
2. 谓词逻辑谓词逻辑是形式逻辑的另一种形式，其特点是引入了谓词符号和量词符号。
通过谓词符号，我们可以描述事物之间的关系，通过量词符号，我们可以表示被量化的命题的范围。
谓词逻辑的基本原理包括全称量化和存在量化。
3. 推理规则形式逻辑推理依赖于一组推理规则，这些规则可以指导我们进行逻辑推理。
常见的推理规则包括假言推理、附言推理、拒取推理、析取三段论、假言三段论等等。
通过运用这些推理规则，我们可以从已知的命题中得出新的结论。
二、形式逻辑推理的应用形式逻辑推理在许多领域中具有广泛的应用，下面列举一些主要的应用领域：1. 数学证明形式逻辑推理在数学中起着关键的作用。
数学证明需要严密的逻辑推理，通过运用形式逻辑推理的原理和规则，数学家们能够建立起正确而完备的证明体系，从而推动了数学学科的发展。
2. 计算机科学形式逻辑推理在计算机科学中有着广泛的应用。
逻辑程序设计语言，如Prolog，就是基于谓词逻辑的，通过运用形式逻辑推理的原理，程序员们可以编写出高效而精确的逻辑程序。
3. 哲学思辨形式逻辑推理在哲学思辨中扮演着重要的角色。
哲学家们借助形式逻辑推理的工具，能够对复杂的哲学问题进行逻辑分析和推理，从而展开深入的哲学思考。
4. 法律推理形式逻辑推理在法律领域的合理推理过程中也有应用。
形式逻辑的基本规律课件
(P134)例3 张先生买了块新手表。他把新手表与家中旳锥钟对照， 发觉手表比挂钟一天慢了三分钟；后来他又把家中旳挂钟与电台旳 标按时对照，发觉挂钟比电台标按时一天快了三分钟。张先生所以 推断：他旳手表是精确旳。
下列哪项是对张先生推断旳正确评价？ （A）张先生旳推断是正确旳，因为手表比挂钟慢三分钟，挂钟 比标按时快三分钟，这阐明手表按时。 （B）张先生旳推断是错误旳，因为他不应该把手表和挂钟比， 应该是直接和标淮时比。 （C)张先生旳推断是错误旳，因为挂钟比标按时快三分钟，是原 则旳三分钟；手表比挂钟慢三分钟，是不原则旳三分钟。 （D）张先生旳推断既无法断定为正确，也无法断定为错误。
（P139）3.“世间万物中，人是第一种可宝贵旳。我是人，所以， 我是世间万物中第一种可宝贵旳。” 这个推理中旳逻辑错误，与下列哪项中出现旳最为类似？ （A）作案者都有作案动机，某甲有作案动机，所以某甲一定是 作案者。 （B）各级干部都要遵纪遵法，我不是干部，所以我不要遵纪遵 法。 （C）中国人不怕死，我是中国人，所以我不怕死。 （D）想当翻译就要学外语，我又不想当翻译，何须费力学外语。
（P143）17.对同一事物，有旳人说“好”，有旳人说“不好”， 这两种人之间没有共同语言。可见，不存在全民族通用旳共同语 言。 下列除哪项外，都与题干推理所犯旳逻辑错误近似？ （A）甲：“厂里要求，工作时禁止吸烟。”乙：“当然，可我 吸烟时从不工作。” （B）有意杀人者应处死刑，行刑者是有意杀人者，所以行刑者 应处死刑。 （C）象是动物，所以小象是小动物。 （D）这种观点既不属于唯物主义，又不属于唯心主义，我看两 者都有点像。 解：题干违反了同一律，犯有“偷换概念”旳逻辑错误。(B)、
违反同一律所犯旳逻辑错误有“混同（或偷换）概念”、 “转移（或偷换）论题”。
形式逻辑与形而上学的相互关系
形式逻辑与形而上学的相互关系引言形式逻辑和形而上学是哲学中重要的两个分支，它们在探讨不同领域的问题时相互关联并相互支持。
形式逻辑是研究推理形式和有效推理方法的学科，而形而上学则研究存在、实在和本体等问题。
从表面上看，形式逻辑和形而上学似乎是截然不同的学科，但实际上它们之间有着密切的联系和相互渗透的关系。
本文将探讨形式逻辑与形而上学的相互关系，并讨论它们对于哲学研究的重要性。
形式逻辑的基本概念与方法形式逻辑是基于形式符号的理论，它研究的是推理形式和推理规则。
形式逻辑主要涉及到命题逻辑、谓词逻辑和模态逻辑等内容。
在形式逻辑中，通过使用符号和符号之间的关系，可以将自然语言中的推理过程形式化，从而使得推理过程更加严密和精确。
命题逻辑是形式逻辑中最基本的分支，它研究的是命题和命题之间的关系。
在命题逻辑中，命题被表示为符号，通过逻辑连接词（如“与”、“或”、“非”）来构造复杂的命题。
同时，命题逻辑还研究了推理规则，如合取推理、析取推理和否定推理等。
谓词逻辑是命题逻辑的扩展，它引入了谓词符号和量词符号，并研究了命题中的谓词和对象之间的关系。
在谓词逻辑中，命题被表示为谓词符号和对象符号的组合，通过量词符号来限定变量的范围。
谓词逻辑可以更加准确地描述自然语言中的推理过程，使得推理过程更加精细和复杂。
模态逻辑是形式逻辑中的另一个重要分支，它研究的是命题的可能性和必然性。
在模态逻辑中，引入了模态操作符号（如“可能”、“必然”），用于表示命题的不同的语义特征。
通过模态逻辑，可以更加准确地描述现实世界中的事实和可能性，从而使得推理过程更加细致和全面。
形而上学的基本概念与方法形而上学是哲学中研究存在、实在和本体等问题的学科，它关注的是超越感性经验的领域。
形而上学讨论的是世界的本质和结构，关注的是存在的本体问题。
形而上学的研究对象包括实体、属性、关系、时空等，它试图揭示存在的真实面貌并寻找背后的本质。
形而上学的研究方法主要是通过思辨和分析的方式进行。
形式逻辑学
形式逻辑学引言形式逻辑学是一门研究逻辑关系的学科，它并不关注具体的逻辑内容，而是关注逻辑结构和形式。
形式逻辑学强调逻辑语句的形式，而不关心这些语句是否描述了现实世界中的事实。
通过对逻辑语句和推理规则的分析，形式逻辑学帮助我们理解推理的基础和原则，以及帮助我们辨别有效的推理和无效的推理。
发展历程形式逻辑学的起源可以追溯到古希腊的哲学家们。
亚里士多德是形式逻辑学发展的先驱者之一，他发展了一套基于命题逻辑的推理方法。
在亚里士多德的逻辑体系中，逻辑命题可以用类别和陈述来表示，推理规则通过分析命题之间的关系来确定。
在中世纪，逻辑学在欧洲的大学中得到了广泛的教授和研究。
逻辑学家们将形式逻辑学用于哲学和神学的讨论中，以推导出一致的观点并驳斥错误的观点。
这个时期的逻辑研究主要集中在命题逻辑和论证形式上。
到了19世纪，形式逻辑学得到了新的发展。
数学领域的逻辑学研究使形式逻辑学得到了新的启发，形式逻辑学的概念被引入到了数学推理中。
数学家们将形式逻辑学的方法运用到数学证明中，以确保证明的正确性和严谨性。
20世纪下半叶，随着计算机科学的发展，形式逻辑学又进入了一个新的阶段。
形式逻辑学被运用到人工智能和自动推理系统中，以解决复杂问题和自动化推理过程。
这些新的应用场景促进了形式逻辑学的发展和研究。
形式逻辑学的基本概念命题逻辑命题逻辑是形式逻辑学的一个重要分支，它是一种逻辑系统，用于描述和分析命题之间的关系。
在命题逻辑中，命题是指一个陈述句，可以判断为真或假。
命题逻辑通过连接词（如“与”、“或”、“非”）和逻辑符号（如“∧”、“∨”、“¬”）来表示命题之间的逻辑关系，从而进行推理和分析。
在命题逻辑中，命题通过逻辑连接词进行组合，形成复合命题。
逻辑连接词有与（∧）、或（∨）、非（¬）等。
以及（∧）连接的两个命题都为真时，复合命题才为真；或（∨）连接的两个命题中至少一个为真时，复合命题为真；非（¬）用来取反一个命题，即原命题为真时，取反命题为假。
什么是形式逻辑
什么是形式逻辑，我们如何理解形式逻辑形式逻辑是逻辑学中的一种重要分支，主要研究推理的形式和结构，而不关注具体的内容。
形式逻辑涉及到命题、谓词、量词等概念，以及它们之间的逻辑关系，如合取、析取、条件、否定等。
形式逻辑的基本原理是恒真律、排中律和矛盾律，它还包括一些推理规则和证明方法，如演绎法、归谬法、假设法等。
理解形式逻辑需要从以下几个方面进行深入探讨：一、命题逻辑命题逻辑是形式逻辑的一种，它涉及到命题、合取、析取、条件、否定等概念。
命题是一个陈述句子，它可以是真或假，而且只有这两种可能性。
合取是指多个命题同时成立，用“∧”表示；析取是指多个命题中至少有一个成立，用“∨”表示；条件是指一个命题成立会导致另一个命题成立，用“→”表示；否定是指一个命题不成立，用“¬”表示。
命题逻辑通过对这些逻辑关系的分析，研究推理和论证的问题。
二、谓词逻辑谓词逻辑是形式逻辑的另一种，它涉及到谓词、量词、变量等概念。
谓词是一个描述性词语，它可以是真或假，而且可以应用于某些对象上。
量词是指描述谓词所应用的对象数量的词语，如“所有”、“存在”等。
变量是指可以代表任意对象的符号，它可以用来表示谓词中的参数。
谓词逻辑通过对这些概念的分析，研究推理和论证的问题。
三、证明方法形式逻辑中常用的证明方法包括演绎法、归谬法、假设法等。
演绎法是指从一些已知的真命题出发，通过逻辑推理得出新的命题的方法。
归谬法是指通过证明一个命题的否定来证明该命题的方法。
假设法是指假设一个命题成立，然后通过逻辑推理来验证该命题是否成立的方法。
这些证明方法都是基于形式逻辑的规则和原理，可以帮助人们更好地进行推理和论证。
四、应用领域形式逻辑在许多领域都有着广泛的应用，如计算机科学、人工智能、哲学、数学等。
在计算机科学中，形式逻辑被用来描述和分析程序的正确性和安全性。
在人工智能中，形式逻辑被用来表示知识和推理过程。
在哲学中，形式逻辑被用来分析和理解推理和论证的过程。
形式逻辑_精品文档
形式逻辑引言：形式逻辑是逻辑学中的一个重要分支，研究的是逻辑关系的形式而不是内容。
它关注如何正确地推理和论证，而不论具体的主题或领域。
形式逻辑借助符号和公式来表达语言中的逻辑关系，从而使逻辑分析更加清晰和精确。
本文将介绍形式逻辑的基本概念和原则，并探讨其在理论和实践中的重要性。
一、形式逻辑的基本原则形式逻辑建立在几个基本原则之上，这些原则指导着逻辑推理和分析的过程。
1. 真值：形式逻辑认为命题（proposition）可以取真（true）或假（false）两个值。
只有在真值确定的情况下，逻辑推理才能进行。
2. 合式公式：形式逻辑使用合式公式（well-formed formulas）来表示逻辑关系。
合式公式是由命题变量、逻辑连接词和括号组成的。
3. 逻辑连接词：形式逻辑使用逻辑连接词来表示命题之间的逻辑关系。
包括合取（and）、析取（or）、否定（not）等。
4. 推理规则：形式逻辑使用推理规则来推导新的合式公式。
常见的推理规则包括假言推理、谬误识别和等价转换等。
二、形式逻辑的符号系统为了更加清晰和精确地表达逻辑关系，形式逻辑引入了符号系统。
符号系统使用符号来代表命题、逻辑连接词和推理规则，从而使逻辑分析变得更加简洁和规范。
1. 命题变量：在形式逻辑中，命题可以用字母或字母组合表示。
这些字母被称为命题变量，代表一个未知的命题。
2. 逻辑连接词的符号表示：形式逻辑使用特定的符号来表示逻辑连接词，比如“∧”表示合取，“∨”表示析取，“¬”表示否定等。
3. 推理规则的符号表示：形式逻辑使用符号来表示推理规则，比如“→”表示假言推理，“≡”表示等价转换等。
三、形式逻辑在理论上的重要性形式逻辑在理论上具有重要的意义，它为其他学科领域的理论构建和分析提供了基础。
1. 形式逻辑为思维规律提供基础：形式逻辑通过定义逻辑关系和推理规则，揭示了思维的一般规律。
它帮助人们理解思维过程中的常见误区，并提供了正确的推理方法。
形式逻辑学课件
演绎论证
演绎论证是从一般到个别的推理方法，它基于普 遍接受的规则或原理来得出特定结论。
因果论证
因果论证是通过确定事件之间的因果关系来进行 推理的方法。
非形式逻辑的应用领域
法律领域
非形式逻辑在法律领域中用于分析和评估证据、论点和判决。
商业领域
非形式逻辑在商业决策、市场分析和广告策划中用于评估信息和 制定策略。
亚里士多德是古典形式逻 辑的奠基人，他的逻辑理 论至今仍有深远影响。
现代逻辑学
19世纪末至20世纪初，数 理逻辑的兴起为形式逻辑 学带来了新的发展机遇。
符号逻辑
随着符号逻辑的发展，形 式逻辑学在数学、计算机 科学等领域的应用越来越 广泛。
02
命题逻辑
命题及其性质
总结词
理解命题的概念和性质是学习命题逻辑的基础。
词项是形式逻辑学中的基本概念，指具有确定内涵和外延的思维形态。根据内涵和外延是否明确，词 项可以分为单独词项、普遍词项和空词项。
直言命题及其推理
总结词
命题形式与推理规则
详细描述
直言命题是表达事物性质或事物之间 关系的命题，包括量项、主项、谓项 和联项。直言命题的推理包括对当关 系推理、换质推理、换位推理等。
命题逻辑的公理系统
总结词
公理系统是形式逻辑学中重要的组成部分，为推理提供了基 础和依据。
详细描述
公理系统包括一组基本规则和公理，用于推导其他命题。在 命题逻辑中，常用的公理系统包括自然推理系统和集合论系 统等，这些系统为推理提供了严密的形式化基础。
03
词项逻辑
词项及其性质
总结词
定义与分类
详细描述
形式逻辑思维的基本规律
形式逻辑思维的基本规律1.恒真式：恒真式是指在任何情况下都为真的陈述句，它使用符号"T"表示。
例如，“A或非A”是一个恒真式，因为无论A是真还是假，该陈述都为真。
2.矛盾式：矛盾式是指在任何情况下都为假的陈述句，它使用符号"F"表示。
例如，“A且非A”是一个矛盾式，因为无论A是真还是假，该陈述都为假。
3.有效性：有效性是指一个推理过程从前提到结论的正确性。
一个推理是有效的，当且仅当如果所有前提为真，那么结论一定为真。
例如，如果前提为“A为B”，“B为C”，那么结论“A为C”是有效的。
4.策略性：形式逻辑思维强调通过特定的推理规则和策略来得出正确的结论。
这些规则和策略包括假言三段论、拒取等。
例如，可以使用假言三段论法则来推理：“如果A为B，B为C，那么A为C”。
5.归纳推理：形式逻辑思维也可以用于归纳推理，即从一些特殊情况中得出一般规律。
归纳推理依赖于对已有事实的观察和总结。
例如，现有数据显示过去一年买海鲜的人都生病了，可以归纳得出结论：吃海鲜会导致生病。
6.演绎推理：演绎推理是从一般规律推导出特殊情况的过程。
演绎推理是依赖于前提的真实性和经验。
例如，根据一般规律“所有人都会死”，可以推导出特殊情况“约翰会死”。
7.范畴与逆否：形式逻辑思维认为逻辑中的范畴和逆否关系非常重要。
范畴是指命题中量词的作用范围，逆否是指命题中主谓关系的转换。
例如，“所有的狗都会叫”可以通过范畴的改变成为“有一只狗不会叫”，通过逆否的转换成为“如果一只狗不叫，那它就不是狗”。
8.确定性和不确定性：形式逻辑思维中存在确定性和不确定性两种情况。
确定性是指一种推理过程中根据已知事实可以得出确定的结论。
不确定性是指根据已知事实无法得出一定的结论。
例如，如果告诉你“今天下雨了”，你可以确定“地面湿润”，但无法确定“人们带伞”。
什么是形式逻辑
什么是形式逻辑形式逻辑是一种研究逻辑推理规则和推理形式的分支学科。
它关注的是逻辑结构以及逻辑推理的形式，而不仅仅关注具体的逻辑内容。
形式逻辑在哲学、数学、认知科学等领域有广泛的应用。
形式逻辑研究的是逻辑形式的抽象推理规则。
逻辑形式是指推理过程中的结构和方式，与具体内容无关。
形式逻辑所关注的是推理过程中的有效性和正确性，这种推理可以独立于具体领域的语言、概念和事实。
形式逻辑的起源可以追溯到古希腊。
亚里士多德是形式逻辑的奠基人，他在《篇章》中提出了分类学和明确的推理规则。
形式逻辑经过漫长的发展，衍生出了许多分支和体系，如谓词逻辑、命题逻辑、模态逻辑等。
形式逻辑的研究方法主要是使用符号和符号系统进行推理和分析。
符号在形式逻辑中代表逻辑结构和关系的抽象表示。
通过对符号的组合和转换，可以揭示给定前提下的推理过程和结论。
形式逻辑的分析结果可以用符号和结构来表示，这种抽象化的表达方式使得推理过程简洁且易于理解。
形式逻辑的研究内容包括逻辑连接词、命题、谓词、量词等。
逻辑连接词是指用于连接命题的词语，如“而且”、“或者”、“如果...那么...”等。
命题是具有真值可判断的陈述句，可以用符号表示，如P、Q等。
谓词是指可以作用于一个或多个个体，产生命题的语句，如“是红色的”、“是大的”等。
量词则表示谓词所涉及个体的范围和数量，如“对于每一个”、“存在一个”。
形式逻辑的推理规则主要包括假言推理、双重否定、构造演算等。
假言推理是以假设的形式进行推理，根据前提和假设的逻辑关系得出结论。
双重否定则通过否定命题的否定形式，得出与原命题等价的结论。
构造演算则是通过逻辑连接词的组合和转换推导出新的命题。
形式逻辑在哲学、数学、计算机科学等领域有广泛的应用。
在哲学中，形式逻辑用于分析和评估论证和观点的有效性。
在数学中，形式逻辑是数理逻辑的基础，用于证明定理和推导数学结论。
在计算机科学中，形式逻辑是设计和验证软件系统的重要工具。
形式逻辑的研究对于培养逻辑思维和批判性思维具有重要意义。
形式逻辑学
形式逻辑学形式逻辑学是一个引人深思的学科领域，它探讨了命题和推理的结构，帮助我们理解有效的推理方式和论证过程。
形式逻辑学起源于古希腊哲学家的思考和逻辑哲学的发展，通过符号化和抽象化的方式，揭示了命题和推理中的模式和规律。
逻辑符号和命题在形式逻辑学中，我们将命题和推理表示为逻辑符号的形式，这种抽象化的表达方式有助于我们理解论证和推理的本质。
命题是陈述句，通过True（真）或False（假）来描述命题的真假性。
逻辑符号则是用来表示命题之间的关系和逻辑操作的符号，如∧（与）、∨（或）、→（如果…，那么…）等。
命题逻辑和谓词逻辑形式逻辑学包括命题逻辑和谓词逻辑两种主要分支。
命题逻辑研究命题之间的逻辑关系，如合取、析取和条件等。
而谓词逻辑则引入了谓词和量词的概念，可以更精确地描述命题中的量化关系和属性。
推理和演绎形式逻辑学的一个核心问题是推理和演绎，即从前提推导出结论的过程。
演绎是一种严谨的推理方式，基于逻辑规则和前提，通过逻辑推断得出结论。
形式逻辑学通过符号化表示和逻辑规则的应用，帮助我们理解推理的有效性和合理性。
形式逻辑在现实生活中的应用形式逻辑学虽然看似抽象和理论化，但其实在现实生活中有着广泛的应用。
从科学研究到法律推理，形式逻辑的思维方式都能够帮助我们理清思路，做出有效的决策。
在信息时代，逻辑思维和推理能力更显重要，形式逻辑学的基础知识可以帮助我们更好地理解和分析复杂问题。
总结形式逻辑学是一门古老而又深刻的学科领域，通过抽象化和符号化的方法，研究了命题和推理的结构和规律。
形式逻辑学不仅是一种学术研究，更是一种思维方式，可以帮助我们提升逻辑思维能力和推理能力。
在当今信息化的社会中，形式逻辑学的基础知识对我们理解和分析复杂问题至关重要。
形式逻辑学的思维方式和方法将继续影响我们的学习和思考，成为我们探索真理和认识世界的有力工具。
这是一个1200字的Markdown文档，介绍了形式逻辑学的基本概念和应用，希望能够带给读者一些启发和思考。
形式逻辑知识点总结
形式逻辑知识点总结1.逻辑形式由逻辑常项和逻辑变项组成。
2.概念的种类根据外延中分子对象的数量来判断，单独概念指只有一个分子对象的概念，而普遍概念指具有两个或两个以上分子对象的概念。
集合概念是指把对象作为集合体来反映的概念，非集合概念则不把对象作为集合体来反映。
正概念即肯定概念，反映对象具有某种属性，负概念即否定概念，反映对象不具有某种属性。
3.概念间的关系有全同关系（同一关系）、真包含于关系（种属关系）、真包含关系（属种关系）、交叉关系、全异关系、矛盾关系和反对关系。
4.定义的规则包括定义项外延与被定义项外延之间必须是全同关系，被定义项不得直接或间接出现在定义项中，定义项必须用清楚确切的概念，定义联项不能是否定的。
5.划分的规则包括划分必须是相应相称的，划分的子项互相排斥，每次划分的根据必须相同。
需要注意划分和分解的区别。
6.遵守限制的规则是必须的。
7、概括的规则：每次概括必须由种概念推演到属概念，不能概括哲学范畴。
8、性质判断的组成：性质判断由主项、谓项、联项和量项组成。
主项代表对象的概念（S），谓项代表对象具有或不具有的性质的概念（P），联项代表主项和谓项之间的联系，量项代表主项数量的概念。
9、性质判断的种类：决定性质判断种类的词项是量项和联项。
全称肯定判断（SAP或A判断）、全称否定判断（SEP或E判断）、特称肯定判断（SIP或I判断）、特称否定判断（SOP或O判断）、单称肯定判断（SaP或a判断）和单称否定判断（SeP或e判断）。
注意：特称量项“有的”和日常语言中的“有的”含义不完全相同。
10、同一素材的性质判断之间的真假关系：有矛盾关系的A和O，以及E和I判断不能同真，也不能同假，一个真则另一个必假，一个假则另一个必真。
有反对关系的A和E判断不能同真，但可以同假。
其中一个判断为真则另一个判断一定为假，如果其中一个为假则另一个真假不定。
有下反对关系的I和O判断可以同真，但不能同假。
其中一个判断为真则另一个判断真假不定，如果其中一个判断为假则另一个判断一定真。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
3.概念的内涵是指反映在概念中的事物的特性或本质，概念的外延是指反映在概念中的一个个、一类类的事物。
4.内涵和外延的反变关系：一个概念的内涵越少，那么这个概念的外延越多，反之...
5.单独概念是反映某一单个对象的概念，例如：北京（专有名词）、世界第一大河/阿q正传的作者（摹状词）
合的关系（所有A不是B，所有B不是A），例如社会主义和资本主义
14.不相容关系可分为矛盾关系和反对关系
矛盾关系：一个正概念，一个负概念（金属、非金属）A+B=C
反对关系：两个概念见的外延之和没有穷尽全部外延，资本
主义国家和社会主义国家，因为还有封建主义国家等等A+B<C
15.相容并列关系：科学家、生物学家、农学家、物理学家
6..普遍概念是反映某一类对象的概念，例如：小说、诗歌
7.集合概念：个（森林）不一定全部非集合概念：类（岛屿）必须全部
8.正概念（肯定概念）：在思维反映中具有某种属性的事物概念例如：金属、理论
负概念（否定概念）：不具有某种属性的事物概念例如：非金属、非理论
概念外延的关系：
9.概念间的相容关系：同一关系、从属关系、交叉关系
间接的关系推理：传递性的关系推理：aRb bRc所以，aRc
反传递性关系推理：aRb bRc所以，a非Rc
混合三段论规则：混合关系三段论的前提中的性质命题必须是肯定的；媒介项的概念必须至少周延一次；前提中不周延的概念在结论中不得周延；如果作为前提的关系命题是肯定的，则作为结论的关系命题也必须是肯定的，如果...是否定的....则...也是否定的；如果关系R不是对称的，则在前提中作为关系者前项或后项的那个概念在结论中也必须相应的作为关系者前项或后项。
第五章
1.联言命题：p并且q，p∧合取q
2.联言推理：你既有优点又有缺点，所以你有缺点。
分解式：p∧q得出p（或q）
组合式：p q r得出p∧q∧r
3.选言命题：断定事物若干种可能情况的命题选言肢：物体要么是固体要么是液体要么是气体（物体是固体、物体是液体、物体是气体）
相容的选言命题：p∨析取q
不相容的选言命题：要么p要么q：p∨加个点强析取q （p∨q）∧非（p∧q）
5.三段论理论（m是p，s是m，所有s是pp）
6.思维的形式逻辑的区别在于逻辑常项的不同
7.逻辑规律：同一律、矛盾律、排中律。
8.数理逻辑是现代的形式逻辑，着重研究演绎逻辑。
9.辩证逻辑本事马克思主义的逻辑，是马克思主义哲学的逻辑职能。以思维形式及其规律作为自己的研究对象。
第二章
1.概念是通过揭示对象的特性或本质来反映对象的一种思维形式。
充分条件假言命题：如果你认真学，就会有好成绩→你认真学习，但成绩不好。p→q负命题： 非(p→q)=p∧非q
必要条件假言命题：只有你好好学习，你才能有好成绩→你不好好学习，但你的成绩却很好。
p←q负命题：非(p←q)=非p∧q
充分必要条件假言命题：p↔q负命题：非(p↔q)=p∧非q或非p∧q
5.假言命题：断定事物情况之间条件关系的命题联结词区分不同逻辑性质
充分条件假言命题：如果..就.. p→蕴涵q 只有当p=T，q=F时，p→q为F
充分条件假言推理：肯定前件式：p→q p得出q
否定后件式：p→q 非q得出非p
必要条件假言命题：只有..才... p←反蕴涵q
必要条件假言推理：否定前件式：p→q 非p得出非q
4.复合三段论：前进式的复合三段论、后退式的复合三段论
5.省略三段论：略
6.关系命题：a（关系者项）R（关系项）b（关系者项）
a：关系者前项b：关系者后向量项为数量
7.关系的性质：
对称性质：关系者后项与关系者前项位置能互换：若aRb为真，则bRa为真，关系R是一种对称关系（相等关系、相同关系、对立关系、矛盾关系、反对关系、交叉关系）
本质定义（真实定义）：发生定义、关系定义
20.发生定义：通过揭示事物或现象产生的原因来揭示事物的本质。
21.关系定义：通过解释被定义概念所反映的对象鱼另一对象之间的关系。
语词定义：说明的语词定义、规定的语词定义
22.定义规则：
定义项和被定义项外延相同（定义过宽/过窄）正方形是四条边相同的（过宽）
定义不应包括含混的概念，不能用隐喻（隐喻）
2.矛盾关系：A与O之间的关系：一个真，另一个假。一个假Байду номын сангаас另一个真。
3.差等关系：A与I之间的关系：A真，则I真。A假，则I不一定真假。I真，则A不一定真假。I假，则A假。
4.下反对关系：I与O之间的关系：两者可以同真，不可以同假。
6.命题变形：换质法换位法换质位法
第四章.
三段论公理：凡是肯定或否定了一类对象的全部，也就肯定或否定了这一类对象的任何部分对象或个别对象。
反对称关系：若aRb为真，则bRa为假。
非对称关系：若aRb为真，bRa有时真有时假。
传递关系：若aRb为真，且bRa为真，则aRc真
反传递关系：若aRb为真，且bRc为真，则aRc假
非传递关系：同非对称关系
8.关系推理：
直接的关系推理：对称性关系推理：aRb，所以，bRa
反对称关系推理：aRb，所以，b非Ra
1.三段论：结论中的主项是小项，结论中的谓项是大项，，前提出现结论未出现为中项。含有大项的是大前提，有小项的是小前提。
2.三段论规则：
必须有且只有三个不同的概念，不同概念重复出现时，所指的对象要相同，外延要相同。（四概念错误：往往是由于做为中项的概念未保持同一）
中项在前提中必须至少周延一次。（中项不周延）
定义项不应该直接或间接的包括被定义项（循环定义）
定义项不应当是否定的（否定定义）
23.被划分的概念是划分的母项，划分后所得的概念是划分打的子项，划分时所根据的对象或特征是划分的根据。（划分必须有属种关系）
24.一次划分、连续划分
25.二分法：所得的结果只有两个子项，一般是矛盾关系的概念。
26.划分规则：
4.选言推理你要么是人要么是怪物，你不是怪物，所以你是人。
相容的选言推理：p∨q 非p得出q 规则：否定一部分选言肢，就要肯定另一部分选言肢；肯定一部分选言肢，不能否定另一部分选言肢
不相容的选言推理：否定肯定式：p∨点q 非p得出q
肯定否定式：p∨点q p得出非q
规则：肯定一个选言肢，就要否定其余的选言肢；否定一个选言肢以外的选言肢，就要肯定未被否定那个选言肢。
10.同一关系：凡a是b，并且凡b是a（外延相同，内涵不同）
11.从属关系：一个概念的外延包含着另一个概念的全部外延。
A对B的关系是真包含于关系，B对A的关系是真包含关系。
具有从属关系的两个概念，必然具有内涵与外延的反变关系。
12.交叉关系：有的A不是B，有的B不是A，有的A是B
13.概念间的不相容关系（全异关系）：外延式互相排斥、没有任何重
大项或小项如果在前提中不周延，在结论中也不得周延。（大项不当扩大/小项不当扩大）
两个否定前提不能提出结论。（前提之一是否定，结论必然否定，反之亦然）
两个特称前提不能得出结论。（前提之一是特称，结论必然特称）
3.三段论格式：
第一格：大前提必须全称；小前提必须肯定。AAA,AAI,AII,EAE,EAO,EIO
划分要相应相称（划分不全、多出子项）
划分所得的子项的外延要互相排斥（子项相容）
每次划分要按统一标准进行（混淆根据）
要分清划分和分解的区别
文学作品划分为小说、诗歌、散文、戏剧
第三章.
1.性质命题是简单命题。（直言命题）
2.s（主项）是p（谓项）是/不是：联项量项：全程特称单称中国是社会主义国家。
3.按性质命题联项的不同可分为：肯定命题、否定命题（即是或不是）
第二格：两个前提中必有一个是否定命题；大前提必须为全称命题AEE,AEO,AOO,EAE,EAO,EIO
第三格：小前提必须为肯定命题；结论必须为特称命题。AAI,AII,EAO,EIO,IAI,OAO
第四格：如果前提有一个否定命题，那么大前提必须是全称命题；如果大前提是肯定命题，那么小前提必须是全称命题；如果小前提是肯定命题，那么结论必须是特殊命题。AAI,AEE,IAI,EAO,EIO,AEO
主项周延，谓项周延
所有S不是P
SIP
S∩P≠0
既属于S又属于P的类是存在的
主项不周延，谓项不周延
有的S是P
SOP
S∩非P≠0
既属于S又不属于非P的类是存在的
主项不周延，谓项周延
有的S不是P
主谓项相同的AEIO命题的真假关系
1.反对关系：A与E之间的关系：一个是真的。另一个就是假的。一个是假的，另一个不一定是真的。
第一章
1.逻辑含义：客观规律（中国革命的逻辑、历史的逻辑）、某种理论（侵略者把对别国人民的侵略说成友谊，这是强盗逻辑）、思维规律（写文章要有逻辑、中学生要学逻辑）、逻辑学
2.思维的过程是对客观世界的一种概括性的间接反映过程，具有概括性和间接性的特点。
3.思维形式：概念判断推理
4.所有s（主项）是p（谓项）（直言判断形式）
4.按性质命题量项的不同可分为：单称命题、特称命题和全称命题
5.SAP：全称肯定命题：所有S是P
SEP：全称否定命题：所有S不是P
SIP：特称肯定命题：有的S是P
SOP：特称否定命题：有的S不是P
凡恩图
SAP
S∩非P=0
既属于S又属于非P的类是不存在的
主项周延，谓项不周延
所有S是p
SEP
S∩P=0
既属于S又属于P的类是不存在的
肯定前件式：p→q q得出p
充分必要条件假言命题：当且仅当p，则q，p↔q
充分必要条件假言推理：p↔等值于q p得出q