自考普通逻辑经典笔记

《自考普通逻辑经典笔记》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

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

2、有的属性，只为该集合体所具有，而不必为这个集合体中的某一个体所具有非集合概念反映非集合体的概念3﹑根据概念所反映的对象是否具有某属性而作出来的分类正概念反映对象具有某属性的概念，也叫肯定概念负概念反映对象不具有某属性的概念2﹑两个概念之间的外延关系列表如下:同一关系真包含关系真包含于关系交叉关系全异关系矛盾关系反对关系相容关系不相容关系概念关系文档实用标准文案3﹑逻辑符号表：符号读法表达意思表达式备注∧合取并且p∧q联言判断∨析取或者p∨q相容选言判断不相容析取要么……要么p∨q不相容选言判断→蕴涵如果……那么p→q充分条件假言判断←逆蕴涵只有…

3、…才p←q必要条件假言判断↔等值当且仅当p↔q充分必要条件假言判断-非并非-p负判断◇可能可能◇p或然棋态判断□必然必然□p必然棋态判断R对称对称aRb关系推理4﹑性质判断的结构：表示所断定的对象主项性质判断构成谓项表示所断定的性质表示性质的断定自身，即肯定或否定联项表示主项被断定的数量或范围量项5﹑周延性：在一个性质判断中，如果其主项(或谓项)的全部外延都得到形式的断定，文档实用标准文案就称称该主项(或谓项)是周延的；否则，就称为不周延。第一﹑全称判断主项都周延；第二﹑特称判断主项都不周延；第三﹑肯定判断的谓项都不周延；第三﹑否定判断的谓项都周

4、延。5﹑性质判断的分类：分类标准形式表达式主谓项周延性全称肯定判断所有的S都是PSAP主項周延，謂項不周延全称否定判断所有的S都不是PSEP主項周延，謂項周延特称肯定判断有的S是PSIP主項不周延，謂項不周延特称肯定判断有的S不是PSOP主項不周延，謂項周延6﹑性质判断的关系：同一素材的性质判断之间的真假关系，称为对当关系存在对象对当关系要求逻辑方阵A和OE和I矛盾关系两个判断不能同真，不能同假下反对关系差等关系I反对关系差等关系EA矛盾关系OOA和E反对关系两个判断可以同假，不能同真O和I下反对关系两个判断可以同真，不能同假A和IE和O差等关系

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

6、词：判断类型联结词联言判断不但…而且…既…又…不仅…而且…虽然…但是…选言判断相容选言判断也许…也许…可能…可能…不相容选言判断要么…要么…或者…或者…二者必居其一虽然…但是…或…或…二者不可兼得假言判断充分条件如果…那么…如果…则…一旦…就…文档实用标准文案如果…就…必要条件只有…才…除非…不…除非…才…不…不…没有…没有…充分必要条件当且仅当如果…那么…并且只有…才…负判断并非10﹑假言判断普遍规律︰a﹑如果p是q的充分条件，那么q是p的必要条件；b﹑如果q是p的必要条件，那么p是q的充分条件；也就是说p→q和q←p是等值的11﹑复合判断的真

7、值表：a﹑联言判断真值表（全真为真）：pqp∧q真真假假真假真假真假假假b﹑选言判断真值表(全假为假)：pqp∨q真真假假真假真假真真真假c﹑充分条件假言判断真值表(前真后假为假,其余为真)：pqp→q文档实用标准文案真真假假真假真假真假真真c﹑必要条件假言判断真值表(前假后真为假,其余全真)：pqp←q真真假假真假真假真真假真d﹑充分必要条件假言判断真值表(全真全假为真,其余为假)：pqp↔q真真假假真假真假真假假真12﹑复合判断的负判断等值关系：复合判断负判断负判断等值于备注p∧q-(p∧q)-p∨-qp∨q-(p∨q)-p∧-qpq-(pq

8、)p∧q或-p∧-qp→q-(p→q)p∧-q文档实用标准文案p←q-(p←q)-p∧qp↔q-(p↔q)p∧-q或-p∧q-p-(-p