自考普通逻辑经典笔记.docx

1、自考普通逻辑经典笔记普通逻辑1概念：a定义：反映对象特有属性或本质属性的思维形式。 b概念的内涵：反映在概念中的对象的特有属性或本质属性， 也可以叫做概念的含义。 c概念的外延：是指具有概念所反映的特有属性或本质属性的对象，通常称为概念的适用对象。 d概念的分类：分类方法分类定义1根据概念外延的大小，即概念所反映的对象的数量的不同作出分类单独概念反映独一无二的概念普通概念反映的对象不是单一的，而是表示由许多性质相同的事物组成的类的概念2根据概念所反映的对象是否为集合体而作出来的分类集合概念反映集合体的概念：集合体是由许多个体组成的统一整体，集合体具有的属性，只为该集合体所具有，而不必为这个集合

2、体中的某一个体所具有非集合概念反映非集合体的概念3根据概念所反映的对象是否具有某属性而作出来的分类正概念反映对象具有某属性的概念，也叫肯定概念负概念反映对象不具有某属性的概念2两个概念之间的外延关系列表如下:概念关系3逻辑符号表：符号读法表达意思表达式备注合取并且pq联言判断析取或者pq相容选言判断不相容析取要么要么pq不相容选言判断蕴涵如果那么pq充分条件假言判断逆蕴涵只有才pq必要条件假言判断等值当且仅当pq充分必要条件假言判断-非并非-p负判断可能可能p或然棋态判断必然必然p必然棋态判断R对称对称aRb关系推理4性质判断的结构： 5周延性：在一个性质判断中，如果其主项(或谓项)的全部外延

3、都得到形式的断定， 就称称该主项(或谓项)是周延的；否则，就称为不周延。 第一 全称判断主项都周延； 第二特称判断主项都不周延； 第三肯定判断的谓项都不周延； 第三否定判断的谓项都周延。5性质判断的分类：分类标准形式表达式主谓项周延性全称肯定判断所有的S都是PSAP主項周延，謂項不周延全称否定判断所有的S都不是PSEP主項周延，謂項周延特称肯定判断有的S是PSIP主項不周延，謂項不周延特称肯定判断有的S不是PSOP主項不周延，謂項周延6性质判断的关系：同一素材的性质判断之间的真假关系，称为对当关系存在对象对当关系要求逻辑方阵A和O E和I矛盾关系两个判断不能同真，不能同假A和E反对关系两个判断

4、可以同假，不能同真O和I下反对关系两个判断可以同真，不能同假A和I E和O差等关系真假不定7复合判断的特点：复合判断的特点1由两个或两个以上的判断组成，即它们的基本单位(变项)是判断；组成复合判断的的判断称作支判断。2支判断通过“联结词”联结，不同的联结词是示出不的逻辑性质。3复合判断的真假是由其支判断的真假来确定的。8各复合判断的定义：复合判断类型定义联言判断断定几种事物情况同时存在的判断。选言判断断定几种可能事物情况至少有一种存在的判断。假言判断断定某一事物情况的存在(或不存在)是另一个事物情况存在(或不存在)的条件的判断。又叫条件判断。负判断否定某个判断的判断，又叫判断的否定。9复合判断

5、的联结词：判断类型联结词联言判断不但而且 既又 不仅而且虽然但是选言判断相容选言判断也许也许 可能可能不相容选言判断要么要么 或者或者二者必居其一虽然但是 或或二者不可兼得假言判断充分条件如果那么 如果则 一旦就 如果就必要条件只有才 除非不 除非才 不不 没有没有 充分必要条件当且仅当 如果那么并且只有才负判断并非 10假言判断普遍规律a如果p是q的充分条件，那么q是p的必要条件；b如果q是p的必要条件，那么p是q的充分条件； 也就是说pq和qp是等值的11复合判断的真值表： a联言判断真值表（全真为真）：pqpq真真假假真假真假真假假假b选言判断真值表(全假为假)：pqpq真真假假真假真假

6、真真真假c充分条件假言判断真值表(前真后假为假,其余为真)：pqpq真真假假真假真假真假真真c必要条件假言判断真值表(前假后真为假,其余全真)：pqpq真真假假真假真假真真假真d充分必要条件假言判断真值表(全真全假为真,其余为假)：pqpq真真假假真假真假真假假真12复合判断的负判断等值关系：复合判断负判断负判断等值于备注pq-( pq)-p-qpq-( pq)-p-qp q- (p q)pq 或-p-qpq-( pq)p-qpq-( pq)-pqpq-( pq)p-q或-pq-p-( -p)p13模态逻辑的关系：存在对象对当关系要求逻辑方阵p和-p-p和p矛盾关系两个判断不能同真，不能同假p

7、和-p反对关系两个判断可以同假，不能同真p和-p下反对关系两个判断可以同真，不能同假p和p-p和-p差等关系真假不定14模态逻辑的等值关系：原判断等值判断表达式备注-p-p-p-p-pp-pp-pp-pp-p-p-p-p15逻辑的基本规律：基本规律表达式内容违反所犯逻辑错误同一律A是A或pp在同一思维过程中，每一思想与其自身是同一的混淆概念 偷换概念 转移论题 偷换论题矛盾律A不是非A或-( p-p)在同一思维过程中，两个互相否定的思想不能同真，必有一假自相矛盾排中律A或者非A或p-p在同一思维过程中，两个互相矛盾的思想不能都假，必有一真模棱两可充足理由律p真，因為q真，并且由q能推出p在同一

