形式逻辑笔记考试必备

1、1、逻辑：表示事物发展的客观规律；察看办理问题时特别的理论、看法或方法人类思想的规律、规则；研究思想形式和思想规律的学识（逻辑学）。2、一般逻辑：传统的形式逻辑，是研究思想的逻辑形式及其基本规律和人们认识现及时所使用的简单逻辑方法的科学。一般逻辑思想思想的基本规律思想的逻辑形式简单的逻辑方法逻辑思想形象思想灵感思想同一律、矛盾律逻辑常项逻辑变项排中律、充分原因律3、思想的逻辑形式：看法、判断和推理是思想的形式。反应在看法、判断、和推理中的特定对象及其属性叫做思想的详细内容。思想内容各部分之间的联系方式或形式构造，叫做思想的逻辑形式。看法4、看法：反应特定事物对象特有属性或实质属性的思想形式。5

2、、看法的内涵：反应在看法中的对象的特有属性或实质属性。6、看法的外延：是指拥有看法所反应的特有属性或实质属性的对象。依据看法外延的大小分类7、独自看法：是反应唯一无二的对象的看法。外延为一8、广泛看法：是反应一个以上对象的看法。外延过一依据看法所反应的对象能否为会合体分类9、会合看法：外延为会合体。会合体由很多个体构成的一致整体，会合体所拥有的属性，只为该会合体所拥有，而不用为这个会合体中的某一个体所拥有。10、非会合看法：外延为非会合体。依据看法所反应的对象能否拥有某属性分类11、正看法：内涵拥有某种属性。12、负看法：内涵不拥有某种属性依据看法外延能否为零分类13、实看法：外延为非零14、

3、虚看法：外延为零15、看法的内涵与外延之间的反变关系：一个看法的外延愈大，则它的内涵愈少，一个看法的外延愈小，则它的内涵愈多。一个看法的内涵愈少，则它的外延愈少；一个看法的内涵愈多，则它的外延愈小。16、看法的限制：是经过增添看法的内涵以减小看法的外延来明确看法的一种逻辑方法。（是减小看法外延的方法，即由外延较大的看法过渡到外延较小的看法，限制是由属看法过渡到种看法）独自看法是外延最小的看法，没法限制。17、看法的归纳：是经过减少看法的内涵以扩大体念的外延来明确看法的一种逻辑方法。（是扩大体念外延的方法，即由外延较小的看法过渡到外延较大的看法，归纳是由种看法过渡到属看法）归纳也是有限度的，归纳

4、的极限是范围。18、定义：是用简洁的语句揭露看法内涵的逻辑方法。由被定义项、定义项、定义联项三部分构成。定义的方法属加种差定义：被定义项=种差+邻近属看法.人就是能制造和使用生产工具的动物。发生定义：.水关系定义：.伯父功用定义：.缝纫机语词定义说明的语词定义：.“单方”也称“丹方”，是指民间流传的药方规定的语词定义：.五讲四美定义的规则：定义项的外延和被定义项的外延应是全同的；定义项中不可以直接或间接地包含被定义项；定义项中不得包含含混的看法或语词，不得用比喻；定义一般不用否认形式。19、区分：是经过把一个看法所反应的对象分为若干个小类，来揭露这个看法的外延的逻辑方法。由母项、子项、区分标准

5、（把母项分为若干子项的依据）区分的方法：一次区分：依据区分标准对母项一次区分完成连续区分：把母项区分为若干子项以后，再将子项作为母项持续进行区分二分法：以对象有无某种属性作为区分标准，将一个属看法区分为正、负看法区分的规则：区分后的各子项外延之和一定与母项的外延相等（X区分不全或多出子项）；每次区分一定依照同一标准进行（X区分标准不一样一）；区分的各子项应该互不相容（子项相容）；区分应逐层进行。特别的区分：分类按事物对象实质属性为标准对属看法区分，长远的稳固性列举揭露看法的一部格外延20、分解：是把一个整体分为若干构成部分。整体与部分间是不相容的关系，整体的属性部分其实不具备。判断21、判断：

6、是对思想对象有所判定的思想形式。22、判断的逻辑特点：判断都有所必定或有所否认。判断都有真假。23、判断和语句联系：判断是语句的思想内容，语句是判断的语言形式。判断和语句差别：A：范围不一样精神和物质：对应关系不一样任何判断都要用语句表达并不是所有语句都能表达判断同一判断能够由不一样句子表达有的语句能够表达不一样的判断命题：表达判断的语句称作命题。命题的逻辑形式就是命题形式。S、P词项变项，p、q称为命题变项。两者统称逻辑变项。24、判断的分类&各种判断的定义依照判断中能否出现必定、可能这两个模态词分类判断模态判断非模态判断模态判断：判定事物可能性或必定性的判断。即包含“必定”“可能”模态词的

