邏輯學(xué)練習(xí)題

練習(xí)題匯編鑒于目前公開出版的教材習(xí)題雷同多，且缺乏靈活性，很難考查綜合能力，我們?cè)诖嗽O(shè)計(jì)了部分習(xí)題，但愿能有助于教師打開命題的思路，也希望能為學(xué)生有機(jī)地綜合地掌握邏輯知識(shí)和邏輯技能提供一些可用于訓(xùn)練的素材。最后附有參考答案。個(gè)別習(xí)題因解題思路與其它習(xí)題近似，未提供答案，但均說(shuō)明了可供參考的解題方法。為有利掌握知識(shí)與技能，初學(xué)者應(yīng)在獨(dú)立完成習(xí)題后，再查閱參考答案。此外，我們?cè)诟戒浿惺杖肓瞬糠帧叭珖?guó)高等教育自學(xué)考試普通邏輯試卷、參考答案與評(píng)分標(biāo)準(zhǔn)”。一、填空題1．在“有S不是P”中，邏輯變項(xiàng)是；在“(p∧q)→r”中，邏輯常項(xiàng)是。2．在“所有S是P”中，邏輯常項(xiàng)是；而在“p←﹁q”中，邏輯變項(xiàng)是。3．“演繹推理”與“間接推理”在外延上具有關(guān)系，“必然性推理”與“或然性推理”在外延上具有關(guān)系。4．從屬加種差的定義的結(jié)構(gòu)看，在定義“負(fù)判斷是否定某一判斷的判斷”中，“否定某一判斷的”是，“判斷”是。5．在一個(gè)正確的劃分中，“母項(xiàng)”與“子項(xiàng)”在外延上具有包含關(guān)系，而“子項(xiàng)”與“子項(xiàng)”之間具有全異關(guān)系。6．根據(jù)普通邏輯基本規(guī)律中的律，若“甲是黨員而不是教師”為假，則充分條件假言判斷為真。7．根據(jù)普通邏輯基本規(guī)律中的律，若“只有甲是大學(xué)生，甲才是運(yùn)動(dòng)員”為真，則聯(lián)言判斷為假。8．在提出假說(shuō)的過(guò)程中，主要應(yīng)用歸納推理和類比推理。9．在驗(yàn)證假說(shuō)的過(guò)程中，主要應(yīng)用演繹推理。10．當(dāng)概念S與概念P的外延具有關(guān)系或關(guān)系時(shí)，SEP取值為假而SOP取值為真。11．一個(gè)性質(zhì)判斷的主項(xiàng)是“甲班同學(xué)”，謂項(xiàng)是“青年人”，其主、謂項(xiàng)均不周延，表述這一判斷的自然語(yǔ)句是有的甲班同學(xué)是青年人。12．一個(gè)性質(zhì)判斷的主項(xiàng)不周延，則該判斷是特稱判斷；一個(gè)性質(zhì)判斷的謂項(xiàng)周延，則該判斷是否定判斷。13．若﹁SAP取值為真，則﹁SIP取值為真；若SO﹁P取值為假，則SE﹁P取值為假。14．若SE﹁P取值為真，則SA﹁P取值為假；若SI﹁P取值為假，則SO﹁P取值為真。15．若“有S不是P”取值為真，則“所有非P不是S”取值為假。16．若“所有S是P”取值為真，則“所有非P是非S”取值為真。17．若“所有S不是P”取值為真，則“有些非P是S”取值為假。（真）18．在概念外延間的“真包含”、“交叉”、“全異”關(guān)系中，屬于傳遞性關(guān)系的是真包含交叉關(guān)系，屬于反對(duì)稱關(guān)系的是全異關(guān)系。（真包含）（真包含）19．在概念外延間的“全同”、“真包含于”、“交叉”、“矛盾”關(guān)系中，屬于反對(duì)稱關(guān)系的是真包含于關(guān)系，屬于反傳遞關(guān)系的是矛盾關(guān)系。20．若﹁p→q取值為假，則p∨q取值為，pq取值為。21．若﹁p∨q取值為真，且p亦取值為真，則﹁q取值為。22．設(shè)p為“小王是工人”，q為“小田是工人”，則與“如果小王是工人，那么小田不是工人”相等值的選言判斷的邏輯形式是。23．設(shè)p為“甲去北京”，q為“乙去北京”，則與“并非‘甲和乙都去北京’”相等值的充分條件假言判斷的邏輯形式是。24．若﹁p→q取值為真，p取值為假，則﹁q取值為。25．若﹁p←q取值為真，﹁q取值為假，則p取值為。26．若﹁r←p∧q”取值為真，r亦取值為真，則﹁p∨﹁q取值為。27．當(dāng)“p→q”、“p→﹁q”與“﹁p→q”均真時(shí)，P取值為，q取值為。28．在第一格三段論中，大項(xiàng)是大前提的項(xiàng)，小項(xiàng)是結(jié)論的項(xiàng)。29．已知一有效三段論的小前提是O判斷，則此三段論是第格式。30．已知一有效第四格三段論的結(jié)論為E判斷，則這一三段論的式是式。31．在“[（）?﹁q]∧﹁q→﹁p”的空括號(hào)中，填入變項(xiàng)符號(hào),可構(gòu)成有效的推理式。32．在“[﹁p()q]→q”的空括號(hào)中，填入邏輯常項(xiàng)符號(hào)，可構(gòu)成有效的推理式。二、單項(xiàng)選擇題(在每題的四個(gè)備選答案中，選出一個(gè)正確的答案，并把它的標(biāo)號(hào)寫在括號(hào)內(nèi)。)1．性質(zhì)判斷中，項(xiàng)的周延情況取決于()。a．邏輯常項(xiàng)b．變項(xiàng)c．語(yǔ)言形式d.思維內(nèi)容2．如A與B是兩個(gè)相互矛盾的性質(zhì)判斷，則它們具有()。a．相同的常項(xiàng)與變項(xiàng)b．相同的常項(xiàng)，不同的變項(xiàng)c．不同的常項(xiàng)與變項(xiàng)d．不同的常項(xiàng)，相同的變項(xiàng)3．在性質(zhì)判斷中，邏輯形式相同，是指()相同。a．主項(xiàng)和謂項(xiàng)b．主項(xiàng)和量項(xiàng)c．謂項(xiàng)和聯(lián)項(xiàng)d．量項(xiàng)和聯(lián)項(xiàng)4．設(shè)A為假言判斷，B為選言判斷，并且A與B等值，則A與B()。a．常項(xiàng)與變項(xiàng)均相同b．常項(xiàng)相同變項(xiàng)不同c．常項(xiàng)不同變項(xiàng)相同d．常項(xiàng)與變項(xiàng)均不同5．設(shè)A為聯(lián)言判斷，B為選言判斷，并且A與B矛盾，則A與B()。a．常項(xiàng)與變項(xiàng)均相同b．常項(xiàng)相同變項(xiàng)不同c．常項(xiàng)不同變項(xiàng)相同d．常項(xiàng)與變項(xiàng)均不同6．“并非如果p那么q”與“有S不是P”這兩個(gè)判斷形式的()。a．常項(xiàng)與變項(xiàng)均相同b．常項(xiàng)相同變項(xiàng)不同c．常項(xiàng)不同變項(xiàng)相同d．常項(xiàng)與變項(xiàng)均不同7．“要么P，要么q”與“或者p，或者q”這兩個(gè)判斷形式()。a．常項(xiàng)與變項(xiàng)均相同b．常項(xiàng)相同變項(xiàng)不同c．常項(xiàng)不同變項(xiàng)相同d．常項(xiàng)與變項(xiàng)均不同8．“沒(méi)有S是P”與“沒(méi)有S不是P”這兩個(gè)判斷()。a．質(zhì)與量均相同b．質(zhì)相同但量不同c．質(zhì)不同但量相同d．質(zhì)與量均不同9．若兩個(gè)性質(zhì)判斷的變項(xiàng)完全相同，而常項(xiàng)則完全不同，則這兩個(gè)性質(zhì)判斷()。a．可同真、可同假b．可同真、不可同假c．不可同真、可同假d．不可同真、不可同假10．刻劃“并非S都不是P”的邏輯形式為()。a．﹁SEPb．﹁(SEP)c．SIPd．SOP11．若“有A是B”、“有A不是B”、“有B不是A”都真，則()。a．A與B都是單獨(dú)概念b．A與B都是普遍概念c．A是單獨(dú)概念，B是普遍概念d．A是普遍概念，B是單獨(dú)概念12．若AB兩概念具有同一關(guān)系，則A與B()。a．內(nèi)涵與外延均相同b．內(nèi)涵相同而外延不同c．內(nèi)涵不同但外延相同d．內(nèi)涵與外延均不同13．在（1）“青年是祖國(guó)的未來(lái)”和(2)“青年應(yīng)當(dāng)又紅又?！敝械摹扒嗄辍?)。a．都是集合概念b．(1)是集合概念(2)不是集合概念c．都不是集合概念d．(1)不是集合概念(2)是集合概念14．設(shè)A為“《孔乙己》”，B為“《魯迅全集》”，則A與B的外延關(guān)系為()。a．A真包含于Bb．B真包含Ac．A與B全異d．A與B相容15．設(shè)S1是全稱肯定判斷的主項(xiàng)，S2是特稱否定判斷的主項(xiàng)，則()。a．S1與S2都是普遍概念b．S1是普遍概念，S2是單獨(dú)概念c．S1與S2都是單獨(dú)概念d．Sl是單獨(dú)概念，S2是普遍概念16．下列屬于邏輯劃分的是()。a．三段論分為大前提、小前提和結(jié)論b．思維形式分為概念、判斷和推理c．關(guān)系判斷分為關(guān)系項(xiàng)、關(guān)系者項(xiàng)和量項(xiàng)d．定義分為被定義項(xiàng)、定義項(xiàng)和定義聯(lián)項(xiàng)17．下列限制或概括有錯(cuò)誤的是（）。a．“復(fù)合判斷”限制為“肢判斷”b．“單獨(dú)概念”概括為“概念”c．“矛盾關(guān)系”概括為“不相容關(guān)系d．“推理”限制為“三段論”18．定義可用公式表示為“DS就是Dp”，犯“定義過(guò)窄”的錯(cuò)誤指的是在外延上()。a．DS全同于DPb．DS真包含于DPc．DS真包含DPd．DP真包含DS19．若A是劃分的母項(xiàng)，則根據(jù)劃分規(guī)則，A不可以是()。a．單獨(dú)概念b．普遍概念c．正概念d．負(fù)概念20．若A是屬加種差定義中的被定義項(xiàng)，則A不能是()。a．普遍概念b．單獨(dú)概念c．正概念d．負(fù)概念21．當(dāng)具有SIP形式的判斷為真時(shí)，概念S與概念P的外延必然具有()關(guān)系。a．同一b．交叉c．屬種d．非全異22．若“有A是B”、“有A不是B”、“有B不是A”都真，則A與B具有()關(guān)系。a．真包含于b．真包含c．交叉d．全異23．“小林與小王是同時(shí)入團(tuán)的”這一判斷是()判斷。a．性質(zhì)b．關(guān)系c．聯(lián)言d．負(fù)24．“判斷p與判斷q是矛盾的”這一判斷屬()判斷。a．性質(zhì)b．關(guān)系，c．聯(lián)言d．負(fù)25．若兩個(gè)性質(zhì)判斷主謂項(xiàng)素材相同，但主、謂項(xiàng)周延情況均不相同，則這兩個(gè)判斷具有()關(guān)系。a．反對(duì)b．差等c．矛盾d．下反對(duì)26．若一個(gè)有兩個(gè)肢判斷的不相容選言判斷是真的，則這兩個(gè)肢判斷具有()關(guān)系。a．可以同真，可以同假b．可以同真，不可同假c．不可同真，可以同假d．不可同真，不可同假27．當(dāng)S真包含于P時(shí)，()。a．SAP與SEP均假b．SEP與SOP均真c．SAP與SIP均真d．SIP與SOP均真28．若A與C交叉，B既真包含于A又真包含于C，則下列為假的判斷是()。a．B是A或B是Cb．若B不是A，則B不是Cc．要么B是C要么B是Ad．只有B是A，B才是C29．下列公式中，其真假情況不完全取決于其變項(xiàng)的真假取值的是()。a．

