普通逻辑学课后答案 作者 关老健.doc

1参考答案 【堂上操练】一、填空：1思维形式 思维基本规律 简单逻辑方法2抽象思维3思维的形式结构4由逻辑常项和逻辑变项结合而成5逻辑常项，逻辑变项二、指出下列命题的形式结构：1这个S是P2非p，但q3或p，或q4如果非p，那么，非q三、指出下列形式结构中的逻辑常项和逻辑变项：1逻辑常项：所有，是。逻辑变项：S，P2逻辑常项：，。逻辑变项：p，q3逻辑常项：有，不是。逻辑变项：S，P4逻辑常项：， 逻辑变项：p，q，r2【堂上操练】一、填空：1反映事物本质属性2内涵，外延3反变4全同，真包含于，真包含，交叉，全异，矛盾，反对5定义，划分，限制，概括6从属7属加种差法8二分法9确定性二、指出下列概念是单独概念还是普遍概念1单独概念2单独概念3单独概念4普遍概念5普遍概念6单独概念7普遍概念8单独概念9普遍概念10普遍概念三、指出下列加横线概念是集合概念还是非集合概念：1集合概念2非集合概念3集合概念，非集合概念4非集合概念，集合概念四、指出下列概念是正概念还是负概念1正概念2正概念3正概念4负概念五、指出下列各题加横线概念之间有什么关系？并用图形表示出来： 1句子（A），短语（B），词（C），单句（D），复句（E） 2他（A），教师（B），文学（C），小说（D），作家（E） 3营业性舞厅（A），人（B），场所（C），成年人（D），标志（E），未成年人（F）4共同犯罪（A），二人以上共同故意犯罪（B） 六、下列限制是否正确？为什么？1不正确，因为森林与树不具有从属关系。森林是集合概念，树是非集合概念。2不正确，因为概念与概念的内涵不具有从属关系，而是整体与部分的关系。3不正确，因为欧洲与法国不具有从属关系。法国是欧洲的一部分。4正确，因为颜色是红色的属概念。红色是颜色的种概念。5不正确，因为犯罪与杀人罪不具有从属关系。杀人罪是罪名，犯罪是行为。七、下列概括是否正确？为什么？1不正确，因为等边三角形与等角三角形是全同关系。2不正确，因?quot;广东省与中国是部分与整体的关系，不具有从属关系（真包含于）关系。3正确，因为概念与思维形式具有从属关系。4不正确，因为党员与干部是交叉关系。5正确，因为天安门属于单独概念，具有从属关系。八、指出下列定义违反了什么规则？犯什么逻辑错误？1违反定义必须相称规则，犯定义过宽的逻辑错误。2违反定义不能循环的规则，犯同语反复的逻辑错误。3违反定义必须相称规则，犯定义过窄的逻辑错误。4违反定义项不能循环的规则，犯同语反复的逻辑错误。5违反定义应清楚确切的规则，犯比喻定义的逻辑错误。九、指出下列划分违反什么规则？犯什么逻辑错误？1不是划分，一年与四季不具有从属关系。2违反划分层次必须清楚的规则，犯越级划分的逻辑错误。3违反划分必须相称规则，犯划分不全的逻辑错误。4违反划分必须相称规则，犯划分过宽的逻辑错误。5违反划分标准必须同一的规则，犯多标准划分的逻辑错误。 3参考答案【堂上操练】一、填空：1确定的、可区别的事物2一切元素3相等4并集5差集6交换7互换二、判断下列元素是否属于所指集合：1属于。2直系，是指直接血缘关系，父亲、母亲、儿子、女儿属于直系亲属，妻子不属于直系亲属。3机器人不属于人，男人、女人属于人。4属于。5属于。61，1，2，3属于，2，1，2不属于。7b不属于，a，b，b，c属于。8属于。三、求AB、AB：1ABb，c。ABa，b，c，d2AB。ABa，b，c，d3AB1，2。AB1，2，3，44AB。AB1，2，3，4，5，65AB中国科学家。AB中国人，科学家6AB人。AB动物7AB。AB赞成，反对 8AB北京。AB北京四、求I A：13，42 pq 3不是科学家的中国人4非超车道4参考答案【堂上操练】一、填空：1真假意义2有所陈述，有真假之分3思维形式4某种性质5断定情况6不可同真，也不可同假7事物之间关系8传递关系二、下列语句是否表达命题？为什么？ 1表达命题。因为这个陈述句具有命题的有所陈述和有真假之分的逻辑特征。2表达命题。因为该陈述句具有命题的两个逻辑特征。3不表达命题。这是一个一般的疑问句，它只是提出了一个问题，亦无所谓真假。4表达命题。这是一个反诘句，具有命题的两个逻辑特征。5不表达命题。这是一个祈使句，仅体现一种希望和请求，亦不存在真假问题。6不表达命题。这个感叹句仅抒发一种希望和请求，未对思维对象人有所陈述，亦不存在真假问题。7不表达命题。这个感叹句中只表达一种良好的祝愿，不具有命题的两个逻辑特征。8间接表达命题。相当于这场拳击或者是甲胜，或者是乙胜。9表达命题。这是一个陈述句，具有命题的两个逻辑特征。10不表达命题。它不具有命题的两个逻辑特征。三、指出下列直言命题的种类和主谓词的周延情况：1单称肯定命题。主词桂林周延：谓词广西最美丽的旅游城市不周延。2该命题实为 所有的商人都是想赚钱的，全称肯定命题（A）。主词商人周延，谓词想赚钱的不周延。3全称否定命题（E）主词产业工人和谓词懒惰无能的人都周延。4特称肯定命题（I）。主词问题和谓词暂时得不到解决都不周延。5单称否定命题。主人和谓词老实人都周延。6特称肯定命题（I）。主词同学和谓词来自外省都不周延。四、根据命题的对当关系，选择相应的命题驳斥下列命题：1有的中国人不是不怕死的。（SOP）2所有的商品都是用于交换的。（SAP）3有的景点是自然景点。（SIP）4所有的党委书记都是党员。（SAP）五、问答题：答：甲的话有道理，乙的话不合逻辑。因为该题目要求运用同素材的A、E、I、O之间的真假制约的关系，即对当关系来回答问题的。已知的命题为I、由它判定A、E、O的真假情况。据逻辑方阵，I与E是矛盾关系，两者不能同真，也不能同假，故由I 真，必能判定E假；I与A是差等关系，两者可以同真，也可以同假，故由I真，只能判定 A可真可假；I与O是下反对关系，两者可以同真，但不能同假，故由I真，也只能判定O可真可假。乙由于没有掌握对当关系知识，单纯考虑具体命题的真假，而偏离了命题的相互制约的关系-对当关系中的逻辑形式的真假（逻辑值的真假），所以违反了逻辑，所讲的话没有道理。六、从关系的对称性指出下列各句带横线的概念属于什么关系？1非对称关系。2反对称关系。3对称关系。4对称关系。5对称关系。6对称关系。7对称关系。8非对称关系。七、从关系的传递性指出下列各句带横线的概念属于什么关系？1非传递关系。2非传递关系。3传递关系。4反传递关系。5传递关系。6非传递关系。7反传递关系。8非传递关系。5参考答案 【堂上操练】一、填空：1同时存在2至少有一种3条件4某个命题 n5二值627重言式二、下列语句各表达什么复合命题？请写出其逻辑式：1相容选言命题，pq。 2联言命题，pq。3不相容选言命题，pq r。 4充分条件假言命题，pq。5充分必要条件假言命题，pq。6必要条件假言命题，pq。7负命题，p。 8多个有关联的假言命题，p?q，rs，uv，mn，ef，hk。三、下列语句是否表达选言命题？如表达，各表达什么选言命题？请写出逻辑式：1表达相容选言命题，pq。2表达不相容选言命题，p q。3不表达选言命题。4表达相容的选言命题，p q r。5表达相容选言命题，pq。6表达不相容选言命题，p q。四、下列语句是否表达假言命题？如表达，各表达什么假言命题？请写出逻辑式：1表达充分条件的假言命题，pq。2，表达充分必要条件的假言命题，pq。3表达必要条件假言命题，pq。4表达充分必要条件的假言命题，pq。5表达充分条件的假言命题，pq。注：如果把不不看成逻辑联结词，则表达必要条件假言命题，pq。6不表达假言命题。 五、下列语句是否表达负命题？如表达，各表达什么负命题？请写出逻辑式：1不表达负命题。2表达负命题，p。3表达负命题，（pq）。 4表达负命题，p。5表达负命题，p。6不表达负命题。7表达负命题，（pq）。 8表达负命题，（p q）。6参考答案【堂上操练】一、填空：1可能，必然2有可能存在3必然存在4模态5必须命题6禁止命题二、下列句子各表示什么模态命题？请写出它们的逻辑式： 1必然肯定命题，逻辑式：S必然是P，简写为：必然p，符号式为：p。2可能否定命题，逻辑式： S 可能不是P，简写为：可能非p，符号式为：p。3必然否定命题，逻辑式：S必然是非P，简写为： 必然非p，符号式为：p。4可能肯定命题，逻辑式： S可能是P，简写为： 可能p，符号式为：p。5可能肯定命题，逻辑式： S可能是P，简写为： 可能p，符号式为：p。6必然否定命题，逻辑式： S必然不是P， 简写为： 必然非p，符号为p。三、下列句子各表示什么规范命题？ 请写出它们的逻辑式：1禁止肯定命题，逻辑式： 禁止p，符号式为Fp。2必须肯定命题，逻辑式： 必须p，符号式为Op。3禁止肯定命题，逻辑式： 禁止p，符号式为Fp4允许肯定命题，逻辑式： 允许p， 符号式为Pp5允许肯定命题，逻辑式： 允许p，符号式为Pp。6充分条件假言命题的后件是允许否定命题，逻辑式： 允许非p，符号式为Pp。7参考答案 【堂上操练】一、填空：1同一律，矛盾律，排中律2思维的确定性3混淆概念，转移论题4互相矛盾5两不可二、下列各段文字是否符合同一律要求？如不符合，犯了什么逻辑错误？ 1不符合，犯了转移论题的逻辑错误。2违反同一律要求。议论中前后出现的两个群众，虽然语词相同，但所表达的概念不同。前者是集合概念，后者是非集合概念，犯了混淆概念的逻辑错误。3违反同一律要求，课程是一个集合概念，句中把它误用作非集合概念，犯了混淆概念的逻辑错误。4违反同一律要求。在这段议论中，你有角是论题。为了论证这个论题，诡辩者用了这样的推理，即：凡你没有丧失的东西就是你有的东西，你没有丧失角，所以，你有角。在这个推理中，没有丧失的东西（应指原来具有现在还没有失掉的东西）与没有丧失角（从来没有的东西）意思不一样，不是同一概念。因之犯了 四名词错误，从前提推不出结论来。从基本规律的角度看，犯了偷换论题的逻辑错误。5这个议论违反了同一律的要求。唐代以后与唐代是两个不同的概念。前面说唐代以后古体诗转韵的也不少，后面所说的白居易的长恨歌、琵琶行却是唐代的作品，不能说明唐代以后的事情，犯了转移论题的逻辑错误。 补充：（【堂上操练】所没有的习题）8参考答案 【堂上操练】一、填空：1一个或几个2前提真实，形式有效3必然性推理4直接推理5共同词项6肯定，否定7典型，完善，不完善8关系命题9关系命题10直言命题二、 简要分析下列对当关系推理或其形式是否正确。1不正确。否定全称肯定命题不能得出特称肯定命题的结论。2正确。根据矛盾关系。3正确。根据矛盾关系。4不正确。反对关系中不能由假推真。三、简要分析下列命题变形推理或其形式是否正确。1正确。特称肯定命题可以直接换位。2不正确。特称否定命题不能换位。3不正确。 全称肯定命题只能限制换位。4正确。根据换质法。5正确。根据换质法。6正确。先换质再换位。7不正确。全称肯定命题只能限制换位。8正确。根据换质法。9正确。先换质再换位。四、指出下列三段论的大词、中词和小词以及大前提，小前提和结论， 并指出该三段论是哪一格，哪一式。1大词： 不怕批评的； 中词：真理； 小词： 马克思主义。大前提： 真理是不怕批评的； 小前提： 马克思主义是真理； 结论： 马克思主义是不怕批评的。 该三段论属第一格的AAA式。 2大词： 凶猛的动物， 中词： 老虎； 小词： 被驯化了的动物。 大前提： 老虎是凶猛的动物； 小前提： 有些老虎是被驯化了的动物； 结论： 有些被驯化了的动物是凶猛的动物。 该三段论属于第三格的AII式。 五、 简要分析下列三段论或 其形式是否正确1不正确。 犯了四名词错误。 因为第一个青年是集合概念。 第二个青年是非集合概念。2正确。 这是一结论为我们的事业是任何力量也攻不破的的推理省略式。 3不正确。 犯了中词不周延的错误。4不正确。 犯了小词扩大的错误。5正确。为第一格的AAI式。6不正确。 犯了中词不周延的错误。六、 下列推理是何种关系推理？ 请写出公式。 1传递性关系推理。 形式为：aRb bRc所以，aRc2对称性关系推理。 形式为： aRb所以，bRa3反对称关系推理。 形式为： aRb所以，bRa4反对称关系推理。 形式为： aRb所以，bRa5传递性关系推理。 形式为：aRbbRc所以，aRc6传递性关系推理。形式为： aRbbRc所以，aRc7传递性关系推理。 形式为： aRbbRccRd所以，aRd9参考答案【堂上操练】一、填空：1混合假言推理2变换前提中假言命题前后件的位置3假言连锁推理4负命题及其等值命题之间的逻辑关系5两个充分条件假言命题6与原二难推理相反的二难推理7联言命题8至少有一个是假的，一定是假的9为假10原命题为真11重言式12简化真值表二、指出下列公式属于何种复合命题形式：1充分条件推理肯定前件式2充分条件假言推理否定后件式3必要条件假言推理否定后件式4必要条件假言推理肯定后件式 5充分必要条件假言推理肯定前件式6充分必要条件假言推理肯定后件式7充分必要条件假言推理否定前件式8充分必要条件假言推理否定后件式9充分条件假言易位推理10必要条件假言易位推理11充分必要条件假言易位推理 12充分条件纯假言推理肯定式13充分条件纯假言推理否定式14必要条件纯假言推理肯定式15必要条件纯假言推理否定式16混合条件纯假言推理肯定式17混合条件纯假言推理否定式18负联言命题等值推理19负相容选言命题等值推理20负不相容选言命题等值推理21负充分条件假言命题等值推理22负必要条件假言命题等值推理23负充分条件假言命题等值推理24负负命题等值推理25二难推理简单构成式26二难推理简单破坏式27二难推理复杂构成式28二难推理复杂破坏式29假言联言推理肯定式30假言联言推理否定式31反三段论32归谬推理33反证推理 三、下列推理是什么形式的联言推理，请用公式表示：1分解式，（pqr） r2分解式，（pq） q3组合式，（p，q）（pq）4分解式，（pq） q四，下列选言推理是否正确？如正确，则写出形式，如不正确则说明理由。1正确，不相容选言推理否定肯定式，公式是( p q ) p q。2错误，相容选言推理的肯定否定式是无效式。3正确，相容选言推理的否定肯定式，公式为原题。五，下列假言推理是否正确？正确的写出形式，不正确的请说明理由。1正确。充分条件假言推理否定后件式，公式是（p q） q p。2不正确。必要条件假言推理肯定前件是无效式。3正确。必要条件纯假言推理，其形式是：( p q ) (q r ) (p r )10参考答案 【堂上操练】一、填空：1运用自然演算方法2假设推理3命题自然推理4一元的，多元的5事物性质，事物之间关系6消去谓词，添加谓词二、用命题的自然推理，证明下列公式是否有效式（定理）？1证：（1）A B 前提（2）A 前提（3）B （1），（2）蕴涵消去2证：（1）AB 前提（2）A 合取消去3证：（1）AB 前提（2）B 前提（3）A 相容选言推理否定肯定式4证：（1）A 假设（2）A B 前提（3）B （1）、（2）蕴涵消去（4）B C 前提（5）C （3）、（4）蕴涵消去（6）A C （1）、（5）蕴涵引入（消去假设（1）5证：（1）B 假设（2）A B 前提（3） A （1）、（2）否定后件（4）B A （1）、（3）蕴涵引入（消去假设（1）（逆证略，下同）6证：（1）（A B） 前提（2）A 假设1（3）A B （2）析取引入（4） A （1）、（2）、（3）否定引入（消去假设1（2）（5） B 假设2 （6）A B （6）析取引入（7） B （1）、（5）、（6）、否定引入（消去假设2（5）（8） A B （4）、（7）合取引入7证：（1）（AB）C 前提（2）B 假设1（3）AB （2）析取引入（4）BC （2）析取引入（5）（AB）（BC） （3）、（4），蕴涵引入（消去假设1（2）（6）C 假设2（7）BC （6）析取引入（8）C（BC） （6）、（7），蕴涵引入（消去假设2（6）（9）BC （1）、（5）、（8），析取消去（10）A （BC） （9），析取引入8证： （1）A （BC） 前提 （2）A （1）合取消去（3）BC （1）合取消去 （4）B 假设1（5）AB （2）、（4），合取引入（6）（AB）（ AC） （5），析取引入（7）B（AB）（ AC） （4）、（6），蕴涵引入（消去假设1（4）（8）C 假设2（9） A C （2）、（8），合取引入（10）（A B）（ AC） （9），析取引入（11）C（A B）（ AC） （8）、（10），蕴涵引入（消去假设2（8）（12）（A B）（ AC） （3）、（7）、（11），析取消去三、用谓词逻辑公式表示以下直言命题：1设Gx：x是国有企业，Lx：x是老企业，则：（x）（GxLx）。2设Lx：x是领导干部，Dx：x是抵制住贪图享乐思想的侵蚀（的人），则：（x）（LxDx）。3设Gx：x是国有企业，Yx：x是迎接加入WTO的挑战（的企业），则：（x）（GxYx）。4设Fx：x是法人，Mx：x是某个人，则（x）（FxMx）。5设Rx：x是人，Zx：x是自私的（人），则（x）（RxZx）。6设Dx：x达到第一宇宙速度的物体，Nx：x是能飞离地球，则（x）（DxNx）。四、用谓词逻辑公式表示以下关系命题：1设Gx：x是公民，Fx：x是妇女儿童的合法权益，R（x，y）：x保护y，则（x）（Gx（y）（FyR（x，y）。2设Xx：x是学生，Bx：x是比较活泼的老师，R（x，y）：x喜欢y，则（x）（Xx（y）（ByR（x，y）。3设Tx：x是同事，Lx：另一些同事，R（x，y）：x应该保留（距离）一定的个人空间，则（Ax）（Tx（y）（LyR（x，y）。4设Qx：x是全社会的任一分子，Jx：x是教师，R（x，y）：x应当尊重y，则（x）（Qx（y）（JyR（x，y）。5设Lx：x是理科学生，Yx：x是艺术系的老师，R（x，y）：x认识y，则（x）（Lx（y）（YyR（x，y）。6设p：男孩子努力学习，Px：x是漂亮姑娘，Nx：x是男孩子，则p（x）（Px（y）（NyR（x，y）11参考答案 【堂上操练】一、填空：1前提和结论中2模态逻辑方阵中3至少有一个4至少有一个5规范逻辑方阵中6至少有一个二、下列推理各属何种推理？1反对关系规范推理。2矛盾关系模态推理。3必然模态三段论。4矛盾关系模态推理。三、下列模态推理是否正确？请简述理由。1不正确。因为下反对关系模态推理不能由一真推出另一真。2不正确。因为违反了可能模态三段论和混合模态三段论都只能得出可能命题的结论。的规则。3不正确。因为差等关系模态推理不能由必然p假推出可能p真。4不正确。因为由p不能推出必然p，四、下列规范推理是否正确？请简述理由。1不正确。下反对关系规范推理不能由一正确推出另一正确。2不正确。因为违反了三段论的前提中不周延的概念在结论中也不得周延的规则。3不正确。因为差等关系规范推理不能由禁止p（即必须不p）的错误推出允许不p的错误。4、答：正确。因为下反对关系规范推理可以由允许p的错误推出允许不p正确。参考答案 【堂上操练】一、填空：1个别性知识，一般性知识2部分对象，全体对象3统计归纳推理4观察和实验，求同法、求异法、求同求异并用法、共变法和剩余法5相同或相似，相同或相似6.非归纳或然性7.推测性解释二、指出下列结论是运用哪种归纳推理推出的：1，3，5，6，简单枚举归纳推理。2，4，完全归纳推理。三、指出下列推理的种类，并写出其推理形式：1完全归纳推理，其推理形式为：S1是（或不是）P，S2是（或不是）P，S3是（或不是）P，Sn是（或不是）P，S1、S2、S3Sn是S类的全部对象，所以，所有S都是（或不是）P2统计归纳推理，其推理形式为：样本中的S是（或不是）P所以，总体中的S是（或不是）P3简单枚举归纳推理，其推理形式为：S1是P，S2是P，S3是P，Sn是P，S1、S2、S3Sn是S类的部分对象，并且没有发现相反的情况，所以，所有S都是P4概率归纳推理，其推理形式为：S1是P，S2不是P，S3是P，Sn是P，S1、S2、S3Sn是S类的部分对象，并且n个S中有m个是P，m 所以，全体S中有 n的概率是P5类比推理，其推理形式为：对象A具有属性a、b、c、d对象B具有属性a、b、c所以，对象B也有属性d6回溯推理，其推理形式为：EHE推测：H成立13参考答案 【堂上操练】一、填空：1真实性或虚假性2论题、论据和论证方式，结论、前提和推理形式3从正面论证论题真4虚假性，反证法和选言证法5 选言推理否定肯定式 6一个证明不能成立7某论题假8相反，独立证明法，归谬法9排中