7、判断形式。非模态判断：就使然状况做出判定的判断。不包含模态词的判断。依照判断内部构造分（基本构成是看法仍是判断）判断简单判断复合判断性质判断关系判断联言判断选言判断假言判断负判断全称必定A相容选言判充分条件假简单判断的（单称）断言判断负判断全称否认E不相容选言必需条件假复合判断的判断言判断负判断特称必定I充分必需条件假言判断特称否认O简单判断：自己中不含有其余判断的判断。命题形式中，逻辑变项是词项。复合判断：自己中包含有其余判断的判断。命题形式中，逻辑变项是命题。性质判断：直言判断。判定对象拥有或不拥有某种性质的判断。构成：主项S、谓项P、联项（肯、否）和量项（全称、特称）。必定判断：判定对象

8、拥有某种性质的判断。否认判断：-不拥有-。依照联项（性质）区分单称判断：判定单个对象拥有或不拥有某性质的判断。全称判断：判定主项的全体都拥有或不拥有某种性质的判断。特称判断：判定主项起码有一个拥有或不拥有某性质的判断。依照量项区分全称必定判断A、全称否认判断E特称必定判断I、特称否认判断O依照联项、量项分特称量项“有的”和平时语言中的“有的”含义不完整同样同一素材的性质判断：性质判断的主、谓项均同样。对当关系：同一素材的性质判断之间的真假关系。矛盾关系：AOEI不可以同真同假反对关系：AE不可以同真，可同假下反对关系：IO可同真，不一样假差等关系：AIEO全真特真，特假全假，其余真假不定对当关

9、系的建立，是以判断的主项非空为条件的。假如主项为空看法，则只有矛盾关系建立对当关系中，单称判断不可以作全称判断办理。对当关系逻辑方阵A反对关系E差差等矛盾关系等关关系系I下反对关系O真值表S、P关系S=PSPS&PS%P真假全同真包含于真包含交错全异判断的种类A+_E+_+I_+_O_+性质判断主、谓项的周延性周延：在一个性质判断中，其主项（或谓项）的所有外延都获得形式的判定。反之，不周延。结论：第一、全称判断的主项都周延（A、E主周）第二、特称判断的主项都不周延（I、O主不周）第三、必定判断的谓项都不周延（A、I谓不周）第四、否认判断的谓项都周延（E、O谓周）周延表（前不周，后不周；后不周，

10、前可周可不周）判断种类主项谓项全肯A周延不周延全否E周延周延特肯I不周延不周延特否O不周延周延关系判断：判定对象之间关系的判断构成：关系者项、关系项、量项二元关系：R（a、b）对称性对称、反对称、非对称传达性传达、反传达、非传达联言判断：判定几种事物状况同时存在的判断。构成：联言支，联络词。逻辑形式：p并且q。写作pq（p合取q）。联言词：不只并且；既又；不单还；固然可是选言判断：判定几种可能事物状况起码有一种存在的判断。构成：选言支，联络词。相容的选言判断：判定几个选言支中起码有一个为真并且能够同真的选言判断。逻辑形式p或许q。写作pq（p析取q）。联言词：或许或许等不相容的选言判断：判定几

11、个选言判断就是判定几个选言支中有并且只有一个为真的选言判断。逻辑形式：pq（p不相容析取q）。联言词：要么要么假言判断：条件判断。判定某一事物状况的存在（或不存在）是另一个事物状况存在（或不存在）的条件的判断。p前件，q后件充分条件假言判断：判定事物状况之间拥有充分条件关系的假言判断。逻辑形式：假如p,那么q。写作pq（p蕴涵q）。联言词：假如那么；一旦就必需条件假言判断：判定事物状况之间拥有必需条件关系的假言判断。逻辑形式：只有p，才有q。写作pq（p逆蕴涵q）。联言词：除非才；只有才充分必需条件假言判断：判定事物状况之间拥有充分必需条件关系的假言判断。逻辑形式：p当且仅当q。pq（p等值q

12、）。联言词：假如那么并且只有才假如p是q的充分条件，那么q就是p的必需条件；假如q是p的必需条件，那么p就是q的充分条件。充分条件：pq有p必有q，没p未必没q；没q必定没p,有q未必有p必需条件：pq没p必没q，有p未必有q；有q必有p,没q未必没p充分必需条件：pq有p必有q，没p必没q负判断：否认某个判断的判断，又叫判断的否认。逻辑形式：并不是p。写作p简单判断的负判断：并不是所有S是P等值于有些S不是P(非AO)并不是所有S不是P等值于有些S是P(非EI)并不是有些S是P等值于所有S不是P（非IE）并不是有些S不是P等值于所有S是P（非OA）并不是某个S是P等值于某个S不是P并不是某个

13、S不是P等值于某个S是P复合判断的负判断：并不是（p并且q）等值于非p或非q都真时真并不是（p或许q）等值于非p且非q都假时假并不是（要么p，要么q）等值于（p且q）或（非p且非q）一真时真并不是（假如p，那么q）等值于p并且非q前真后假时假并不是（只有p，才q）等值于非p并且q前假后真时假并不是（p当且仅当q）等值于（p且非q）或（非p且q）一真一假时假并不是（并不是p）等值于p两重否认联言判断选言判断假言判断负判断真值表联言判断相容的选不相容的充分条件必需条件充分必需负判断言判断选言判断假言判断假言判断条件假言PqpqpqPqpqpqPqp+_+_+_+_+_+_+_+_+合取析取不相容析