﹁pb．p→qc．p∧qd．﹁p∨﹁q30．?dāng)喽ㄒ粋€(gè)主、謂項(xiàng)均周延的性質(zhì)判斷，也就斷定了主項(xiàng)與謂項(xiàng)的外延具有()關(guān)系。a．同一b．屬種c．交叉d．全異31．概念間的交叉關(guān)系，屬于()關(guān)系。a．對(duì)稱且傳遞b．對(duì)稱但非傳遞c．非對(duì)稱但傳遞d．非對(duì)稱且非傳遞32．判斷間的蘊(yùn)涵關(guān)系，屬于()關(guān)系。a．對(duì)稱且傳遞b．對(duì)稱但非傳遞c．非對(duì)稱但傳遞d．非對(duì)稱且非傳遞33．與“必然有S是P”的負(fù)判斷相等值的判斷是()。a．可能有S是Pb．可能所有S不是Pc．可能有S不是Pd．不可能有S是P34．下列各組判斷中，不具有矛盾關(guān)系的是()。a．“非p或非q”與“p并且q”b．“只有p，才q”與“p并且非q”c．“這個(gè)S是P”與“這個(gè)S不是P”d．“有的S不是P”與“沒(méi)有S不是P”35．設(shè)p表示“小王是大學(xué)生”，q表示“小李是大學(xué)生”，則與“如果小王是大學(xué)生，那么小李不是大學(xué)生”相矛盾的聯(lián)言判斷形式是()。a．p∧qb．p∧﹁qc．﹁p∧qd．﹁p∧﹁q36．設(shè)p表示“甲是教師”，q表示“乙是教師”，則與“如果甲是教師，那么乙也是教師”相等值的選言判斷形式是()。a．p∨qb．p∨﹁qc．﹁p∨qd．﹁p∨﹁q37．已知“只有小王是大學(xué)生，小王才懂英語(yǔ)”為假，則()為真。a．如果小王不是大學(xué)生，那么小王不懂英語(yǔ)b．小王是大學(xué)生并且小王不懂英語(yǔ)c．小王不是大學(xué)生并且小王不懂英語(yǔ)d．小工不是大學(xué)生或者小王懂英語(yǔ)38．當(dāng)P為假時(shí)，則()為真。a．必然pb．可能Pc．必然非pd．可能非p39．若﹁rp∧q為真，﹁r為假，則()。a．p與q至少有一真b．p與q至少有一假c．p必為假d．p必為真40．已知“p→q”、“﹁p→﹁q”與“p∨q”均真，則()為真。a．p∧qb．p∧﹁qc．﹁p∧qd.﹁p∧﹁q41．若“p∧q”與“p?q”均假，則()為真。a．p∧qb．p∧﹁qc．﹁p∧qd．﹁p∧﹁q42．若“p當(dāng)且僅當(dāng)非q”與“q”均真，則()為真。a．p∧qb．p∧﹁qc．﹁p∧qd．﹁p∧﹁q43．下列各組判斷形式中，具有不可同真可以同假關(guān)系的是()。a．SAP與SOPb．p→q與﹁p→﹁qc．p∨q與﹁p∨﹁qd．p∧q與p∧﹁q44．下列各組判斷形式中，不具有矛盾關(guān)系的是()。a．p→q與p∧﹁qb．SA﹁P與SO﹁Pc．﹁(p∧﹁q)與﹁(p→q)d．p∨q與﹁(﹁p∨﹁q)45．“pq”與“﹁p﹁q”具有()關(guān)系。a．等值b．可同真不可同假c．矛盾d．不可同真可同假46．“p→q”與“﹁p→﹁q”()。a．可同真也可同假b．可同真不可同假c．不可同真可同假d．不可同真不可同假47．當(dāng)p∨﹁q與pq僅有一真時(shí)，()取值為真。a．p∧qb．p∧﹁qc．﹁p∧qd．﹁p∧﹁q48．若p→﹁q為假，則下列公式中取值為真的是()。a．p∧qb．p∧﹁qc．﹁p∧qd．﹁p∧﹁q49．下列公式中，全面而恰當(dāng)?shù)乇磉_(dá)了SAP與SOP真假關(guān)系的是()。a．SAP→﹁（SOP）b．﹁（SAP）→SOPc．SAP?SOPd．SAP∨SOP50．下列公式中，恰當(dāng)?shù)乇磉_(dá)了A與E的真假關(guān)系的是：()。a．A∨Eb．A?Ec．﹁A∨﹁Ed．﹁A?﹁E51．下列公式中，恰當(dāng)?shù)乇磉_(dá)了A與I的真假關(guān)系的是()。a．A→Ib．A∨Ic．A?Id．﹁A→﹁I52．普通邏輯研究推理，主要研究()。a．前提的真假b．前提與結(jié)論內(nèi)容間的聯(lián)系c．結(jié)論的真假d．前提與結(jié)論間的邏輯聯(lián)系53．若一推理的前提與結(jié)論均假，則其推理形式()。a．必然無(wú)效b．必然有效c．不可能無(wú)效d．可能有效54．一有效的換位法推理，其前提判斷與結(jié)論判斷之間必然不具有（）關(guān)系。a．等值b．不等值c．蘊(yùn)涵d．矛盾55．一有效的AAI式三段論，其大小項(xiàng)在前提中均不周延，則此三段論為()。a．第一格b．第二格c．第三格d．第四格56．“氧化鐵不是有機(jī)物，因?yàn)檠趸F不含碳，而凡有機(jī)物都是含碳的”這個(gè)三段論的中項(xiàng)是()。a．氧化鐵b．含碳的c．有機(jī)物d．不含碳的57．由規(guī)則“在前提中不周延的項(xiàng)，在結(jié)論中也不得周延”，可以推知()。a．在前提中周延的項(xiàng)，在結(jié)論中必須周延b．在結(jié)論中不周延的項(xiàng)，在前提中必須不周延c．在結(jié)論中周延的項(xiàng)，在前提中必須周延d．在前提中不周延的項(xiàng)，在結(jié)論中可以周延58．“有的哺乳動(dòng)物是有尾巴的，因?yàn)槔匣⑹怯形舶偷摹笔且挥行÷匀握?，其省略的判斷?)。a．有的哺乳動(dòng)物不是老虎b．老虎是哺乳動(dòng)物c．有的哺乳動(dòng)物沒(méi)有尾巴d．有些哺乳動(dòng)物沒(méi)有尾巴59．一有效三段論的小前提是E判斷，其大前提可為()。a．MAPb．POMc．PEMd．PAM60．在“[﹁p()﹁q]∧p→q”的空括號(hào)內(nèi)，填入符號(hào)()，可構(gòu)成有效推理式。a．→b．←c．∨d．?61．以“如果甲乙都不是木工，那么丙是木工”為一前提，若再增加另一前提()，可必然推得“乙是木工”。a．丙是木工b．丙不是木工c．甲不是木工d．甲和丙都不是木工62．當(dāng)一個(gè)三段論兩前提均真時(shí)，這個(gè)三段論不可能是()。a．形式有效且結(jié)論真實(shí)b．形式有效但結(jié)論虛假c．形式無(wú)效而結(jié)論真實(shí)d．形式無(wú)效且結(jié)論虛假63．關(guān)系推理(1)“A與B矛盾，B與C矛盾，所以A與C矛盾”與(2)“A蘊(yùn)涵B，B蘊(yùn)涵C，所以A蘊(yùn)涵C”()。a．都是有效的b．(1)有效，(2)無(wú)效c．都是無(wú)效的d．(1)無(wú)效，(2)有效64．當(dāng)一三段論大前提真實(shí)而結(jié)論虛假時(shí)，這個(gè)三段論不可能是()。a．形式有效且小前提真實(shí)b．形式有效而小前提虛假c．形式無(wú)效而小前提真實(shí)d．形式無(wú)效且小前提虛假65．若對(duì)兩個(gè)相互等值的判斷()，則違反邏輯基本規(guī)律的要求。a．同時(shí)肯定b．肯定一個(gè)否定另一個(gè)c．同時(shí)否定d．既不肯定也不否定66．若肯定p∧q，而否定p∨q，則()的要求。a．違反同一律b．違反矛盾律c．違反排中律d．不違反邏輯基本規(guī)律67．若對(duì)()同時(shí)肯定，則不違反邏輯基本規(guī)律的要求。a．SAP與SOPb．SA﹁P與SE﹁Pc．SA﹁P與SEPd．﹁SEP與﹁SIP68．如對(duì)SE﹁P與SOP同時(shí)加以否定，則()的要求，a．違反同一律b．違反矛盾律c．違反排中律d．不違反邏輯基本規(guī)律69．若A蘊(yùn)涵B，則下列斷定中違反邏輯基本規(guī)律要求的是()。a．A真且B真b．A真但B假c．A假但B真d．A假且B假70．求同求異并用法的特征之一是()。a．在每個(gè)被考察場(chǎng)合中，被研究現(xiàn)象均出現(xiàn)b．在每個(gè)被考察場(chǎng)合中，被研究現(xiàn)象均不出現(xiàn)c．在正事例組的各場(chǎng)合中只有一個(gè)相關(guān)情況相同d．在負(fù)事例組的各場(chǎng)合中只有一個(gè)相關(guān)情況不同71．假說(shuō)具有的特征之一是()。a．有事實(shí)材料依據(jù)又有科學(xué)知識(shí)依據(jù)b．有事實(shí)材料依據(jù)但無(wú)科學(xué)知識(shí)依據(jù)c．無(wú)事實(shí)材料依據(jù)但有科學(xué)知識(shí)依據(jù)d．無(wú)事實(shí)材料依據(jù)又無(wú)科學(xué)知識(shí)依據(jù)72．“當(dāng)p←q取值為假時(shí)，那么p假而q真。因?yàn)槿绻鹥假和q真中有一不成立，則p←q取值為真”這一論證是()。a．直接證明b．反證法c．歸納證明d．選言證法73．“當(dāng)p→q取值為真時(shí)，那么p與q均真，因?yàn)楫?dāng)P與q均真時(shí)，p→q取值為真”這個(gè)論證()。a．是正確的b．犯有“推不出”的錯(cuò)誤c．論據(jù)虛假d．犯有“預(yù)期理由”的錯(cuò)誤三、雙項(xiàng)選擇題(在每題的五個(gè)備選答案中，選出兩個(gè)正確答案，并把其標(biāo)號(hào)寫在括號(hào)內(nèi))1．下列具有共同邏輯形式的判斷組是()與()。a．﹁SAP與SA﹁Pb．﹁（SIP）與SEPc．