8、思维和论证过程中，一个思想被确定为真，总是有充足理由的理由虚假推不出16推理：a定义：根据已知的判断得到新判断的思维形式。b组成：推理分为前提和结论两部分。 前提是推理所依据的判断，结论是推理所得的判断。c推理结论有效需满足的条件：第一推理有效。第二前提真实。17推理的分类18直接推理：是以一个判断为前提推出结论的推理。直接推理的前提和结论都是性质判断。书本包括两种推理的介绍：a对当关系的推理b判断变形关系的推理。19对当关系推理的有效式对当关系推理有效式矛盾关系SAPSEPSIPSOP SOPSIPSEPSAP差等关系SAPSIPSEPSOP反对关系SAPSEP下反对关系SOPSIP20判断

9、变形的推理：是通过改变前提的形式从而推出结论的直接推理。所谓改变前提的形式是指： 第一改变前提的质，即把前提的职项由肯定变为否定，或由否定变为肯定。(换质法) 第二改变前提的主谓项的位置，即把前提的主项改为谓项，把谓项改为主项。(换位法)21判断变形推理的原则判断变形基本形式变形推理规则换质法1结论和前提不同质，即前提是肯定的，则结论是否定的； 即前提是否定的，则结论是肯定的。2结论的主项和谓项与前提保持不变，结论的谓项是前提谓项的矛盾概念。换位法1结论和前提的质相同，即如果前提是肯定的，则结论也是肯定；如果前提是否定，则结论也否定。2结论的主项和谓项，分别是前提的谓项和主项。3前提中不周延的

10、概念，到结论中不得周延。22有效的变形推理：变形方式推理有效式换质法SAPSESEPSASIPSOSOPSI换位法SAPPISSEPPESSIPPIS23O判断不能换位。SIP命题不能换质位。SOP命题不能换位质(为什么)24三段论构成：a三段论的结构：由三个性质判断构成的：2个前提+1个结论。 b三段论前提和结论的主项和谓项，统称为项，任一三段论，都包括并且只包括三个不同的项。同一三段论中，每个项都出现两次。 c中 项：在前提中出现两次，在结论中不出现的项称为中项，中项常用M表示。 小 项：结论的主项称为小项，小项常用S表示。 大 项：结论的谓项称为大项，大项常用P表示。 大前提：包含大项的

11、前提称为大前提。 小前提：包含小项的前提称为大前提。25三段论的七条一般规则：序号内容违反所犯逻辑错误第一一个正确三段论，有且只有三个不同的项四项错误第二中项至少要周延一次中项两次不周延第三在前提中不周延的项，到结论中不得周延大项不当周延小项不当周延第四两个否定前提推不出结论/第五如果前提有一否定，则结论否定，如果结论否定，,则前提有一否定/第六两个特称前提不能推出结论/第七如果两个前提中有一个是特称的，那么，结论也是特称的/26三段论的格：就是由中项在前提中的不同位置所构成的三段论的不同形式。序号形式结构规则第一格中項(用M表示)分別是有大前提的主項和小前提的謂項1小前提必须是肯定的。2大前

12、提必须是全称的。有效式AAA EAE AIIEIO (AAI) (EAO)第二格中項分別是大小項的謂項1两个前提中必有一个是否定的。2大前提必须是全称的。有效式AEE EAE AOOEIO (AEO) (EAO)第三格中項分別是大小項的主項1小前提必须是肯定的。2结论必须是特称的。有效式AAI EAO AIIEIO IAI OAO第四格中項分別是：大前提的謂項小前提的主項1如果前提中有一个否定的，则大前提必须是全称。2如果大前提是肯定，那么小前提必须是全称。3如果小前提是肯定命题，那么结论必须是特称命题。4任何一个前提都不能是特称否定判断。5结论不能是全称肯定判断。有效式AAI EAO AEE

13、EIO IAI (AEO)27前提和结论的质肯定或否定量全称或特称組合形式，以下为有效式：第一格第二格第三格第四格AAAAEEAAIAAI EAEEAEEAOEAOAIIAOOAIIAEEEIOEIOEIOEIO(AAI)(AEO)IAIIAI(EAO)(EAO)OAO(AEO)28选言推理：a前提中有一個是選言判斷的推理。 b选言推理的规则：选言推理类型规则表达式不相容的选言推理第一否定一部分选言支，就要肯定另一部分选言支见课本P187-188第二肯定一部分选言支，就要否定另一部分选言支相容的选言推理第一否定一部分选言支，就要肯定另一部分选言支第二肯定一部分选言支，不能否定另一部分选言支29假言推理：a前提中有一個是選言判斷的推理。 b选言推理的规则：选言推理类型规则表达式充分条件假言推理第一肯定前件就要肯定后件，否定后件就要否定前件见课本第二否定前件不能否定后件，肯定后件不能肯定前件必要条件假言推理第一否定前件就要否定后件，肯定后件就要肯定前件第二肯定前件不能肯定后件，否定后件不能否定前件充分必要条件假言推理第一肯定前件就要肯定后件，否定后件就要否定前件第二否定前件就要否定后件，肯定后件就要肯定前件