逻辑学课后习题答案.doc

习题21一、（略）。二、1、真。2、假。3、假。4、真。5、假。6、真。7、假。8、真。9、真。10、真。11、真。12、假。13、真。14、假。习题22一、1、（AB） 2、 AB 3、（A B） 4、A（BC）5、ADB 6、（AD）（DB） 7、（AD）E8、FAGH 9、A（DE）二、1、A：甲队获胜；B：乙队获胜。（BA）（AB）。2、A：此地气候潮湿；B：此地天阴；C：此地下雨。A（BC）。另外的答案：（BC）A （大家可以讨论这里合取的意义还是必要条件的意义更为适合）3、A：学习好；B：锻炼身体；C：关心社会；D：成为三好学生。DABC4、A：人不知；B：己莫为。AB5、A：人犯我；B：我犯人。（ A B）（AB）或AB6、A：我懂的古文；B：我精通古代哲学。（BA） B7、A：他出门；B：他买书；C：他看电影；D：他的钱多。（ABC） D8、A：甲上场；B：乙上场；C：丙上场；D：我队失败。 D（AB）C）9、A：他获得奖学金；B：他唱歌；C：他跳舞；D：他抽烟；E：他烦躁；F：他考试不及格；（A BC）（DE F）习题23一、1、矛盾式。 真值表如下：K K K KT FFF TF2、偶然式。真值表如下：J J JT FF TTF3、偶然式。真值表如下：N LNNLT T T TT F F FF TF F T F T F4、偶然式。真值表如下：D J(DJ)(JD) T T T T TT F F F TF TF F T F F T T T5、重言式。真值表如下：B H R(BH)(HR)(BR)T T T T T T T TT T F T F F T FT F T F F T T TT F F F F T T FF T T T T T T TF T F T F F T TF F T T T T T TF F F T T T T T6、偶然式。真值表如下：A OAOAT T T TT F T TF T T FF F F T7、矛盾式。真值表如下：E F G (EFG)( G F)E) T T T T T F F F F FT T F F F F T T F TT F T F F F F T T TT F F F F F T T T TF T T T T F F F F FF T F T F F T T F FF F T T F F F T T FF F F T F F T T T F8、重言式。真值表如下：P Q P(QP)T T T TT F T TF T T FF F T T二、重言等值的命题对是：2、3、5、6。它们的真值表如下：2、DJ和 ( D J)D J DJ ( D J)T T T T T F F FT F T T T F F T F T T T T T F FF F F T F T T T3、KM和KKMK M (KM) (KKM) T T T T T TT F F T F FF T T T T FF F T T T F5、BE和(BE)( B E)B E (BE) (BE)( B E)T T T T T T F F FT F F T F F F F TF T F T F F T F FF F T T F T T T T6、I（MO）和M（IO）I M OI（MO） M（IO） T T T T T T T TT T F F F T F FT F T T T T T TT F F T T T T FF T T T T T T TF T F T F T T TF F T T T T T TF F F T T T T T三、题二中第一个命题重言蕴含第二个命题的命题对是：2、3、4、5、6、7、8。四、略。习题24一、 略。二、 有效的推论有：1、2、4、6、7、9、11、12。无效的推论有：3、5、8、10。1、令：W：王波学好外语；Y：王波考上研究生。此推论符号化为：YW W Y相应的蕴涵式是： （Y W） W Y真值表如下：W Y （YW） W YT T T F F T FT F T F F T TF T F F T T FF F T T T T T在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。2、令：P：10是偶数；Q：10能被5整除。此推论符号化为： P Q PQ相应的蕴涵式是： PQ PQ真值表如下：P QPQ PQT T T T TT F F T FF T F T FF F F T F在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。3、令：L：李强学习优秀；B：李强受到表扬。此推论符号化为： P PB相应的蕴涵式是： P PB真值表如下：P BP PBT T T TT F F FF T T FF F T F在此真值表中，主联结词“”下面的第二行是F，可见它不是一个重言式。由此可以判定，此推论是无效的。4、令：D：大连在东北；H：大连是海滨城市。此推论符号化为：DH H相应的蕴涵式是： DH H真值表如下：D HDH HT T T T TT F F T FF T F T TF F F T F在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。5、令：S：发展经济；C：提高社会生产力。此推论符号化为： S C S C相应的蕴涵式是： （S C）（ S C）真值表如下：S C（SC） （ S C）T TT T F T FT FF T F T TF TT F T F FF FT T T T T在此真值表中，主联结词“”下面的第三行是F，可见它不是一个重言式。由此可以判定，此推论是无效的。6、令：L：他去旅游；Y：他去疗养。此推论符号化为：LY Y L相应的蕴涵式是： （LY） Y L真值表如下：L Y（LY） Y LT T T F F TT F T T T TF T T F F TF F F F T T在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。7、令：J：刘英考试及格；Y：刘英考试优秀。此推论符号化为： J JY相应的蕴涵式是： J JY真值表如下：J YJ JYT T T TT F T TF T T TF F T F在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。8、令： S：他工作顺利；C：他心情舒畅。 此推论符号化为： SC S C 相应的蕴涵式是： （S C） S C 真值表如下：S C（SC） S CT T T F F T FT F F T F T TF T T T T F FF F T T T T T在此真值表中，主联结词“”下面的第三行是F，可见它不是一个重言式。由此可以判定，此推论是无效的。9、令： K ：张老师出考题；P：学生害怕考试。 此推论符号化为： K P K P K 相应的蕴涵式是： （K P）（ K P） K 真值表如下：K P（KP）（ K P） KT T T F F F F T FT F F F F T T T FF T T T T T F T TF F T T T T T T T在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。10、令： Q：这本书饶有趣味；Z：这本书富有哲理。 此推论符号化为： QZ Z Q相应的蕴涵式是： （QZ）Z Q真值表如下：Q Z（QZ）Z QT T T T F FT F T F T TF T T T F FF F F F T T在此真值表中，主联结词“”下面的第一行和第三行是F，可见它不是一个重言式。由此可以判定，此推论是无效的。11、令： J：他激动；C：他的实验成功；S：他升为教授。 此推论符号化为： JC JS J（CS） 相应的蕴涵式是： （JC）（JS）（J（CS）真值表如下：J C S(JC)(JS) (J（CS）) T T T T TT T T TT T F T F F T F FT F T F F T T F FT F F F F F T F FF T T T T T T T TF T F T T T T T FF F T T T T T T FF F F T T T T T F在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。12、令： B：掌握辩证唯物主义；M：成为马克思主义者。此推论符号化为：B MMB相应的蕴涵式是：（B M）M B真值表如下：B M（BM）M BT T T T TT F F F TF T F F TF F T F T在此真值表中，主联结词“”下面的每一行都是T，可见它是个重言式。由此可以判定，此推论是有效的。三、略。四、有效的推论有：1、2、3、5、6、8、9；无效的推论有：4、7、10。1、令：P：进甲车间；Q：工作繁忙；S：对身体有害；R：进乙车间；H：工资微薄；T：没有假日。此推论可符号化为：PQSRHTPRQH短真值表：（PQS）（RHT）（PR） QH F T F F T F T F F T T T F F F F FP的赋值既是T又是F，由于此赋值导致矛盾，相应的推论是有效的。2、令：A：明天是假日；B：明天放假；C：我们上课。此推论符号化为：B A A CB CA短真值表：（BA）（ AC）（B C） AFTFT T F T T T F T T F F FC的赋值既是T又是F，由于此赋值导致矛盾，相应的推论是有效的。3、令：A：甲出席会议；B：乙出席会议；C：丙出席会议。此推论符号化为： AB A C C B短真值表：（AB）（AC）（ CB）T TFT TT T F T F F FC的赋值既是T又是F，由于此赋值导致矛盾，相应的推论是有效的。4、令：A：甲出席会议；B：乙出席会议；C：丙出席会议。此推论符号化为：ABACC B短真值表：（AB）（AC）C B T TT T T T T T T F FT由于此赋值没有导致矛盾，所以相应的推论是无效的。5、令：A：生产下降；B：人口过多；C：物资短缺；D：通货膨胀；E：人民遭受苦难；F：政府失去人心。此推论符号化为：ABCCDEEF D F A短真值表：（ABC）（CDE）（EF）（ D F） A T T T T T T T F T T T T T T T T F T T F F FTF的赋值既是T又是F，由于此赋值导致矛盾，相应的推论是有效的。6、令：A：汽车厂赢得这场诉讼；B：机械厂签订了合同；C：合同是合法的；D：机械厂不履行合同；E：机械厂缺乏原料；F：机械厂缺乏劳动力。此推论符号化为：ABCDEF BE A短真值表：（ABCD）（EF B）E A T T T T T T T T T T T F TT F FTB的赋值既是T又是F，由于此赋值导致矛盾，相应的推论是有效的。7、令：A：老王身体好；B：老王有空闲；C：老王去旅游；D：老王乘火车；E：老王乘轮船；F：老王乘飞机。此推论符号化为：ABCCDEF D F E A B短真值表：（ABC）（CDEF）（ D F E） A B TTT TT T TT T F F T F FT 当D赋值是T，E和F的赋值为F时，没有导致矛盾，因此相应的推论是无效的。8、令：A：天下雨；B：天刮风；C：天很冷。此推论符号化为：A（CB） B（AC）短真值表：（A（CB）（B（AC） T T F T F F T F T FFB的赋值既是T又是F，由于此赋值导致矛盾，相应的推论是有效的。9、令：A：今天游泳；B：明天跑步；C：明天爬山。此推