SOP與﹁（□SAP）d．p→q與r→se．p→q與﹁p∨q2．已知“有A不是B”為假而“有A是B”為真，則A與B的外延關(guān)系是()關(guān)系或()關(guān)系。a．全同b．全異c．交叉d．A真包Be．A真包含于B3．如A與B都是單獨(dú)概念，則A與B的外延關(guān)系可能是()或()關(guān)系。a．全同b．真包含c．真包含于d．交叉e．全異4．若有S是P并且有S不是P，那么S與P的外延的外延關(guān)系或者是()關(guān)系或者是()關(guān)系。a．全同b．真包含c．真包含于d．交叉e．全異5．若A與B都是單獨(dú)概念，則A與B的外延關(guān)系不可能是()關(guān)系，也不可能是()關(guān)系。a．全同b．屬種c．交叉d．矛盾e．反對(duì)。6．若SAP與PAS恰為一真一假，則S與P在外延上可能是()關(guān)系也可能是()關(guān)系。

a．全同b．交叉c．S真包含Pd．全異e．S真包含于P7．下列關(guān)系中同時(shí)具有反對(duì)稱性質(zhì)和傳遞性質(zhì)的是()與()。a．概念間的全同關(guān)系b．判斷間的等值關(guān)系c．判斷間的矛盾關(guān)系d．概念間的真包含關(guān)系e．概念間的真包含于關(guān)系8．若“所有S是P”與“所有P是S”均假，則S與P在外延上具有()關(guān)系或()關(guān)系。a．全同b．S真包含Pc．全異d．交叉e．S真包含于P9．?dāng)喽ㄒ粋€(gè)主項(xiàng)(S)周延、謂項(xiàng)(P)不周延的判斷，也就斷定了其主項(xiàng)與謂項(xiàng)具有()關(guān)系或()關(guān)系。a．全同b．S真包含Pc．全異d．交叉e．S真包含于P10．若SOP與SIP恰有一真，則必然有()與()。a．SAP與SEP恰有一真b．SAP與SIP恰有一假c．SEP與SOP恰有一假d．SAP與SEP恰有一假e．SAP與SIP恰有一真11．若判斷A與判斷B有矛盾關(guān)系，則下列斷定中()與()違反了邏輯基本規(guī)律的要求。a．A∧﹁Bb．﹁A∧Bc．A∨Bd．A∧Be．﹁A∧﹁B12．下列各組判斷形式中，具有矛盾關(guān)系的是()與()。a．﹁(p∧q)與﹁p∨﹁qb．p→q與p∧﹁qc．p∧q與﹁(﹁p∨﹁q)d．p?q與pqe．﹁(p→q)與﹁p∧q13．直接推理(1)“SAP→﹁PES”和(2)“PO﹁S→﹁SOP”()()。a．都有效b．(1)有效，(2)無(wú)效c．不都有效d．都無(wú)效e．(1)無(wú)效，(2)有效14．“科學(xué)是有用的，邏輯科學(xué)是科學(xué)，所以，邏輯科學(xué)是有用的”這一推理不是()也不是()。a．演繹推理b．或然性推理c．間接推理d．直接推理e．必然性推理15．若一推理的前提與結(jié)論具有()關(guān)系或()關(guān)系，則此推理是形式有效的。a．矛盾b．等值c．下反對(duì)d．反對(duì)e．蘊(yùn)涵16．若一有效蘭段論的小前提是全稱否定判斷，則其大前堤可以是()或()。a．所有P是Mb．扒有P是Mc．有M不是Pd．沒(méi)有P不是Me．所有M是P17．以p→(q∧s)為一前提，若再增加()或()為另一前提，可有效地推得﹁p∧r。a．qb．﹁qc．rd．﹁q∧re．﹁s∧r18．以q為一前提，應(yīng)增補(bǔ)()或()為另一前提，可必然推出結(jié)論﹁P。a．p→﹁qb．q→pc．﹁p←qd．p∨qe．p?q19．設(shè)SOP假，下列判斷中為假的是()與()。a．SEPb．PISc．SAPd．SIPe．﹁PIS20．以PAM為前提，應(yīng)增補(bǔ)()或()為另一前提，可必然推SOP。a．SIMb．SAMc．SOMd．SEMe．MOS21．若