14、蕴涵逆蕴涵等值非取都真时真都假时假一真时真前真后假前假后真一真一假时假时假时假推理25、推理：依照一个或几个已知的判断获得另一个新判断的思想形式。26、推理的构成：前提（推理所依照的判断）；结论（推理所获得的判断）推理的有效性：形式有效性。当且仅当有此推理形式的任一推理都不出现真前提和假结论。（不可以经过结论的真假来看有效无效）（推理有效，前提真切）27、推理的种类演绎推理：从一般到个别归纳推理：从个别到一般依据思想进度不一样类比推理：从个别到个别必定性推理：前提蕴涵结论，前提真，结论必定真或然性推理：前提不蕴涵结论，前提真，结论只是可能为真前提结论能否有必定联系直接推理：以一个判断为前提推出

15、结论的推理。前提和结论都是性质判断对当关系的直接推理：在同一素材的各样性质判断之间进行的推理。（16个有效式）矛盾关系的推理SAPSOP；SEPSIP；SIPSEP；SOPSAP(技术有限)SAPSOP；SEPSIP；SIPSEP；SOPSAP.差等关系的推理SAPSIP；SEPSOP；SIPSAP；SOPSEP反对关系的推理SAPSEP；SEPSAP下反对关系的推理SIPSOP；SOPSIP判断变形的直接推理：经过改变前提的直言判断的形式进而推出结论的直接推理改变前提的质。肯变否，否变肯换质法：经过改变前提的质，进而得出结论的直接推理方法SAPSEP；SEPSAP；SIPSOP；SOPSIP

16、改变前提的主、谓的地点。质同样，主谓换，前不周后不得周换位法：经过互换前提中主、谓项的地点进而推出结论的直接推理方法。SAPPIS；SEPPES；SIPPISO判断不可以换位间接推理：简单判断的推理：复合判断的推理：三段论：由两个包含着一个共同项的性质判断推出一个新的性质判断的推理。又称直言三段论。S小项，M中项，P大项；有S的是小前提，有P的是大前提。三段论的公义：一类对象的所有是什么或不是什么，那么对象中的部分是什么或不是什么。三段论的一般规则：三个看法中周延，大项小项莫扩展。一特得特否得否，两特两否结论难。1、一个正确三段论，有且只有三个不一样的项。违犯，则犯“四项错误”。2、中项起码要

17、周延一次。违犯，则犯“中项两次不周延错误”3、在前提中不周延的项，到结论中不得周延。违犯，则犯“大项或小项不妥周延”4、两个否认前提推不出结论。5、假如前提有一否认，则结论否认；假如结论否认，则前提有一否认。6、两个特称前提不可以推出结论。7、假如两个前提中有一个是特称的，那么，结论也是特称的。三段论的格（由中项在前提中的不一样地点所构成的三段论的不一样形式）第一格第二格第三格第四格大前提MPPMMPPM小前提SMSMMSMS结论SPSPSPSP小前提须是肯前提中须有一小前提须是肯定的个能否认的定的大前提须是全大前提须是全结论须是特称称的称的的两前提有一否认，则大前提全称若大前提必定，则小前提

18、全称如小前提必定，则结论特称任何一个前提都不能是特称否认结论不可以是全称肯定A证明：1、先把某一格的图画出来2、用反证法，假定对峙面3、找出不切合规则的地方4、得出假定不建立题型：.有效三段论结论为O，推导详细格三段论的式（前提和结论的质、量组合形式）可能式256个，有效式24个，弱式5个第一格第二格第三格第四格AAAAEEAAIAAIEAEEAEEAOEAOAIIAOOAIIAEEEIOEIOEIOEIO（AAI）（AEO）IAIIAI(EAO)(EAO)OAO(AEO)28、联言推理：前提或结论为联言判断的推理。种类：分解式：由前提中联言判断的真，推出其任一支判断真的联言推理。pqp或pqq组合式：由前提中所有支判断真，推出联言判断真的联言推理。，qpq选言推理：前提中有一个是选言判断的推理。种类：不相容的选言推理规则：否认一部分选言支，就要必定另一部分选言支必定一部分选言支，就要否认另一部分选言支否认必定式：p不相容析取q，非pq必定否认式：p不相容析取q，p非q相容的选言推理规则：否认一部分选言支，就要必定另一部分选言支必定一部分选言支，不可否认另一部分选言支否认必定式：pq，非pq假言推理：前提中有一个是假言判断并且依据假言判断前后件之间的关系而推出结论的推理。种类充分条件假言推理（有p必有q）（没q必没p）（没p未必没q）（有q未必有p）规则：必定前件就要必