下载文档原格式
第一章引论第一节、传统逻辑与现代逻辑一、“逻辑”“逻辑”是一个外来词，他由英文Logic音译过来，就象“沙发”“咖啡”这类词一样。
英文Logic又源于希腊文λσγοs（逻各斯）λσγοs→Logic→逻辑“λσγοs”是个多义词，原意指思想，言辞，理性，规律性等等，到中世纪，一些西方学者才用“逻辑”专指研究推理论证的学问。
我国近现代学者曾用“名学”“辩学”“理则学”“论理学”来译英文Logic，到20世纪才逐渐通用“逻辑”这一译名。
在现代汉语里,“逻辑”是个多义词。
一般来说它有以下四种含义：1、指客观实物发展的规律例如：斗争，失败，再斗争，再失败，再斗争直至胜利，这就是中国革命的逻辑。
2、指某种特殊的理论。
观点或看问题的方法。
例如：揭露霸权主义的强盗逻辑3、人们思维的规律性例如：我们说话，写文章要合乎逻辑。
4、指一门科学，即逻辑学。
例如：学点文法和逻辑。
逻辑学按其历史发展阶段和类型的不同，可分为传统逻辑和现代逻辑。
二、传统逻辑的产生和发展逻辑学是一门古老的科学，从它产生到如今，已有2000多年的历史。
传统逻辑的发源地有三个：这就是古代的中国，印度和希腊。
中国早在春秋战国时期，逻辑思想就有很大发展，随之产生逻辑学说，史称“名辩之学”。
主要内容表现在惠施，公孙龙，后期墨家，荀况，韩非等人的著述中。
其中后期墨家的著作《墨经》和荀子的《正名篇》在逻辑上的贡献最为卓著。
例如《墨经》提出了“以名举定，以辞抒意，以说出故”的光辉思想。
这里所谓“名”，相当于概念；所谓“辞”，相当于命题；所谓“说”，相当于推理。
这说明，在人们的思维和论证过程中，概念是用来反映事物的。
命题是用来表达思想认识的，推理是用来推导事物的因果联系的。
显然，这是对概念，命题，推理的本质和作用所作的精辟说明。
又如，《墨经》说：“或谓之牛，或谓之非牛，是争彼也。
是不俱当，不俱当，必或不当。
”这就是说，“是牛”和“不是牛”这两个论断不能都成立，必有一个不能成立。
逻辑学教程课后习题答案习题一：命题逻辑1. 判断下列命题的真假：- 命题A: “所有的猫都是哺乳动物。
”（真）- 命题B: “有些猫不是哺乳动物。
”（假）2. 将下列命题转化为逻辑表达式：- 命题C: “如果今天是星期一，那么明天是星期二。
” 可表示为：(M → T)，其中M代表“今天是星期一”，T代表“明天是星期二”。
习题二：演绎推理1. 根据以下前提，推导出结论：- 前提1: 所有学生都需要学习逻辑。
- 前提2: 小明是一名学生。
- 结论：小明需要学习逻辑。
2. 判断下列推理是否有效：- 推理：如果下雨，地面就会湿。
今天地面湿了，所以今天下雨了。
- 这是一个无效推理，因为地面湿了可能有其他原因，不一定是因为下雨。
习题三：归纳推理1. 观察以下事实，归纳出一个一般性结论：- 事实1: 苹果落地。
- 事实2: 橙子落地。
- 事实3: 梨落地。
- 结论：所有水果都会落地。
2. 分析下列归纳推理是否合理：- 推理：我们观察到的天鹅都是白色的，因此所有天鹅都是白色的。
- 这是一个不完全归纳推理，因为存在黑天鹅，所以这个推理是不合理的。
习题四：逻辑谬误1. 识别下列论证中的逻辑谬误：- 论证：没有人是完美的，所以没有人应该追求完美。
- 谬误：滑坡谬误，错误地假设因为没有人是完美的，追求完美就是不可能的或不合理的。
2. 指出下列论证中的非形式谬误：- 论证：因为许多成功的企业家都穿西装，所以穿西装是成功的关键。
- 谬误：因果谬误，错误地将相关性当作因果关系。
习题五：条件命题1. 判断下列条件命题的真假：- 命题D: “如果考试及格，那么就能毕业。
”（真或假，取决于具体情况）- 命题E: “只有考试及格，才能毕业。
”（假，因为可能还有其他毕业条件）2. 转换条件命题为逆命题、否命题和逆否命题，并判断它们的真假：- 逆命题：如果毕业，那么考试及格。
- 否命题：如果考试不及格，那么不能毕业。
- 逆否命题：如果不能毕业，那么考试不及格。
逻辑学教程第一章导论第一节传统逻辑与现代逻辑一、“逻辑”的含义•Logic•在中国古代为“名学”、“辨学”、“理则学”、“论理学”1、含义：⑴指客观事物发展的规律⑵指某种特殊的理论、观点或者看问题的⑶人们的思维的规律性⑷指一门科学，即逻辑学、㈠、逻辑学的产生1、逻辑学发源地之一：古代中国“以名举定，以辞抒意，以说出故”2、逻辑学发源地之二：古代印度代表作：陈那《因明正确门论》商羯罗主《因明入正理论》3、逻辑学发源地之三：古希腊㈡、逻辑学的发展1、欧洲中世纪的逻辑学重演绎，轻归纳2、17世纪的逻辑学培根著作《新工具》3、18世纪到19世纪的逻辑学康德“形式逻辑”第二节逻辑学的研究对象一、认识与思维1、思维具有间接性2、思维具有概括性3、思维和语言密不可分二、逻辑形式与逻辑规律1、所有S都是P2、如果p，那么q3、所有的M都是P所有的S都是M所以，所有的S都是P4、如果p,那么qP所以，q三、演绎性与可靠性1、演绎推理的有效性：形式有效，前提真实2、归纳推理和类比推理的可靠性第三节逻辑与语言一、逻辑与语言（逻辑≠语言）逻辑是思维的内容，语言是思维的表达形式。
二、自然语言与人工语言自然语言：便于交流、沟通三、对象语言与元语言1、对象语言：作为讨论对象的语言2、元语言：用来讨论对象的语言四、学习逻辑学的意义1、逻辑学的性质：工具性、全人类性、基础性第二章概念第一节概念及其特征一、什么是概念1、概念是反映对象特有属性或本质属性的思维形式（概念总是不全面的）2、属性是指事物的性质特点以及事物与事物之间的关系3、事物与其属性是不可分离的，事物都具有一定的性质4、属性：⑴偶有属性⑵固有属性①一般属性②本质属性Ⅰ特有属性Ⅱ派生属性二、概念与语词、词项㈠、概念与词语之间的关系1、联系：概念是语词的思想内容，语词是概念的表达形式。
2、区别：⑴概念具有全民性，语词具有民族性⑵所以的概念都必须通过语词来表达，但不是所以语词都表达概念（如虚词不表达概念）⑶同一个概念可以用不同语词来表达（同义词）⑷同一个语词可以表达不同概念㈡、词项1、词项是现代逻辑的一个基本概念，它是概念和词形的统一，即表达概念的语词三、概念的内涵和外延1、概念的内涵是指反映在概念中的对象的本质属性（属性、是什么）2、概念的外延是指具有概念所反映的特有属性或本质属性的对象（对象、有哪些）3、任何概念都是内涵和外延的统一4、概念的外延是一个类，同一类的对象叫做“类”，把从属于“类”的每个对象叫做“分子”，把一个“类”中包含的小类叫做“子类”第二节概念的种类一、单独概念和普遍概念（外延个数）1、单独概念是外延仅有一个单独对象的概念2、普遍概念是外延有2个或2个以上的概念3、从语言角度看，用专有名词和摹状词表达单独概念；同时用普遍名词、形容词、动词表达普遍概念※摹状词：通过对某一个别事物某方面特征的描述而泛指该事物的语词二、集合概念和非集合概念1、集合概念就是以事物的群体为反映对象的概念2、非集合概念就是不以事物的群体为反映对象的概念（反映事物的类）3、⑴集合概念和非集合概念的判定要依据一定的语境⑵集合概念拥有的属性个体不一定具有；非集合概念所拥有的属性个体也必须具有⑶集合概念不具有传递性，在三段论中不能做中项三、正概念和负概念1、是否具有某种属性，具有则为正概念，不具有则为负概念例：正概念—黑色负概念—非黑色3、论域=相应的正概念+负概念四、实体概念和属性概念1、反映对象的是实体概念；反映属性的是属性概念第三节概念间的关系全同关系真包含关系属种关系相容关系真包含关系交叉关系概念间关系不相容关系反对关系全异关系矛盾关系第四节概念间的限制和概括一、内涵与外延之间的反变关系1、具有属种关系的两个概念其内涵和外延之间具有反变关系，即：一个概念的外延越大、内涵越小；反之，外延越小、内涵越大二、概念的限制和概括1、定义：概念的限制是通过增加概念内涵以缩小概念的外延，由一个较大的概念过渡到一个外延较小的概念2、规则：（1）必须由属概念推衍到种概念（2）单独概念不能再限制三、概念的概括1、定义：概念的概括是通过减少概念的内涵以扩大概念的外延，由一个外延较小的概念过渡到一个外延较大的概念2、规则：（1）由种关系推衍到属概念（2）哲学范畴不能再概括，如：物质、意识第五节定义一、定义及定义的结构1、定义是明确概念内涵的逻辑方法2、一个完整的定义是由三部分组成的，即被定义项、定义项和定义联项3、定义项通常由“是”、“就是”、“即”、“称为”、“是指”等语词来表达4、定义的公式是：Ds就是Dp二、定义的种类及下定义的方法1、真实定义（也叫属加种差方法）（1）公式：被定义项=种差+邻近属概念（2）具体步骤：第一，找到属概念第二，找到种差（即可以将被定义项所反映的对象与包含在同一属中其他种事物区别开来的特有属性或本质规定）第三，用种差限制邻近属概念以构成定义项第四，用适当的定义项联项将被定义项和定义项联结，形成一个完整的定义（3）不同的种差，从不同角度去揭示事物的特有属性（发生定义、性质定义、功用定义、关系定义）2、语词定义（1）说明的语词定义是对某个语词的已有的、并得到社会承认的意义作出解释、说明的定义【对字面意思作出解释】（2）规定的语词定义是人们通过约定对某个原有的或新出现的词赋予特定意义的定义三、定义的规则1、定义概念的外延和被定义概念的外延必须完全相等【定义过宽、定义过窄】2、定义不能循环【同语反复：定义项中直接包含被定义项（圆就是圆形的曲线）；循环定义：定义项中间接地包含了被定义项（生命是有机体的新陈代谢）】3、定义应当用肯定的语句形式和正概念【定义离题】5、定义必须明确，不可以用比喻代替定义【定义含混：使用的语词含混不清；以比喻代定义：定义中运用了比喻】第六节划分一、划分及划分的结构1、划分就是以对象的一定属性为标准，将一个属概念分成若干个种概念，以明确其外延的逻辑方法2、划分由三部分构成：划分的母项、划分的子项和划分的根据3、母项：被划分的概念；子项：划分后得到的概念；根据：把母项划分为子项所依据的标准二、划分的类型1、一次划分和连续划分•一次划分：只有母项和子项两层•连续划分：把一个母项划分划分为若干个子项，再对子项进行划分2、二分法划分标准：以对象有无某种属性→【划分出来的是正概念和负概念】三、划分的规则1、划分所得各子项的外延之和必须全同于母项的外延→【子项和母项外延是全同关系】【划分不全、多出子项】2、每次划分的标准必须同一【多标准划分】3、划分的各子项之间必须互不相容→【划分出来的子项外延具有全异关系】【子项相容】❤【多标准划分必与子项相容同时出现】四、划分、分解与列举1、分解是整体与部分的关系，分解后的部分不具有整体的属性；划分后母项和子项是属种关系，子项具有母项的属性2、单独概念不能再划分，但可以再分解3、列举是划分的省略形式，是一种特殊的划分4、列举的规则：⑴每次列举的标准只能是一个⑵列举的各子项外延之间互不相容第三章命题逻辑第一节命题和推理概述一、命题及其特征1、命题：用语句来反映事物情况的思维形式2、命题的特征：（1）任何命题都有所陈述→【断定性】（2）任何命题都有真假→【真假性】→【主要特征】二、命题与判断1、区别（1）命题只是对事物情况的陈述，而判断是对事物情况的断定，也就是对陈述事物情况的命题的断定（2）命题比判断的外延要广，包括已被断定的命题——判断和未被断定的命题——非判断❤【命题比判断的外延大，命题具有主观性】三、命题与语句1、虽然命题都通过语句来表达，但并非所有语句都表达命题•一般来说，陈述句直接表达命题，疑问句、祈使句、感叹句不直接表达命题（反问句也是表达命题）2、同一命题可以用不同的语句来表达3、同一语句可以表达不同的命题4、命题是描述事件的语句所表达的思想内容【命题属于思维范畴，语句是一种符号】四、命题形式及种类1、命题形式：⑴所有的金属都是导体→【所有的S都是P】⑵法律与道德是相联系的→【a与b有R关系】⑶他或者是医生，或者是教师→【P或者q】⑷如果明天不下雨，那么我们就组织学生去博物馆参观→【如果P，那么q】2、命题形式的种类❤（1）根据命题是否有模态词→（可能、应该、则、必须等）命题模态命题非模态命题（2）划分关键是逻辑变项逻辑变项是概念→简单命题逻辑变项是命题→复合命题简单命题性质命题关系命题命题复合命题联言命题假言命题选言命题负命题五、推理及其分类1、推理是一个命题序列，它从一个或几个已知命题推出一个新命题的思维形式2、推理的结构：P，所以，Q ❤【前提，逻辑标志“所以”，结论】3、推理的分类：（1）前提和结论之间是否有蕴涵关系：必然性推理（演绎推理、完全归纳推理）；或然性推理（不完全归纳推理、类比推理）（2）思维进程方向的不同：演绎推理→【从一般到特殊】归纳推理→【从特殊到一般】类比推理→【从特殊到特殊】*（3）前提数量的不同：直接推理和间接推理第二节联言命题及推理一、联言命题1、联言命题是陈述若干事物情况同时存在的命题2、形式：p并且q(p、q都表示命题) ，也可表示为合取式：p∧q(p合取q)二、联言推理（一）分解式公式：（p∧q）→p（二）组合式公式：（p，q）→p∧q第三节选言命题及其推理★既然命题反映情况，那么选言命题是反映若干事物中至少一种情况存在的命题一、相容选言命题一个二肢的相容选言命题的形式是：p或者q，也可表示为析取式：p∨q二、相容选言推理1、否定肯定式：蕴涵式：（p∨q)∧┐p→q※无效的推理形式即肯定否定式2、析取附加式：蕴涵式：p→p∨q【两条规则】①否定一部分选言支，就要肯定另一部分选言支②肯定一部分选言支，不能否定另一部分选言支三、不相容选言命题★陈述若干事物情况中有且仅有一个为真的命题【排斥同真】一个二肢的不相容选言命题的形式是：p要么q，也可表示为析取式：p q（p 不相容析取q）四、不相容选言推理★不相容选言推理是前提有一个是不相容选言命题，并且根据不相容选言命题的逻辑性质进行的推理。
《逻辑学教程》重难点整理资料第二章概念第五节定义三、定义的规则（P33）1.定义项的外延与被定义项的外延必须是全同的如果定义项外延大于了被定义项外延，那就是犯了“定义过宽”的逻辑错误；如果定义项外延小于了被定义项外延，那就是犯了“定义过窄”的逻辑错误。
例如：商品就是用来交换的劳动产品。
（正确）商品就是劳动产品。
（错误，定义过宽）商品就是通过货币交换的劳动产品。
（错误，定义过窄）2.定义项中不能直接或间接地包含被定义项直接包含→“同语反复”，如：残疾人就是有残疾的人。
间接包含→“循环定义”，如：南就是与北相反的方向，北就是与南相反的方向。
3.定义项一般不能用负概念如：商品就是非生产者本人消费的产品。
定义项“非生产者本人消费的产品“就是一个负概念，没有说明”商品“具有什么属性，没有达到明确概念的目的。
因此，定义项采用负概念是错误的。
但是，在特殊情况下，定义项也可以是负概念，如：综上，这一条规则可以表述为：给正概念下定义不能用负概念；给负概念下定义可以用负概念。
4.定义项中不得包含含混不清的概念或语词，不得用比喻代替定义定义项语言表述含混不清→“含混不清“的逻辑错误例：儿童是祖国的花朵。
（运用比喻，形象地说明了某一方面的特征，但没有明确揭示事物的特有属性，犯了“比喻代定义“的错误。
）第六节划分母项子项三、划分的规则（P37）1.划分后的各子项外延之和必须与母项外延相等划分后的子项外延之和大于母项概念的外延→“多出子项“的逻辑错误……小于……→“划分不全“的逻辑错误2.每一次划分必须按照同一标准进行否则→“划分标准不同一“的逻辑错误3.划分后的各子项外延不能相容否则→“子项相容“的逻辑错误（没有达到明确概念外延的目的）第三章直言命题及其推理第一节命题与推理的概述1.命题：表达判断的语句。
如：所有的物质都是运动的。
（一）断定性。
所谓断定，包括肯定和否定。
命题的逻辑特征（二）真假性。
所谓真假，是指判断是否与客观实际相符合。
命题形式（逻辑形式）的划分：按变项成分的不同，将命题分为简单命题与复合命题。
直言命题简单命题（原子命题），如“所有S都是P“。
关系命题命题联言命题选言命题复合命题，如“P并且Q“。
假言命题负命题……2.推理：由一个或几个已知命题推出另一个新命题的思维形式。
例如：（1）所有商品都是劳动产品，所以，有的劳动产品是商品。
（2）人总是要死的，苏格拉底是人，所以，苏格拉底是要死的。
（3）他或者是第一名，或者是第二名。
已知他不是第一名，所以，他肯定是第二名。
（4）铜是导电的，铁是导电的，铝是导电的，铜、铁、铝都是金属，所以，金属都是导电的。
在必然性推理中：如果前提真实，并且形式正确，那么结论必然真实。
第二节直言命题1.命题：又名性质命题，是断定对象是否具有某种性质的命题。
例如：（1）所有金属都是导电的。
（2）有的被告不是罪犯。
主项：表示断定的对象谓项：表示断定对象的性质2.命题的四个组成部分 联项：是用来联结主项和谓项的，也称直言命题的质，表示断定本身的性质分为肯定和否定两种。
量项：也称直言命题的量，表示对象的数量。
分为三种情况：全称、特称、单称。
3.直言命题的种类4.直言命题词项的周延性直言命题的周延性就是指该词项（主项或谓项）的外延被全部否定了，就称为周延。
反之，没有被全部断定，就称为不周延。
总结规律：全称命题主项周延，特称命题主项不周延； 肯定命题谓项不周延，否定命题谓项周延。
5.直言命题的逻辑方阵（1）AE之间是反对关系，即不同真，可同假。
（AE不能同时为真，其中至少有一个为假，也可以同时为假。
）（2）IO之间是下反对关系，即不同假可同真。
（IO不能同时为假，其中至少有一个为真，也可以同时都为真。
）（3）AO之间和EI之间是矛盾关系，即不同真，也不同假。
（两命题之间必有一个为真，另一个为假。
）（4）AI之间和EO之间是差等关系（亦称从属关系），可同真也可同假。
（全称命题真，特称命题必真；全称命题假，特称命题真假不定；特称命题真，全称命题真假不定；特称命题假，全称命题必假。
）第三节直接推理1.对当关系推理此处加否定符号“”，表示被否定的命题为假。
（1）反对关系推理公式（不同真）：①SAP→SEP ②SEP→SAP（2）下反对关系推理公式（不同假）：①SIP→SOP ②SOP→SIP（3）矛盾关系推理公式（不同真，不同假）：①SAP→SOP ②SOP→SAP③SAP→SOP ④SOP→SAP⑤SEP→SIP ⑥SIP→SEP⑦SEP→SIP ⑧SIP→SEP（四）差等关系推理公式（上真下真，下假下假）：①SAP→SIP ②SIP→SAP③SEP→SOP ④SOP→SEP2.换质法推理换质法推理是通过改变直言命题的质（联项）从而得到一个新的直言命题的推理。
其推理形式是：SAP→SEP （此处加否定符号“”表否定）换质法推理的规则是：①改变前提命题的质（联项），即由肯定变为否定，或由否定变为肯定；②改变前提命题的谓项，即在结论中变为与其相矛盾的概念；③量项和主项不变。
换质法推理实际上是等值推理，即由前提可以推出结论，反过来由结论也可以推出前提。
3.换位法推理换位法推理是通过互换直言命题主项和谓项的位置，从而得到一个新的直言命题的推理。
换位法推理的规则是：①互换前提命题主项和谓项的位置，即将前提中的主项作结论的谓项，将前提中的谓项作结论的主项；②在前提中不周延的词项，在结论中不得变为周延；③命题的质（联项）不变。
注意：SOP不能进行换位推理。
第四节三段论1.三段论是由三个命题组成的，也是由三个不同的词项组成的，其中每一个词项都出现两次正好构成三个命题。
三个词项分别是：小项、大项、中项。
小项：结论中的主项叫小项，用“S”表示。
大项：结论中的谓项叫大项，用“P”表示。
中项：前提中含有的共同项叫中项，用“M”表示。
含有大项的前提叫大前提，含有小项的前提叫小前提。
要注意表示三段论逻辑形式时，总是要按大前提、小前提、结论的顺序整理排列。
2.三段论公理基本内容：凡断定（肯定或否定）了一类事物的全部对象，也就断定（肯定或否定）了该类事物的任何部分对象。
3.三段论的规则（1）一个三段论有且只能有三个不同的词项小心“四词项”错误。
（2）中项在前提中至少要周延一次如果中项在前提中两次都不周延，也就是说两次都只是断定了中项的部分对象，就不能保证其断定的对象中有共同的对象。
小心“中项不周延”错误。
（3）在前提中不周延的词项，在结论中不得周延违法这一规则的错误有两种：“小项不当周延”和“大项不当周延”，也称“小项不当扩大”和“大项不当扩大”。
（4）两个否定前提不能得出结论如果两个前提都是否定的，等于断定了中项与大项、小项都是排斥关系，这样中项起不到联结作用，也就无法确定大小项的关系，得不出结论。
（5）前提中有一否定，结论只能为否定；结论为否定，前提中必须有否定（6）两个特称命题前提不能得出结论——导出规则（7）前提中有特称命题，结论中必为特称命题——导出规则第五章复合命题及其推理从语言表达形式来说，复合命题是由联结词和若干简单命题结合而构成的一种命题。
复合命题中的若干简单命题称作该命题的肢命题；联结词是区别不同类型的复合命题的根据，它决定着复合命题的逻辑性质。
第一节联言命题及其推理1.联言命题是断定若干事物情况同时存在的命题。
如：（1）中国是社会主义国家而美国是资本主义国家。
（2）中国既是社会主义国家又是发展中国家。
（3）青年人要晚婚并且要晚育。
联言命题的联结词可用符号“∧”表示，逻辑形式是“p”并且“q”，或者“p∧q”。
“既是……又是……”、“不但……而且……”、“虽然……但是……”、“一方面……另一方面……”、“不但不……反而……”、“不是……而是……”等。
2.联言推理，根据联言命题是前提或结论，可以分为两种形式：合成式联言推理和分解式联言推理。
第二节选言命题及其推理1.选言命题是断定若干可能的事物情况至少有一个存在的命题。
如：（1）中国或者是社会主义国家或者是资本主义国家。
（2）或者他是一个语文老师，或者他是一个英语老师。
（3）明天或者下雨，或者不下雨。
（4）这本书要么丢了，要么被人借走了。
根据选言命题的两个选言肢是否相互排斥，可以分为相容选言命题和不相容选言命题。
相容选言命题：断定选言肢中至少有一个选言肢为真也可以都为真的选言命题；逻辑形式是“p或者q”，或者“p∨q”。
不相容选言命题：断定有并且只有一个选言肢为真的选言命题；逻辑形式是“要么p，要么q”或者“p∨q”。
2.选言三段论（1）相容选言推理：是前提之一为相容选言命题，并且是根据相容选言命题的逻辑性质进行的推理。
它只有一个有效形式，即否定肯定式，也就是否定大前提中的一个（或一些）选言肢，可肯定另一个（或余下的一个）选言肢。
如：《血色烂漫》的作者或者是海言，或者是都梁。
《血色烂漫》的作者不是海言，所以，《血色烂漫》的作者是都梁。
规则：①否定一部分选言肢，就要肯定另一部分选言肢。
②肯定……，不能否定……。
（2）不相容选言推理：其大前提是不相容选言命题，小前提可以是直言命题，也可以是联言命题，结论是直言命题。
推理形式：①肯定否定式，即前提中肯定一个选言肢，结论中否定其他选言肢。
②否定肯定式，即前提中否定一部分选言肢，结论中肯定那个未被否定的选言肢。
规则：与推理形式相符。
第三节假言命题及其推理1.假言命题：反映某一事物情况是另一事物情况的条件的命题。
又叫条件命题。
根据其前后件条件联系的不同，分为三种：充分条件假言命题、必要条件假言命题和充分必要条件假言命题。
（1）充分条件假言命题充分条件：如果有p，必然有q；而无p，未必无q（即可能有q，也可能无q）。
逻辑形式：如果p，那么q。
或者“p→q”。
“如果……那么……”、“如果……则……”、“只要……就……”、“假使……就……”只有当前件真、后件假时，充分条件假言命题是假的。
当充分条件假言命题为真并且前件为真时，后件必为真；命题为真并且后件为假时，前件必为假。
（2）必要条件假言命题必要条件：如果没有p，就必然没有q；而有了p，却未必有q（可有可无）。
逻辑形式：只有p，才q。
或者“p←q”。
“只有……才……”、“没有……就没有……”、“必须……才……”、“不……就不……”只有当前件为假，后件为真时，命题为假。
当必要条件假言命题为真并且前件为假时，后件必为假；命题为真并且后件为真时，前件必为真。
（3）充分必要条件假言命题充分必要条件：如果有p，必然有q；如果没有p，必然没有q。
逻辑形式：p当且仅当q（或表示：当且仅当p，则q）。
或者“p ↔ q”“如果……那么……，并且只有……才……”、“如果……那么……并且如果不……那么不……”、“如果……并且只有……就（才）……”前件后件同真同假。