﹁p假，則()、()。a．﹁p假b．□﹁p假c．□p假d．p假e．

p假22．若□p為真，則()、()。a．□﹁p假b．p假c．

p假d．﹁p假e．

﹁p真23．當(dāng)“所有A是B”為假而“有B不是A”為真時(shí)，A與B的外延關(guān)系或是()關(guān)系或是()關(guān)系。a．全同b．A真包含Bc．A真包含于Bd．交叉e．全異24．已知“如果甲去蘇州，那么乙或丙也去蘇州為真”，則（）與（）必然為真。a．只有甲去蘇州，乙或丙才去蘇州b．如果乙和丙去蘇州，那么甲也去蘇州c．如果甲不去蘇州，那么乙和丙均不去蘇州d．如果乙和丙都不去蘇州，那么甲也不去蘇州e．只有乙或丙去蘇州，甲才去蘇州25．一有效三段論的結(jié)論是假的，則其大小前提不可能是()或()。a．都真b．都假c．一真一假d．都不假e．不都真26．下列式子中，正確表達(dá)I判斷與O判斷的真假關(guān)系的是()與()。a．﹁I→Ob．﹁I∨﹁Oc．I∨Od．O→﹁Ie．I?O27．設(shè)A是單獨(dú)概念，B是普遍概念，則A與B的外延關(guān)系或是()關(guān)系或是()關(guān)系。a．同一b．A真包含Bc．A真包含于Bd．交叉e．全異28．以SE﹁P為前提，可必然推出()和()。a．﹁PA﹁Sb．﹁SIPc．﹁SO﹁Pd．PE﹁Se．﹁SOP29．以“p←(q∧r)”為前提，若要必然推出﹁r，則應(yīng)加上前提()或()。a．p∧qb．p∧﹁qc．﹁p∧qd．﹁p∧﹁qe．﹁(﹁p∧﹁q)30．設(shè)﹁SI﹁P為假，則下列公式中為假的是()與()。a．PI﹁Sb．﹁SOPc．﹁PASd．SAPe．SOP四、多項(xiàng)選擇題1．下列判斷中，邏輯常項(xiàng)相同的判斷是()、()、()、()、()。a．并非pb．p是假的c．并非qd．這個(gè)S不是Pe．有S不是P2．若“A可以分為B、C、D”是一正確的劃分，則B與C的外延不能是()、()、()、()、()關(guān)系。a．同一b．真包含于c．交叉d．矛盾e．真包含3．設(shè)A是一單獨(dú)概念，B是一普遍概念，則A與B的外延不可能是()、()、()、()、()關(guān)系。，a．全同b．A真包含于Bc．交叉d．全異e．A真包含B4．下列對(duì)概念的限制與概括不正確的是()、()、()、()、()。a．“形式正確的推理”概括為“有效推理”b．“假言判斷”限制為“前件”c．“被定義項(xiàng)”概括為“定義的組成部分”d．“間接推理”限制為“三段論”e．“模態(tài)判斷”概括為“簡(jiǎn)單判斷”5．下列各組概念中不具有屬種關(guān)系的是()、()、()、()、()。a．“《毛澤東選集》”與“《紀(jì)念白求恩》”b．“太陽(yáng)系”與“地球”c．“負(fù)判斷”與“全稱否定判斷”d．“青年”與“共青團(tuán)員’e．“歸納推理”與“簡(jiǎn)單枚舉歸納推理”6．設(shè)A、B、C是同一次劃分的三個(gè)子項(xiàng)，則根據(jù)劃分規(guī)則，A與C在外延上不能是()、()、(、)、()、()關(guān)系。a．全同b．屬種c．交叉d．矛盾e．反對(duì)7．下列關(guān)系中，具有對(duì)稱性質(zhì)的關(guān)系有()、()、()、()、()。a．概念間的同一關(guān)系b．概念間的交叉關(guān)系c．概念間的真包含關(guān)系d．判斷間的等值關(guān)系e．判斷間的矛盾關(guān)系8．下列關(guān)系中，具有傳遞性質(zhì)的關(guān)系有()、()、()、()、()。a．概念間的真包含于關(guān)系b．概念間的交叉關(guān)系c．判斷間的等值關(guān)系d．判斷間的矛盾關(guān)系e．判斷間的蘊(yùn)涵關(guān)系9．已知p真，就可以確定()、()、()、()、()的真假值。a．﹁p→pb．p∧qc．

