華東師范大學(xué)版形式邏輯課后題答案

形式邏輯答案第一章形式邏輯的對(duì)象和意義(P13-14)法。九、1、內(nèi)涵、外延。2、交叉、反對(duì)。3、不相容(全異)、同一。4、(略)。5、定義過窄。6、真包含(同一)、不相容(全異)。7、限制、概括。8、多出子項(xiàng)、劃分不全。第三章簡(jiǎn)單命題及其推理(上)(P77-81)一、(3)、(5)直接表達(dá)判斷。2、可推出“所有A不是C”或者“所2、可推出“所有A不是C”或者“所S或與S全同，即S真包含P或與P全同，而前者使AB兩句話均真，十三、分析：“該來(lái)的(人)不(是)來(lái)(的人)”可推出“來(lái)(的人)不(是)該來(lái)的(人)”(seppes)。"不該走的(人是)走了(的人)”可推出"不走(的人是)該走的(人)(橫線)(橫線)(橫線)八、1、結(jié)論如果是肯定，小前提必肯定(2分);結(jié)論如果是否定，大項(xiàng)必周延，大前2分)小前提特稱否定，大前提必(2分)結(jié)論必否定，大項(xiàng)必周延，大前 九、1、“M與P不相容”得出“所有M不是P”,與“所有M是S”推出“有的S不是P”。是P”,與“有些S是M”推出“有些S是P”。S與P的關(guān)系有4種可能：全同，真包含(于),十、(1)、(2)、(4)有效；(3)無(wú)效(大項(xiàng)擴(kuò)大)。第五章復(fù)合命題及其推理(上)!(P133-136)一1、pAq2、pAq3pq4pq5pVq6pVq7、p強(qiáng)析取q8pq9pq10pq2、如果X大于5,那么X大于3。(如果X.不大于3,就不會(huì)大于5。六、1、小藍(lán)的書包要么是黃的，要么是白的(書包顏色和姓氏不同);(2分)小藍(lán)的書包書包是藍(lán)的；(2分)小白的書包是黃的。(2分)2、由b與c可得(1)“手表不是在宿舍丟失的”;(3分)由(1)與a可得(2)“手表是在校園或大街上丟失的”;(3分)由d與e可得(3)“手表不是在校園丟失的”;(2分)(2)與(3)可推出“手表是在大街上丟失的”。(2分)3、由c可得(1)一”,所以“甲是第四”;剩下的“丁是第一”。5、由(c)得(1)“S不與P全異”,(1)與(a)可得“P與M全異”,可得(2)“所有P不是M”;由(門得(3)“S不與P不全異”,可得(4)“有S是M”;[當(dāng)然也可推出(5)“有S不是M”、(6)“所有S都是M”,但(5)與(2)推不出，(6)與(2)可推出“S與P全異”,與(c)矛盾。](2)與(4)可推出“有S不是P”,S與P是真包含、交叉或全異，結(jié)合(c)可得“S真包含P”,可得(7)“有S是P”,(7)與(2)可推出“有S不是第六章復(fù)合命題及其推理(下)(P152-157)不是大學(xué)生，或者不是運(yùn)動(dòng)員；小王如果是大學(xué)生，就生)。7、真；真。&他不去。9、并非p而且q(非p或者非q)。abcdeabcdeacdeabecdeAq假，pVq真。(4)甲不去，乙也不去。(5)不能；能。(6)小張夫，小劉也夫。(7)a不是重言式.b.c:是重言式。六、1、由a與b可得(1)“小張?jiān)谧隽?xí)題”,(2分)依據(jù)：充分條件假言推理否定后件式，(1分)結(jié)論：小張?jiān)谧隽?xí)題，小李在寫家信，小方在讀報(bào)。2、a、b、c可分別寫成公式：a.(pAq)[rb.—I(—IrA—i交叉或全異，所以(3)“C不真包含于A”;(3)與c可得“C真包含A”,即“A真包與b可推出℃與B的關(guān)系是真包含或交叉。第八章歸納推理(P196—198)二、(2)、(4)可借助完全歸納推理得出。三、1、“磨擦?xí)l(fā)熱”,簡(jiǎn)單枚舉(科學(xué)歸納)。2、“銷石能溶解于水”,完全歸納。3、“聲音是物體振動(dòng)發(fā)出的”,科學(xué)歸納(簡(jiǎn)單枚舉)。二、類比推理，其中(1)(3)(4)為“機(jī)械類比”第十章形式邏輯基本規(guī)律(P220-224)(9)違反同一律。五、1、自相矛盾："精神病人可以提出不參加戰(zhàn)斗的理由(他本人應(yīng)當(dāng)提出)”與"精師生二人均“自相矛盾”:他們同時(shí)肯定了“依照我們的商定付款”和“依照法院的判決付款”這兩個(gè)矛盾的命題。但學(xué)生是以其人之道，還自其人之身，構(gòu)筑了一個(gè)反二難，是駁斥錯(cuò)誤二難推理的一