下载文档原格式
假言命题假言命题指形式为"如果A则B"的复合命题。
又称条件命题。
其在前的支命题叫做前件，在后的支命题叫做后件。
假言命题陈述一种事物情况是另一种事物情况的条件。
在形式逻辑中，命题联结词"如果，则"被理解为"前件真而后件假"是假的，即"如果 A则B"假，当且仅当A 真而B假;而当A假时,整个复合命题总是真的。
在现代逻辑中，命题之间的这样的真假关系叫做实质蕴涵。
在日常语言中，关于"如果，则"可能还有其他含义，如因果联系、推论关系等等。
所谓假言命题就是陈述某一事物情况是另一件事物情况的条件的命题，假言命题亦称条件命题。
例如：1. 如果在淀粉溶液里加入碘酒，那么淀粉溶液会变蓝。
2. 只有水分充足，庄稼才能茁壮生长。
3. 一个代数方程能得到根的计算公式当且仅当这个代数方程的次数不超过四。
编辑本段分类逻辑学考察的事物间的条件关系有三种：1. 如果有事物情况A，则必然有事物情况B；如果没有事物情况A而未必没有事物情况B，A就是B的充分而不必要的条件，简称充分条件。
2. 如果没有事物情况A，则必然没有事物情况B；如果有事物情况A而未必有事物情况B，A就是B的必要而不充分的条件，简称必要条件。
3. 如果有事物情况A，则必然有事物情况B；如果没有事物情况A，则必然没有事物情况B，A就是B的充分必要条件。
例如：1. A下雨；B地湿。
2. A不断呼吸；B人能活着。
3. A三角形等边；B三角形等角。
例1中的A是B的充分条件；例2中的A是B的必要条件；例3中的A 是B的充分必要条件。
与此相应，假言命题也有三种，即：充分条件假言命题、必要条件假言命题和充分必要条件假言命题。
根据三种不同的假言命题的逻辑性质，相应地，也就有三种不同的假言推理。
充分条件假言命题是陈述某一事物情况是另一件事物情况的充分条件的假言命题。
“如果，那么”是充分条件假言命题的联结词；“如果”后面的支命题称为前件；“那么”后面的支命题称为后件。
逻辑命题与推理之青柳念文创作必定性推理（演绎推理）：对当关系推理、三段论、复合命题推理、关系推理和模态推理能够性推理：归纳推理（列举归纳、迷信归纳）、类比推理命题直言命题的种类：（AEIOae）⑴全称必定命题：所有S是P（SAP）⑵全称否定命题：所有S不是P（SEP）⑶特称必定命题：有的S是P（SIP）⑷特称否定命题：有的S不是P（SOP）⑸单称必定命题：某个S是P（SaP）⑹单称否定命题：某个S不是P（SeP）直言命题间的真假对当关系：抵触关系、（上）反对关系、（下）反对关系、从属关系抵触关系：具有抵触关系的两个命题之间不克不及同真同假.主要有三组：SAP与SOP之间.“所有同学测验都几个了”与“有些同学测验不及格”SEP与SIP之间.“所有同学测验不及格”与“有些同学测验及格”SaP与SeP之间.“张三测验及格”与“张三测验不及格”上反对关系：具有上反对关系的两个命题不克不及同真（必有一假），但是可以同假.即要么一个是假的，要么都是假的.存在于SAP与SEP、SAP与SeP、SEP与SaP之间.下反对关系：具有下反对关系的两个命题不克不及同假（必有一真），但是可以同真.即要么一个是真的，要么两个都是真的.存在于SIP与SOP、SeP与SIP、SaP与SOP之间.从属关系（可推出关系）：存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP六种直言命题之间存在的对当关系可以用一个六角图形来暗示，“逻辑方阵图”SAP SEPSaP SePSIP SOP直言命题的真假包含关系全同关系、真包含于关系、真包含关系、交叉关系、全异关系合同关系真包含于关系真包含关系交叉关系全异关系SAP 真真假假假SEP 假假假真真SIP 真真真真假SOP 假假真真真复合命题：负命题、联言命题、选言命题、假言命题负命题的一般公式：并不是P联言命题公式：p而且q “而且、…和…、既…又…、不单…而且、虽然…但是…”选言命题：相容的选言命题、不相容的选言命题相容的选言命题公式：p或者q“或、或者…或者…、也许…也许…、能够…能够…”【一个相容的选言命题是真的，只有一个选言支是真的即可.只有当全部选言支都假时，相容的选言命题才是假的】不相容选言命题公式：要么p要么q“要么…要么…、不是…就是…、或者…或者…二者必居其一、或者…或者…二者不成兼得”【一个不相容的选言命题是真的，有且只有一个选言支是真的.当选言支全真或全假时，此命题为假】假言命题：充分条件假言命题、需要条件假言命题、充要条件假言命题充分条件假言命题公式：如果p，那末q“如果…就…、有…就有…、倘若…就…、哪里有…哪里有…、一旦…就…、假若…、只要…就…”【有前件必定有后件.如果有前件却没有后件，这个充分条件假言命题就是假的.因此，对于一个充分条件的假言命题来讲，只有当其前件真而后件假时，命题才假.】需要条件假言命题公式：只有p，才q“没有…就没有…、不…不…、除非…不…、除非…才…”【没有前件必定没有后件.如果没有前件也有后件，这个需要假言命题为假.对于一个需要条件的假言命题来讲，只有当其前件假而后件真时，命题才假.】充要条件假言命题公式：当且仅当p，才q【有前件必定有后件，没有前件必定没有后件.充要条件假言命题在前件与后件等值即前件真而且后件真，或者前件假而且后件假时，命题为真，在前件与后件不等值即前真后假，或前假后真时，命题为假】充分条件与需要条件之间可以相互转化：如果p，那末q＝＝＝只有q，才p只有p，才q，＝＝＝如果q，那末p模态命题：反映事物存在或发展的必定性或能够性的命题.模态命题包含“必定”、“能够”等模态词.必定必定命题：必定P必定否定命题：必定非P能够必定命题：能够p能够否定命题：能够非P四者之间的关系如下：模态方阵必定P 必定非P能够P 能够非P推理1、直言命题的变形推理：换质推理、换位推理⑴换质推理也就是改变谓项.“是”或者“不是”除了改变联项外，同时还需要把结论中的谓项变成前提谓项的抵触概念.“所有S是P”可以换质为“所有S不是非P”“所有S不是P”可以换质为“所有S是非P”“有些S是P”可以换质为“有些S不是非P”“有些S不是P”可以换质为“有些S是非P”⑵换位推理就是改变前提中主项与谓项的位置.除了交换主项与谓项的位置外，还需要注意的是在前提中不周延的词项在结论中也不克不及周延.“所有S是P”换位为“有些P是S”“所有S不是P”换位为“所有P不是S”“有些S是P”换位为“有些P是S”注意：“有些S不是P”不克不及换位为“有些P不是S”2、联言推理：分解式与组合式分解式就是由前提中一个联言命题为真，推出其任一支命题为真的联言命题.组合式就是由前提中一些支命题为真推出这些支命题所组成的联言命题为真的联言推理.3、选言推理：相容的选言推理与不相容的选言推理相容的选言推理规则：（只有一种有效的推理形式，即否定必定式）否定一部分选言支，就要必定另外一部分选言支；必定一部分选言支，不克不及因此而否定另外一部分选言支；不相容的选言推理规则：（否定必定式、必定否定式）否定除了一个选言支以外的其余选言支，就要必定阿谁没有被否定的选言支；必定一个选言支，就要否定其余的选言支；4、假言推理充分条件的假言推理规则：（有效推理：必定前件式，否定后件式）必定前件就要必定后件，否定后件就要否定前件；否定前件不克不及否定后件，必定后件不克不及必定前件；需要条件的假言推理规则：（有效推理：否定前件式；必定后件式）否定前件就要否定后件，必定后件就要必定前件；必定前件不克不及必定后件，否定后件不克不及否定前件；充要条件的假言推理规则：必定前件就要必定后件，否定后件就要否定前件；否定前件就要否定后件，必定后件就要必定前件；假言连锁推理：要求：前提中的第一个假言命题的后件必须与第二个假言命题的前件相同.充分条件的假言连锁推理：如果p那末q如果q，那末r所以，如果p，那末r需要条件的假言连锁推理：只有p，才q只有q，才r所以，只有p才r5、模态推理“必定P”与“并不是能够非P”可以互相推出“必定非P”与“并不是能够P”可以相互推出“能够P”与“并不是必定非P”可以相互推出“能够非P”与“并不是必定P”可以相互推出一个模态命题的负命题等值于与该模态命题具有抵触关系的命题.并不是必定P＝＝＝能够非P并不是必定非P＝＝＝能够P并不是能够P＝＝＝必定非P并不是能够非P＝＝＝必定P“必定P”可以推出“能够P”“必定非P”可以推出“能够非P”“并不是能够P”可以推出“并不是必定P”“并不是能够非P”可以推出“并不是必定非P”能够性推理类型：削弱型：最能削弱型、最不克不及削弱型加强型前提与预设型诠释型：最能诠释、最不克不及诠释评价型结论性词项的周延性主项的周延性是由量项来决议的，量项是全称的则主项周延，量项是特称的则主项不周延；谓项的周延性是由联项来决议的，联项是必定的则谓项不周延，联项是否定的，则谓项周延.六种直言命题之间存在的对当关系可以用一个六角图形来暗示，“逻辑方阵图”SAP SEPSaP SePSIP SOP直言命题的真假包含关系（全同关系、真包含于关系、真包含关系、交叉关系、全异关系）合同关系真包含于关系真包含关系交叉关系全异关系SAP 真真假假假SEP 假假假真真SIP 真真真真假SOP 假假真真真四者之间的关系如下：模态方阵必定P 必定非P能够P 能够非P相容的选言推理规则：（只有一种有效的推理形式，即否定必定式）不相容的选言推理规则：（否定必定式、必定否定式）充分条件的假言推理规则：（有效推理：必定前件式，否定后件式）需要条件的假言推理规则：（有效推理：否定前件式；必定后件式）。
故事一：巴依碰壁——假言判断的涵义和种类假言判断，是断定某一事物情况是另一事物情况存在的条件的判断，也叫条件判断。
它反映客观事物之间存在着条件与结果的关系。
阿凡提开了个小染坊,巴依老爷想刁难一下他。
一天,巴依来染布，对阿凡提说：“我要染的颜色普通极了，它不是红的,不是蓝的,不是黑的，又不是白的,不是绿的,不是黄的,也不是青的·……你明白了吗?”阿凡提说：“明白了，我一定按您的意思染布，你就到那一天来取布吧！那一天不是星期一，不是星期二,不是星期三和星期四，又不是星期五和星期六，连星期天也不是。
我的巴依，到了那一天，您就来取吧！”巴依的确给阿凡提出了个难题，他自以为聪明，却没想到反而被阿凡提戏弄。
巴依所要的颜色说是普通，但是在实际生活中是不存在的，事实上阿凡提根本不可能染出这种颜色的布，更何况巴依的话里隐含的意思是，他要的这种普通颜色其实什么颜色也不是，不仅不是现实中的各种颜色，连逻辑上假想的颜色也排除在外。
难题之难，就难在根本不存在。
可是这个难题在阿凡提的手中不费吹灰之力地解决了。
办法既出人意料，又在情理之中。
阿凡提没有进行正面的辩驳，而是先承认巴依的要求是合理的，之后以巴依的方式提出了要求。
这个要求看起来在形式上有所不同，但是在实质上是一样的。
巴依要求的是无数颜色之外的一种颜色，而阿凡提选择的日期是一个星期七个日子以外的一天。
巴依的要求自然无法满足，可是阿凡提的承诺也永远不能兑现。
这样，阿凡提极其巧妙地满足了巴依的要求。
阿凡提用假言判断来回答了巴依老爷的难题。
既然巴依想叫阿凡提染一种不可能存在的颜色，那么阿凡提也可以叫他在永远不存在的那天来取布。
在阿凡提的回答中，“那一天”是前件，“你来取布”是后件。
由于后件依赖于前件，所以阿凡提的“那一天”是一种虚拟条件。
故事二：蛮横知府吃了瘪——充分条件假言判断充分条件假言判断是用来反映前件是后件的充分条件的判断，一般用“如果……那么…”“只要…就”等联结词表示。
一、直言命题1、矛盾关系（逆否命题）：一真一假所有是，有些不是某个是，某个不是2、反对关系：不能同真（如果有一个是真的，那么另一个一定是假的）所有是，所有不是所有是，某个不是3、下反对关系：不能同假（如果有一个是假的，那么另一个一定是真的）有些是，有些不是有些是，某个不是----------------------------------------------------------------------------------------------------4、从属关系所有A都是B可以推出有些A是B所有A都不是B可以推出有些A不是B常见题型：给出一个题干，根据题干能推出选项的真假，或不能确定选项的真假。
能推出真假的情况：所有A都是B可以推出有些A是B；所有A都不是B可以推出有些A 不是B。
不能推出真假的情况：有些A是B不能推出有些A不是B；有些A是B不能推出所有A 是B；有些A不是B不能推出有些A是B；有些A不是B不能推出所有A不是B。
5、换位推理能推出的情况（1）所有A是B推出有些B是A和所有不是B的都不是A（2）所有A不是B推出所有B不是A（3）有些A是B推出有些B是A需注意的是“大部分”，“少数”，“一半”等词语不能用于换位推理，例如：大部分男生考上了大学不能推出大部分考上大学的是男生。
从属关系和换位推理结合起来得出以下结论必须记忆：所有A是B推出（有些A是B；有些B是A；所有不是B的都不是A。
）所有A不是B推出（有些A不是B；所有B不是A。
）有些A是B推出（有些B是A）（2013浙江）品学兼优的学生不都读研究生。
如果以上论述为真，则下列命题能判断真假的有几个?Ⅰ.有些品学兼优的学生读研究生（不确定）Ⅱ.有些品学兼优的学生不读研究生（真）Ⅲ.所有品学兼优的学生都读研究生 (假)Ⅳ.所有品学兼优的学生都不读研究生（不确定）A.1个B.2个C.3个D.4个题干“不都”等于“有些不是”，所以答案为B-----------------------------------------------------------------------------------------------------------------6、三段论（要时刻想着和换位推理结合，中项必须当一次主项，当一次谓项）（1）只有三个词项，每个词都出现两次正确的三段论举例：所有中国人都是勤劳的，小王是中国人，所以小王是勤劳的。
行测技巧：判断推理之假言命题必背15条公式假言命题类题目的做题步骤基本分为三步：第一步看题问，判断题目是要求以真求真还是以真求假，一般考察以真求真居多；第二步写出题干推理形式，确定充分条件和必要条件并正确书写推出关系；第三步写出选项推理形式并选出正确答案。
那么如何快又准的写出推理形式呢？只需要熟记以下“公式”。
5个前→后（充分条件假言命题的标志词）：如果……那么（就）……；只要……就……；若……就（则）……；要想……必须……；一……就……；4个后→前（必要条件假言命题的标志词）：只有……才……；除非……否则不……；……是……的基础（必要的）；不……就不……；3个否一推一：除非……否则……；……除非……：……否则……：2大命题：假言命题的逆否命题（以真求真）：A→B的逆否命题是非B→非A。
假言命题的矛盾命题（以真求假）：A→B的矛盾命题是A且非B。
1个连锁推理：A→B→C→D→E记住了上述公式，写推理形式是不需要费脑筋思考的，直接根据标志词判断推理形式然后迅速解题。
【例1】由于近期世界范围内各种传染病疫情多发，我国必须在今后五年的时间里增加5%的财政投入用于疫苗研制和卫生防疫工作否则就无法有效应对大面积疫情出现的情况。
事实上，从目前我国医疗科研现状来看，如果能增加5%的财政投入，那么我国疫苗研制就能达到世界先进水平。
由此可以推出：（）A.未来五年内如果不能增加5%的财政投入用于疫苗研制和卫生防疫工作，我国就无法有效应对大面积疫情的出现B.未来五年内疫苗研制如果达到世界先进水平，我国就不会暴发大面积疫情C.如果世界各国不暴发传染病疫情，我国就不需要增加医疗投入以应对大面积疫情D.未来五年内如果增加5%的财政投入，可有效改善我国的医疗科研水平【解析】：答案：A；第一步判断出本题是要求我们以真求真，考察的是假言命题的推理规则。
第二步书写题干推理形式：抓住标志词“……否则……”，“如果……那么……”题干第一句话的推理形式是否一推一，即能有效应对大面积疫情→增加5%的财政投入。
我们知道，逻辑学当中包含3种假言命题。
充分条件假言命题，必要条件假言命题，和充分必要条件假言命题。
这3种假言命题具有如下等性质。
了解性质之前。
我们需要对其作出基础理论的判断。
先说充分条件假言命题，其表达形式：“只要........就..........”，“如果........那么.........”诸如此类的表达方式。
举例只要A 就B 或者如果A那么B 这样一个充分条件的假言命题，是有2个事件组成的。
A和B其表达构成逻辑整体（错误的＋正确的）就是有4种情况，A成立＋B成立，A不成立＋B成立，A成立＋B不成立，A不成立＋B不成立。
我们发现在充分命题的表达方式中，这四种形式只有一个不满足，如果A 则B，不满足的情况是如果A 则非B。
即A成立B不成立。
其它三种情况都是符合这个充分假言命题的。
如果满足这3种情况当中的任意一种，那么这个假言命题就是为真的。
从而我们推断出，这个假言命题的假命题就是A成立B不成立。
注意：这里不能用假言命题形式表达。
因为这是4种情况中剩下的唯一一种情况，是陈述性的。
因此得出结论：充分假言命题的假命题是肯定前件，否定后件组成的陈述性命题。
且当此充分假言命题为真的时候，自然假命题不成立，当充分假言命题为假的时候，其假命题是成立的，也就是为真了。
这就是逆向思维的角度来确定。
同理，我们看必要条件假言命题，其表达形式：“只有.......才.........”举例只有A 才能B。
这样一个必要条件的假言命题。
我们来看待A和B的组合。
A成立B成立，A不成立B成立，A成立B不成立，A不成立B不成立。
这4种情况构成了一个整体逻辑。
我们发现。
在必要条件假言命题中，这四种情况只有一种不满足， A不成立B 成立。
只有A 才能B，显然B的成立是基于A的基础上的。
A 成立了才能有B成立的可能。
因此A不成立B成立是其必要条件假言命题的假命题。
因此得出结论：必要条件假言命题的假命题是否定前件，肯定后件的陈述性命题。
充分条件必要条件判断的三种方法判断充分条件和必要条件的方法是逻辑思维与分析的重要方面。
在逻辑学中，充分条件和必要条件是用于描述两个命题之间关系的概念。
充分条件是指一个命题为真时，另一个命题也为真；必要条件是指一个命题为假时，另一个命题也为假。
下面将介绍三种常用的方法来判断充分条件和必要条件。
方法一：直接证明法直接证明法是最常见的判断充分条件和必要条件的方法之一、直接证明法的思路是通过证明两个命题之间的逻辑关系。
具体步骤如下：1.假设充分条件命题为真。
2.根据已知条件和已知事实，推导出结论。
3.通过推导出的结论，判断必要条件命题是否为真。
4.如果必要条件命题为真，则充分条件成立；反之，如果必要条件命题为假，则充分条件不成立。
例如，假设充分条件命题是“如果X，则Y”，必要条件命题是“如果非Y，则非X”。
通过直接证明法，我们可以先假设X为真，根据已知条件和已知事实推导出Y为真，然后假设Y为假，再次利用已知条件和已知事实推导出X为假。
最后我们得到的结论是，如果非Y，则非X。
根据这个结论，我们可以判断充分条件命题成立，因为只有当X为真时，Y才会为真；反过来说，只有当Y为真时，X才会为真。
方法二：反证法反证法是判断充分条件和必要条件的常用方法之一，尤其适用于判断必要条件。
这个方法的思路是通过假设必要条件命题为假，推导出与已知事实和逻辑关系相矛盾的结论，从而证明必要条件命题为真。
具体步骤如下：1.假设必要条件命题为假。
2.根据已知条件和已知事实，推导出与已知事实和逻辑关系相矛盾的结论。
3.由于推导出的结论与已知事实和逻辑关系相矛盾，所以必要条件命题为真。
例如，假设必要条件命题是“如果非Y，则非X”。
通过反证法，我们可以先假设非Y为真，然后根据已知条件和已知事实推导出非X为真。
但是由已知事实可知，X为真，而非X为真与X为真矛盾，所以我们可以得出结论：如果非Y，则非X。
方法三：充分条件和必要条件的等价表达式判断充分条件和必要条件的方法之三是寻找充分条件和必要条件的等价表达式。
行测判断推理技巧：走出假言命题的“包围圈”一、借助关联词词写出判断推出关系(一)充分条件假言命题充分条件先出场，前面的充分条件推出后面的必要条件，简写“前推后”。
例：假如具有选举权，那么年满18岁。
假如A，那么B=只要A，就B=要想A，必须B=(A⇒B)(二)必要条件假言命题必要条件先出场，后面的必要条件推出前面的充分条件，简写“后推前”。
例：只有年满18岁，才会具有选举权。
只有C 才D=除非C，否那么不D=(D⇒C)表示必要条件的词语：必须、必需、前提、根底等(提取句子主谓宾成分，谁是根底/前提/必须，谁就是必要条件)①法治是稳定的前提。
稳定⇒法治②生活程度的进步以经济开展为根底。
生活程度的进步⇒经济开展③教育是民生之基。
民生⇒教育同时，也要注意不要一味的死记硬背，当出现一些新的，特殊的关联词组合时，记住关联词强调的条件关系是什么，这样才能是游刃有余地解题。
二、牢记推理规那么规那么：A⇒B为真，A真，可以推出B为真;肯前推肯后B假，可以推出A为假;否后推否前原命题：A⇒B等价于非B⇒非A(逆否命题)三、写出选项的推出关系并使用推理规那么例：1-2题基于以下题干：有8个候选人竞选学生会____(1号、2号、3号、4号、5号、6号、7号、8号)。
竞选满足以下条件：假如3号的票数多于4号，并且5号的票数多于8号，那么1号中选假如4号的票数多于3号，或者6号的票数多于7号，那么2号中选假如8号的票数多于5号，那么6号中选(1)3》4且5》8⇒1(2)4》3或6》7⇒2(3)8》5⇒61.假如上述陈述为真，并且事实上2号中选，那么以下陈述必定为真的是：A.8号的票数不比5号多B.6号的票数比7号多C.7号的票数比6号多D.4号的票数不比3号多2号中选，说明1号和6号没中选，由(3)8》5⇒6，根据充分条件假言命题的推理规那么，否认后件就能否认前件，那么8号的票数不多于5号，A项正确。
2.假如上述陈述为真，并且事实上5号的票数多于8号，而1号没有中选，那么以下陈述必为真的是：A.4号的票数不比6号多B.3号的票数不比4号多C.2号中选为学生会____D.6号中选为学生会____由“1号没有中选”和“3》4且5》8⇒1”可得，或者3号的票数不多于4号，或者5号的票数不多于8号。