pd．﹁pe．□p10．若﹁p∧q為真，則下列公式中取值為真的是()、()、()、()、()。a．﹁p→qb．p→qc．﹁p→﹁qd．﹁p∨﹁qe．p∨q11．若p∨q為假，則下列公式中取值為真的是()、()、()、()、()。a．p→qb．p?qc．p∧qd．﹁p∨﹁qe．﹁p∧﹁q12．當(dāng)“p→q”、“﹁p→﹁q”與“﹁p∨﹁q”三公式均真時(shí)，下列公式中取值為真的是()、()、()、()、()。a．p→﹁qb．﹁p→qc．q→﹁pd．p?qe．﹁p∧﹁q13．已知“﹁p←q”、“p∧q”與“p∨q”三公式中恰有兩假，則公式()、()、()、()、()為真。a．p→qb．﹁p→﹁qc．p∨qd．﹁p∨﹁qe．p→﹁q14．若﹁r(p∧q)為真，r為假，則必有()、()、()、()、()。a．p真b．q真c．p假但q真d．p真但q假e．p與q均真15．以PEM為一前提，增補(bǔ)()()()()()為另一前提，可必然推出SI﹁P。a．SAMb．SOMc．SIMd．SEMe．MAS16．以r←(p∨q)為一前提，若再增加()()()()()為另一前提，可有效地推得r。a．pb．qc．﹁pd．﹁qe．p∨q17．以﹁p→(q∧r)為一前提，若再增加()、()、()、()、()為另一前提，可有效地推得P∧S。a．qb．﹁qc．﹁q∧sd．﹁r∧se．(﹁p∨﹁r)∧s18．在“[p()q]→(﹁p∨q)”的空括號(hào)內(nèi)，填入符號(hào)()、()、()、()、()都可構(gòu)成有效式。a．∧b．→c．?d．←e．?19．下列各項(xiàng)中屬于類比推理特征的是()、()、()、()、()。a．從個(gè)別到個(gè)別或從一般到一般b．從個(gè)別到一般c．前提不蘊(yùn)涵結(jié)論d．前提中的相同屬性與推出屬性是不同的e．結(jié)論蘊(yùn)涵前提20．下列各列中屬于完全歸納推理特征的是()、()、()、()、()。a．從個(gè)別到一般b．前提蘊(yùn)涵結(jié)論c．結(jié)論蘊(yùn)涵前提d。前提中考察了某—類的所有對(duì)象e．能夠被應(yīng)用于一切有窮的類和無(wú)窮的類五、歐拉圖解題1．用歐拉圖表示下列標(biāo)有橫線的概念間的外延關(guān)系①《祝?！?A)是魯迅(B)寫的，不是巴金(C)寫的，巴金是《家》的作者(D)。②小明是個(gè)小學(xué)生(A)，她表哥是個(gè)中學(xué)生(B)并且是三好學(xué)生(C)，他爸爸是個(gè)工人(D)。③巴金(A)是文學(xué)家(B)不是歷史學(xué)家(C)，郭沫若(D)既是文學(xué)家又是歷史學(xué)家。④演繹推理(A)是推理(B)的一種類型。它是必然性推理(C)，而不是或然性推理(D)。⑤概念外延間的交叉關(guān)系(A)是一種對(duì)稱關(guān)系(B)，同時(shí)又是非傳遞關(guān)系(C)，而判斷間的等值關(guān)系是一種傳遞關(guān)系(D)。2．已知：概念A(yù)與概念B交叉，A與C全異，A真包含D，B與C交叉，B真包含D，請(qǐng)用歐拉圖表示A、B、C、D間的外延關(guān)系。3．已知：A類與B類交叉，B類真包含C類，請(qǐng)用歐拉圖表示A類與C類各種可能的外延關(guān)系。4．一個(gè)主項(xiàng)與謂項(xiàng)均不周延的性質(zhì)判斷為真，請(qǐng)用歐拉圖表示其主項(xiàng)(S)與謂項(xiàng)(P)可能具有的各種外延關(guān)系。5．已知：(1)M與P外延不相容（2）“所有M是S”為真請(qǐng)用歐拉圖表示S與P可能具有的各種外延關(guān)系。6．已知：(1)M真包含于P(2)“有些S是M”為真請(qǐng)用歐拉圖表示S與P可能具有的各種外延關(guān)系。7．已知：(1)“所有M不是P”為真(2)M真包含S請(qǐng)用歐拉圖表示S與P可能具有的各種外延關(guān)系。六、真值表解題1．列出下列A、B兩個(gè)判斷形式的真值表，并據(jù)表回答A是否是B的充分條件。A：p→﹁qB：﹁p?﹁q2．請(qǐng)用真值表方法解答：當(dāng)p→q與p﹁q均真時(shí)，p∨﹁q和p∨q的真假情況。3．請(qǐng)用真值表方法解答：當(dāng)p→q與pq均假時(shí)，p∨q與﹁p∨﹁q的真假情況。4．請(qǐng)列出下列A、B、C三判斷的真值表，并回答A、B、C均真的，甲是否去北京，乙是否去北京。A：只有甲去北京，乙才去北京B：如果甲去北京，那么乙也去北京C：甲不去北京或乙不去北京5．請(qǐng)列出下列A、B、C三判斷的真值表，并回答當(dāng)A、B、C三判斷恰為一真二假時(shí)，甲是否考上大學(xué)，乙是否考上大學(xué)。A：如果甲考上大學(xué)，那么乙也考上大學(xué)B：乙考上大學(xué)，當(dāng)且僅當(dāng)甲考上大學(xué)C：如果甲考上大學(xué)，那么乙沒(méi)考上大學(xué)6．根據(jù)下列條件，列出真值表，并據(jù)表回答：甲、乙、丙三人的名次。甲、乙、丙三人爭(zhēng)奪圍棋比賽前三名，小毛預(yù)測(cè)：如果甲是第一，那么丙是第二；小田預(yù)測(cè)：甲是第一，當(dāng)且僅當(dāng)丙是第二?，F(xiàn)事實(shí)證明：小毛與小田兩人中有并且只有一人預(yù)測(cè)正確。7．請(qǐng)用真值表方法解下列問(wèn)題。己知下列A、B、C三個(gè)判斷中，恰有兩個(gè)為真。試問(wèn)：甲是否懂英語(yǔ)?乙是否懂英語(yǔ)?A：如果甲懂英語(yǔ)，那么乙不懂英語(yǔ)B：甲懂英語(yǔ)或乙不懂英語(yǔ)C：甲懂英語(yǔ)但乙不懂英語(yǔ)8．列出A、B、C三判斷的真值表，并回答：當(dāng)A、B、C中恰有兩假時(shí)，能否斷定甲村所有人家有彩電、能否斷定乙村有些人家沒(méi)有彩電?A：只有甲村有些人家沒(méi)有彩電，乙村所有人家才有彩電D：甲村所有人家有彩電并且乙村所有人家有彩電C：或者甲村所有人家有彩電或者乙村所有人家有彩電9．用真值表方法解答：丁的話能否成立?為什么?甲：如果小王第一，那么小李第二。乙：只有小王不是第一，小李才是第二。丙：小王第一，當(dāng)且僅當(dāng)小李不是第二。?。杭?、乙、丙三人的話都不對(duì)。10．用真值表方法解答：在什么情況下，丁的話能成立?甲：李平是大學(xué)生或者王衛(wèi)是大學(xué)生。乙：如果李平不是大學(xué)生，那么王衛(wèi)也不是大學(xué)生。丙：如果李平是大學(xué)生，那么王衛(wèi)不是大學(xué)生。?。杭住⒁摇⒈脑挾紝?duì)。11．用真值表方法解答：在什么情況下，丁的話不能成立廣：甲：小陳是木工并且小李不是電工。乙：小陳是木工或者小李不是電工。丙：如果小陳是木工，那么小李不是電工。?。杭?、乙、丙的話并非都真。12．用真值表方法解答：是否有一方案可同時(shí)滿足甲、乙、丙三位領(lǐng)導(dǎo)的要求。甲、乙、丙三位領(lǐng)導(dǎo)對(duì)是否選派小丁與小馬去療養(yǎng)發(fā)表如下意見(jiàn)：甲：如果小丁去，那么小馬也去。乙：只有小丁去，小馬才去。丙：或者小丁去，或者小馬去。七、分析題1．在下列三個(gè)判斷中“甲班學(xué)生”是否表述了集合概念?為什么?(1)甲班學(xué)生是從華東六省來(lái)的。(2)小劉是甲班學(xué)生。(3)甲班學(xué)生都應(yīng)當(dāng)努力學(xué)習(xí)。2．在A真包含于B并且A與C交叉的情況下，“所有B不是C”是否為真?為什么?3．設(shè)下列三句話中只有一句是假的，請(qǐng)問(wèn)：甲班班長(zhǎng)是否懂得電子計(jì)算機(jī)?(1)：甲班所有學(xué)生都懂電子計(jì)算機(jī)。(2)：甲班小張懂電子計(jì)算機(jī)。(3)：甲班所有學(xué)生都不懂電子計(jì)算機(jī)。4．下列公式中，哪一個(gè)全面地表達(dá)了E與I的真假關(guān)系?為什么?(1)E→﹁I(2)﹁E→﹁I(3)E∨I(4)E?I5．當(dāng)q取值為真時(shí)，能否確定(p→q)∧q的真假值？為什么？6．概念S與概念P的外延有交叉關(guān)系，試問(wèn)：以S為主項(xiàng)、P為謂項(xiàng)的四個(gè)性質(zhì)判斷中，哪幾個(gè)取值為真?這些取值為真的判斷中，哪幾個(gè)可以進(jìn)行有效的換位法推理?請(qǐng)用公式表示這些換位推理。7．?dāng)喽ㄒ粋€(gè)復(fù)合判斷為假，是否意味著斷定了其所有肢判斷為假?試以不相容選言判斷為例加以說(shuō)明。8．?dāng)喽ㄒ粋€(gè)充分條件假言判斷為真，是否意味著斷定了其所有肢判斷為真?為什么?9．甲斷定“班上有些同學(xué)學(xué)英語(yǔ)”為真，乙斷定“班上有些同學(xué)不學(xué)英語(yǔ)”為假，甲的斷定與乙的斷定是不是等值?為什么?10．甲斷定“如果p，那么q”，乙斷定“如果非p，那么非q”，試問(wèn)：甲的斷定與乙的斷定是不是等值?為什么?11．下列A、B兩判斷能否同真?能否同假?它們是不是一對(duì)具有等值關(guān)系的判斷?A：小李是大學(xué)生并且小李是團(tuán)員B：如果小李是大學(xué)生，那么小李是團(tuán)員12．對(duì)下列(1)、(2)兩種意見(jiàn)，甲都贊成，乙都反對(duì)。試分析甲和乙的斷定是否違反邏輯基本規(guī)律的要求。(1)王強(qiáng)與張明都獨(dú)唱。(2)如果周紅獨(dú)唱，那么張明也獨(dú)唱，這不好。13．如斷定下述a和b都真，又?jǐn)喽╟假，是否違反矛盾律的要求?為什么?a．有的甲班學(xué)生會(huì)英文打字。b．有的甲班學(xué)生不會(huì)英文打字。c．甲班學(xué)生都會(huì)英文打字。14．如肯定A而否定B，是否違反邏輯基本規(guī)律的要求?為什么?A：甲上場(chǎng)而乙不上場(chǎng)。B：只有甲不上場(chǎng)，乙才上場(chǎng)。15．如果同時(shí)肯定下列a、b、c三個(gè)判斷，是否違反邏輯基本規(guī)律的要求?為什么?a．ME﹁Pb．SAMc．SI﹁P16．已知“或者B真包含于C，或者C真包含于A”與“C與A交叉”均真，能否斷定“A不真包含于B”亦真?17．已知“只有B與C全異，A才不真包含于B”與“B真包含于C”均真，能否斷定“C不真包含于A”亦真?18．若A與B全異，B與C不全異，試問(wèn)A與C的外延關(guān)系可能有哪幾種?為什么?19．“I與O至少一真，因?yàn)槿绻鸌與O都假，則根據(jù)對(duì)當(dāng)關(guān)系A(chǔ)與E同真，但A與E同真是不可能的?！痹嚪治錾鲜稣撟C的論點(diǎn)和推理形式。20．“如果A真，則I真；如果A假，則O真；而A真或假，故I與O至少一真。”試分析上述論證中的論點(diǎn)和推理形式，并說(shuō)明該論證是否正確。八、證明題1．已知：(1)若概念A(yù)與概念B全異，則A與概念C全異(2)A真包含于C求證：概念B不與C全異。2．用選言證法證明：小前提是O判斷的有效三段論必定是第二格三段論。3．用反證法證明：有效的第四格三段論式的大小前提都不能是O判斷。4．試證明：若有效的第四格三段論式的小項(xiàng)在結(jié)論中周延，則該三段論必為AEE。5．試證明：第一格三段論有效的充分必要條件是：(1)大前提是全稱判斷。(2)小前提是肯定判斷。(3)小項(xiàng)不得擴(kuò)大。(4)大項(xiàng)在前提與結(jié)論中的周延情況相同。6．試證明：第二格三段論有效的充分必要條件是：(1)有、且只有一前提為否定判斷。(2)大前提是全稱判斷。(3)小項(xiàng)不得擴(kuò)大。(4)大項(xiàng)在結(jié)論中周延。7．試證明：第三格三段論有效的充分必要條件是：(1)大項(xiàng)在前提與結(jié)論中的周延情況相同。(2)中項(xiàng)至少周延一次。(3)小前提是肯定判斷。(4)結(jié)論是特稱判斷。8．若以A和B為前提可以必然推出C，而D與C矛盾，E與A矛盾。試證明：由D和B可必然推出E。9．若A、B、C分別為有效三段論的兩個(gè)前提和結(jié)論，D是與B相矛盾的性質(zhì)判斷。

試證明：“D∧A→C”不是有效三段論式。10．已知：(1)若P不真包含于M，則S與P全異；(2)若S不與M交叉，則S與P交叉(3)S不與P全異，也不與P交叉試證明：S真包含P九、綜合題1．下述甲、乙、丙的猜測(cè)各對(duì)于一半，試問(wèn)：A、B、C中誰(shuí)是律師、誰(shuí)是法官、誰(shuí)是檢察官?請(qǐng)寫出推導(dǎo)過(guò)程。甲：A是律師，B是法官。乙：A是法官，C是律師。丙：A是檢察官，B是律師。2．已知：(1)若P不與M全異，則S與P全異(2)若S與M全異，則S與P交叉(3)S不與P全異，也不與P交叉試推出S、M、P三者的外延關(guān)系，并用歐拉圖表示之。3．下面A、B、C三公式兩真一假，試推出﹁r∨﹁s的取值情況。A：r→pB：s→qC：p∧q4．下面A、B、C三公式兩真一假，試確定r的取值情況，并說(shuō)明理由。A：p→rB：q→rC：﹁p∧﹁q5．下面三句話一真兩假，試確定S與P的外延關(guān)系。(1)有S是P(2)有S不是P(3)有P不是S6．下面三句話一真兩假，試確定S與P的外延關(guān)系。(1)有S不是﹁P(2)有S不是P(3)有﹁S是P7．設(shè)下列四句中只有一句為真，問(wèn)：小周、小陳、小劉是否學(xué)日語(yǔ)?寫出推導(dǎo)過(guò)程。(1)或小周不學(xué)日語(yǔ)，或小陳不學(xué)日語(yǔ)。(2)只有小周學(xué)日語(yǔ)，小陳才學(xué)日語(yǔ)。(3)小劉學(xué)日語(yǔ)，小陳也學(xué)日語(yǔ)。(4)小周不學(xué)日語(yǔ)。8．下面三句話兩真一假，試說(shuō)明王強(qiáng)和趙平至少有一個(gè)是電工。(1)如果李明不是木工，那么王強(qiáng)是電工。(2)如果張?jiān)皇悄竟?，那么趙平是電工。(3)李明和張?jiān)际悄竟ぁ?．下面三句話一真二假，請(qǐng)問(wèn)：甲組的十二名同學(xué)中有幾人會(huì)游泳?(1)有些甲組的同學(xué)會(huì)游泳。(2)有些甲組的同學(xué)不會(huì)游泳。(3)甲組的小林會(huì)游泳。10．設(shè)下面三句話一真兩假，問(wèn)：甲、乙、丙、丁的一至四名的名次如何排定?(1)若乙是第二，則甲是第一。(2)若丙是第三，則甲是第一。(3)甲不是第一。

參考答案一、填空題1．S、P；∧、→2．所有、是；p、q3．交叉；全異4．種差；屬概念5．屬種；全異6．排中；如果甲是黨員，那么甲是教師7．矛盾；甲不是大學(xué)生，但甲是運(yùn)動(dòng)員8．歸納；類比9．演繹l0．S真包含P；交叉11．有些甲班學(xué)生是青年人12.特稱；否定13．真；假14.假；真15．假16．真17．真18．真包含；真包含19．真包含于；矛盾20．假；真21．假22．﹁p∨﹁q23.p→﹁q24．假25．假26．真27．假；真28．謂；主29．二；AOO30．AEE31.p32．∧二、單項(xiàng)選擇題1．a(chǎn)9．d17．a(chǎn)25．c33．b41．d49．c57．c65．b73．b2．d10．b18．c26．d34．b42．c50．c58．b66．b3．d11．b19．a(chǎn)27．c35．a(chǎn)43．d51．a(chǎn)59．d67．c4．c12．c20．b28．c36．c44．d52．d60．b68．c5．c13．b21．d29．a(chǎn)37．d45．a(chǎn)53．d61．d69．b6．d14．c22．c30．d38．d46．b54．d62．b70．c7．c15．a(chǎn)23．b31．b39．b47．b55．c63．d71．a(chǎn)8．c16．b24．b32．c40．a(chǎn)48．a(chǎn)56．b64．a(chǎn)72．b三、雙項(xiàng)選擇題1．a(chǎn)、d5．b、c9．a(chǎn)、e13．b、c17．d、e21．a(chǎn)、b25．a(chǎn)、d29．c、e2．a(chǎn)、e6．c、e10．a(chǎn)、d14．b、d18．a(chǎn)、c22．a(chǎn)、d26．a(chǎn)、c30．b、d3．a(chǎn)、e7．d、e11．d、e15．b、e19．a(chǎn)、b23．d、e27．c、e4．b、d8．c、d12．b、d16．a(chǎn)、d20．c、d24．d、e28．a(chǎn)、e四、多項(xiàng)選擇題1．a(chǎn)、b、c5．a(chǎn)、b、c9．a(chǎn)、c、d13．a(chǎn)、b、d、e17．c、d、e2．a(chǎn)、b、c、d、e6．a(chǎn)、b、c、d10．a(chǎn)、b、d、e14．a(chǎn)、b、e18．a(chǎn)、b、c3．a(chǎn)、c、e7．a(chǎn)、b、d、e11．a(chǎn)、b、d、e15．a(chǎn)、c、e19．a(chǎn)、c、d4．a(chǎn)、b、e8．a(chǎn)、c、e12．a(chǎn)、c、d、e16．a(chǎn)、b、e20．a(chǎn)、b、c、d五、歐拉圖解題ABCD.C·ABCD.C·DC·DBA①②DCCBBDCCBADA③④ADADBC2.DBCBADCA⑤⑥BADCAACACCAACACCA3.(一)(二)(三)SPSPSS·SPSPSS·PP4.（一）（二）（三）（四）SPSPSPSPPS5.PS（一）（二）（三）PSSPSS·PPSSP6．PSSP（一）（二）（三）（四）SP7．SP六、真值表解題1．pq﹁p﹁qp→﹁q﹁p?﹁q（p→﹁q）→﹁p﹁q真真假假假真真真假假真真假假假真真假真假假假假真真真真真由上表可知A不是B的充分條件2．pq﹁qp→qp﹁qp∨﹁qp∨q真真假真假真真真假真假真真真假真假真真假真假假真真假真假當(dāng)p→q與p﹁q均真時(shí)，p∨﹁q假而p∨q真。3．pq﹁p﹁qp→qp?﹁qp∨q﹁p∨﹁q真真假假真真真假真假假真假假真真假真真假真假真真假假真真真真假真當(dāng)p→q與p?q均假時(shí)，p∨q與﹁p∨﹁q均真。4．將A、B、C三判斷形式化A：p←qB:p→qC:﹁p∨﹁qpq﹁p﹁qp←qp→q﹁p∨﹁q真真假假真真假真假假真真假真假真真假假真真假假真真真真真當(dāng)A、B、C均真時(shí)，甲與乙均不去北京。5．將A、B、C三判斷形式化，A：p→qB:p?qC:p→﹁qpq﹁qp→qp?qp→﹁q真真假真真假真假真假假真假真假真假真假假真真真真當(dāng)A、B、C恰為一真二假時(shí)，甲考上大學(xué)，但乙沒(méi)考上大學(xué)。6、將小毛與小田的預(yù)測(cè)分別形式化為p→q與p?qpqp→qp?q真真真真真假假假假真真假假假真真據(jù)表可知，當(dāng)小毛與小田的猜測(cè)恰有一真時(shí)，甲不是第一，丙是第二，所以，甲是第三，乙是第一，丙是第二。7．將A、B、C三判斷分別形式化為：p→﹁q、p∨q與p∧﹁q。p﹁qp→﹁qp∨﹁qp∧﹁q真真真真真真假假真假假真真真假假假真假假據(jù)表可知，當(dāng)A、B、C三判斷恰有兩真時(shí)，“甲懂英語(yǔ)”為假，“乙不懂英語(yǔ)”為真，故甲乙均不懂英語(yǔ)。8．將A、B、C三判斷分別形式化為﹁p←q、p∧q、p∨q。pq﹁p﹁p←qp∧qp∨q真真假假真真真假假真假真假真真真假真假假真真假假據(jù)表，當(dāng)A、B、C恰有兩假時(shí)，“甲村所有人家有彩電”為假，“乙村所有人家有彩電”亦假，故不可斷定“甲村所有人家有彩電”但可判定“乙村有些人家沒(méi)有彩電”。9．將甲、乙和丙三判斷分別形式化為p→q、﹁p←q和p?﹁q。pq﹁p﹁qp→qp←qp?﹁q真真假假真假假真假假真假真真假真真假真真真假假真真真真假據(jù)表，甲、乙、丙三判斷不同假，故丁的話不能成立。10．將甲、乙、丙的話形式化為p∨q、﹁p→﹁q、p→﹁q。pq﹁p﹁qp∨q﹁p→﹁qp→﹁q真真假假真真假真假假真真真真假真真假真假真假假真真假真真據(jù)表，當(dāng)李平是大學(xué)生而王衛(wèi)不是大學(xué)生時(shí)，丁的話成立。11．將甲、乙、丙的話形式化為p∧﹁q、p∨﹁q、p→﹁q。p﹁qp∧﹁qp∨﹁qp→﹁q真真真真真真假假真假假真假真真假假假假真據(jù)表，當(dāng)小陳是木工、小李不是電工時(shí)，丁的話不能成立。12．將甲、乙、丙的要求形式化為p→q、p←q、p∨q。pqp→qp←qp∨q真真真真真真假假真真假真真假真假假真真假據(jù)表，讓小丁與小馬均去療養(yǎng)，可同時(shí)滿足甲、乙、丙的要求。七、分析題1．判斷(1)中“甲班學(xué)生”表達(dá)了集合概念，判斷(2)和（3）中，“甲班學(xué)生”表達(dá)了非集合概念。因?yàn)?，在判?1)中“甲班同學(xué)”表達(dá)的概念反映了一類事物的群體，而判斷(2)和(3)中“甲班同學(xué)”表達(dá)的概念不反映這種群體。2．“所有B不是C”為假。因?yàn)锳真包含于B，則“所有A是B”真，A與C交叉則“有A是C”，由“所有A是B”和“有A是C”可推“有B是C”，則“所有B不是C”為假。3．@因?yàn)?1)與(3)為反對(duì)關(guān)系，所以不同真；eq\o\ac(○,b)據(jù)@與題設(shè)，則(2)為真，則(4)“甲班有人懂電子計(jì)算機(jī)”真；eq\o\ac(○,c)據(jù)(4)與題設(shè)，(3)假而(1)真，故“甲班所有學(xué)生懂電子計(jì)算機(jī)”真，故甲班班長(zhǎng)懂電子計(jì)算機(jī)。4．(4)全面表達(dá)了E與I不可同真不可同假的關(guān)系。(1)只表達(dá)了E與I不同真的關(guān)系。(2)錯(cuò)誤地表達(dá)了E與I的真假關(guān)系。

(3)只表達(dá)了E與I不同假的關(guān)系。5．當(dāng)q真時(shí)，p→q為真，故可確定(p→q)∧q取值為真。6．SIP與SOP取值為真。SIP可進(jìn)行有效的換位法推理，公式為SIP→PIS。7．?dāng)喽ㄒ粡?fù)合判斷為真，并不意味著斷定其所有肢判斷為真。如：斷定不相容選言判斷p∨q為真，意味著斷定了p與q中恰有一假。8．?dāng)喽ㄒ怀浞謼l件假言判斷為真，意味著斷定了其前件與后件的真假情況屬下列三種之一：①前件與后件均真；②前件假后件真；③前件與后件均假。因此，斷定充分條件假言判斷為真，不意味斷定其所有肢判斷為真。9．乙的斷定相當(dāng)于“班上所有同學(xué)學(xué)英語(yǔ)”，與甲的斷定不等值。10．甲斷定p是q的充分條件，乙斷定p是q的必要條件，兩者的斷定不等值。11．若A真，則B真，故A與B可同真。若B假，則A假，故A與B可同假。若“小李是大學(xué)生”假，則A假而B真，故A與B不是一對(duì)等值的判斷。12．(1)與(2)兩種意見(jiàn)互為反對(duì)關(guān)系，不可同真、可以同假。甲的斷定自相矛盾，違反了矛盾律的要求；乙的斷定不違反邏輯基本規(guī)律的要求。13．a(chǎn)與b互為下反對(duì)關(guān)系，可以同真。b與c矛盾，斷定c假，相當(dāng)斷定b真?？梢?jiàn)，斷定a和b都真，又?jǐn)喽╟假，不違反矛盾律的要求。14．否定B，即肯定“甲上場(chǎng)且乙上場(chǎng)”，這與A不可同真，故肯定A而否定B違反矛盾律的要求。15．根據(jù)三段論規(guī)則，由a與b可推出SE﹁P，而SE﹁P與SI﹁P(c)互相矛盾，所以同時(shí)肯定a、b、c三個(gè)判斷，違反了矛盾律的要求。16．由“或者B真包含于C，或者C真包含于A”與“C與A交叉”可推出“B真包含于C”；“C與A交叉”，則“有A不是C”；“B真包含于C”，則“所有B是C”；由“有A不是C”與“所有B是C”可推得“有A不是B”。因此，能斷定“A不真包含于B”為真。17．由已知條件“只有B與C全異，A才不真包含于B”與“B真包含于C”，可推“A真包含于B”；由“A真包含于B”與“B真包含于C”，可推“A真包含于C”，因此可斷定“C不真包含于A”為真。18.“A與B全異”，則“所有A不是B”；“B與C不全異”，則“有B是C”；由此可推“有C不是A”。由此A和C的外延關(guān)系可能是下列三種之一：C真包含A，C與A交叉，C與A全異。19．論證的論點(diǎn)是：I和O至少一真。論證的推理形式是充分條件假言推理的否定后件式。20．論點(diǎn)：I與O至少一真。論證中的推理形式是二難推理的復(fù)雜構(gòu)成式。該論證是正確的。八、證明題l證明：由(1)與(2)可推，(3)A與B不全異(“有A是B”)由(2)可得，(4)“所有A是C”，由(3)與(4)可推“有B是C”，故B與C不全異。2．證明：設(shè)一有效三段論的小前提為O判斷，則此三段論要么是第一格、要么是第二格、要么是第三格、要么是第四格。若該三段論為第一格，因小前提否定則結(jié)論否定，結(jié)論中的大項(xiàng)周延；根據(jù)規(guī)則大項(xiàng)亦須在前提中周延，即大前提應(yīng)否定，大小前提均否定的三段論無(wú)效，故不可能是第一格。同理可證該三段論不是第三格。若該三段論為第四格，則小前提的主項(xiàng)(中項(xiàng))不周延，故大前提的謂項(xiàng)(中項(xiàng))必須周延，則大前提亦否定。大小前提均否定，三段論無(wú)效，故不可能是第四格。因此該三段論為第二格。3．證明：設(shè)一第四格三段論大前提為O判斷，則大項(xiàng)在前提中不周延；而前提之一否定結(jié)論須否定，故結(jié)論中大項(xiàng)周延。這樣，就犯了“大項(xiàng)擴(kuò)大”的錯(cuò)誤。所以第四格的大前提不能是O判斷。設(shè)一第四格三段論小前提為O判斷，則中項(xiàng)在小前提不周延；因而中項(xiàng)應(yīng)在大前提中周延，大前提須否定，而兩否定前提推不出結(jié)論，故第四格小前提也不能是O判斷。4．證明：設(shè)一第四格三段論小項(xiàng)在結(jié)論中周延，則其小項(xiàng)在小前提中周延，因而小前提否定，結(jié)論亦否定。因小項(xiàng)在結(jié)論中周延，則結(jié)論為全稱，故結(jié)論為全稱否定判斷(E)，而大小前提均為全稱；前已證小前提否定，則小前提為全稱否定判斷(E)；小前提否定，則大前提應(yīng)為肯定，前已證大前提全稱，故大前提全稱肯定判斷(A)。5．證明：一、先證明(1)、(2)、(3)、(4)是第一格三段論有效時(shí)充分條件。①由于(1)，則中項(xiàng)至少周延一次；②由于(2)與(4)，則前提中至多有一否定，并且前提中若有一否定，則結(jié)論否定；③由(3)與(4)，則不出現(xiàn)小項(xiàng)或大項(xiàng)擴(kuò)大的情況。綜上，(1)、(2)、(3)、(4)是第一格三段論有效的充分條件。二、再證明(1)、(2)、(3)、(4)是第一格三段論有效的必要條件。①設(shè)(1)不成立，即大前提為特稱判斷，則中項(xiàng)在大前提中不周延，故中項(xiàng)在小前提中應(yīng)周延，小前提為否定；小前提否定，則結(jié)論否定，結(jié)論中大項(xiàng)周延，那么大前提亦否定，而兩否定前提推不出必然結(jié)論。故(1)是第一格三段論有效的必要條件；②設(shè)(2)不成立，則小前提否定；按規(guī)則結(jié)論亦為否定，大項(xiàng)在結(jié)論中周延，則大項(xiàng)在前提中周延，大前提為否定，而兩個(gè)否定得不出必然結(jié)論。故(2)是第一格三段論有效的必要條件。③設(shè)(3)不成立，則小項(xiàng)擴(kuò)大，推理無(wú)效。故(3)是第一格三段論有效的必要條件。④設(shè)(4)不成立；即有兩種情況：第一種情況是大項(xiàng)在前提中不周延，卻在結(jié)論中周延，這就犯了“大項(xiàng)擴(kuò)大”的錯(cuò)誤；第二種情況是大項(xiàng)在前提中周延，在結(jié)論中卻不周延，這樣，前提之一(大前提)否定而結(jié)論卻肯定，這也違反了三段論的一般規(guī)則。故(3)是第一格三段論有效的必要條件。綜上(1)、(2)、(3)、(4)是第一格三段論有效的充分必要條件。6．解題思路同第5題，參考答案從略。7．同上。8．證明：(1)A∧B→C(已知)(2)D(即﹁C)(題設(shè))(3)由(1)與(2)可推﹁A∨﹁B(4)B(題設(shè))(5)由(3)與(4)可推﹁A(6)因E與A矛盾，則﹁AE(已知)(7)故由D和B可必然推出E。9，證明：(1)C或?yàn)榭隙ɑ驗(yàn)榉穸ǎ?2)若C為肯定，則A與B均肯定，D為否定；“D∧A→C”由一肯定一否定前提推出肯定結(jié)論，此三段論無(wú)效。(3)若C為否定，則A與B一肯定一否定。若B肯定，則D否定，則D與A均否定，以D與A作前提的三段論無(wú)效。若B否定，則D肯定；D與A均肯定，由D與A作前提推出一否定結(jié)論C，此三段論無(wú)效。10．證明：由(1)與(3)可推出，“P真包含于M”(4)由(2)與(3)可推出，“S與M交叉”(5)由(4)與(5)可推出SOP真，則S與P的關(guān)系有三種可能：①S與P全異、②S與P交叉、⑧S真包含P；已知“S不與P全異，也不與P交叉，故S真包含P。九、綜合題l.設(shè)甲的前半句話為真，即“A是律師”，則乙的猜測(cè)完全錯(cuò)了，故“A是律師”為假，甲的后半句話為真，即“B是法官”?！癇是法官”為真，則丙的后半句話為假，其前半句話為真，即“A是檢察官”。“A是檢察官”為真，則乙的前半句話為假，其后半句話為真，“C是律師”。2．(a)由(1)與(3)，可推(4)“P與M全異”，因而有(5)“所有P不是M”；(b)由(2)與(3)，可推(6)“S與M不全異”，因而有(7)“有S是M”；(c)由(5)與(7)，可推(8)“有S不是P”，因而有(9)“或S與P交叉或S與P全異或S真包含P”；(d)由(9)與(3)，可推(10)“S真包含P”;(e)由(4)、(6)、(10)可知(11)“或M與S交叉或M真包含于S”，因此S、M、P三者外延關(guān)系有以下兩種可能：SMMSSMMSPPPP(一)(二)3．(a)設(shè)C為真，則A、B、C均真，不符合題設(shè)條件，故C假，而A與B為真；(b)A與B均真而C假，則﹁r∨﹁s為真。4．(a)設(shè)C為真，則A、B、C均真，不符合題設(shè)條件，故C假，而A與B為真；(b)A與B均真而C假，則r為真。5．(a)(1)與(2)不同假至少有一真，根據(jù)題設(shè)(3)假；(b)(3)假，則所有P是S，因而(4)或P與S全同或P真包于S。(c)設(shè)P真包含于S，則(1)與(2)均真，不合題意，故P與S全同。6．(a)(1)等值于(4)有S是P；(b)(3)等值子(5)有P不是S。(以下解題步驟與上題相同，省略。)7．(a)設(shè)(4)真，則(1)真，與題設(shè)不符，故(4)假，“小周學(xué)日語(yǔ)”(5)為真；(b)(5)真，則(2)真，根據(jù)題設(shè)(1)、(3)均假；(c)(1)假，則“小周與小陳均學(xué)日語(yǔ)”(6)；(d)(3)假，則“小劉或小陳不學(xué)日語(yǔ)”(7)；(e)由(6)與(7)可推“小劉不學(xué)日語(yǔ)”(8)。綜上，小周、小陳學(xué)日語(yǔ)，小劉不學(xué)日語(yǔ)。8．(a)設(shè)(3)真，則(1)、(2)、(3)均真，不符題設(shè)，故(1)、(2)均真但(3)假，而“李明或張?jiān)皇悄竟ぁ?4)為真；(b)根據(jù)二難推理規(guī)則，由(1)、(2)、(4)可推“王強(qiáng)或趙平是電工”。9．(a)(1)與(2)不同假，根據(jù)題設(shè)(3)假；(b)(2)假，則“甲組的小林不會(huì)游泳”(4)(c)(4)，則(2)真，根據(jù)題設(shè)(1)假；(d)(1)假，則甲組所有同學(xué)不會(huì)游泳。10．(a)甲或是第一或不是第一；若甲是第一，則(1)、(2)均真，不合題設(shè)；故“甲不是第一”且(3)為真；

(b)(3)真，根據(jù)題設(shè)，則(1)與(2)均假，因而(4)乙是第二、(5)丙是第三、(6)甲不是第一；(c)由(4)、(5)、(6)可推甲、乙、丙和丁的名次依次為第4、2、3、1名。

附錄：一、一九八九年下半年全國(guó)高等教育自學(xué)考試普通邏輯試卷(附參考答案)(本卷考試時(shí)間180分鐘)一、填空(每小題1分，共10分)1．“要么p，要么q，要么r”這一判斷形式的邏輯變項(xiàng)是。2．從定義的結(jié)構(gòu)看，在定義“判斷是對(duì)思維對(duì)象有所斷定的思維形式”中，“判斷”是，“對(duì)思維對(duì)象有所斷定的”是，“思維形式”是。3．進(jìn)行歸納推理時(shí)，若前提考察了某類中每一個(gè)對(duì)象，則這個(gè)推理是推理；若前提只考察了某類中部分對(duì)象，則這個(gè)推理是推理。4．類比推理與簡(jiǎn)單枚舉歸納推理都是前提結(jié)論的推理，它們都是性推理。5．反駁可分為反駁、反駁和反駁；其中主要的是。6．已知“所有天鵝是白的”為假，根據(jù)判斷間的對(duì)當(dāng)關(guān)系，則“有些天鵝是白的”。7．已知關(guān)系R是反對(duì)稱的和反傳遞的，由aRb真，可得知；由ARB真且BRC真，可得知。8．“只有通過(guò)考試