形式邏輯答案

1、精選資料，歡迎下載形式邏輯課后習(xí)題參考答案第三章 簡單命題及其推理（上）F列語境哪些直接表達(dá)判斷？為什么?（3）、（ 5）直接表達(dá)判斷 下列命題屬于何種性質(zhì)命題？其主項和謂項的周延情況如何？1. 全稱肯定命題。主項周延，謂項不周延。2. 全稱肯定命題。主項周延，謂項不周延。3. 全稱肯定命題。主項周延，謂項不周延（ 沒有一個不是”全都是”。4. 全稱否定命題。主項謂項均周延（ 沒有一個是”全都不是”）。5. 特稱否定命題。主項不周延，謂項周延。6. 特稱肯定命題。主項謂項均不周延。7. 全稱肯定命題（更具體地講，單稱肯定命題）。主項周延，謂項不周延。8. 全稱否定命題。主項謂項均周延。根據(jù)性質(zhì)

2、命題的對當(dāng)關(guān)系，回答下列問題。解：1. 所有商品都有商標(biāo)”（屬于SAP與 所有商品沒有商標(biāo)”（屬于SEP是 上反對關(guān)系，由SAP假不能夠推出SEP真；所有商品都有商標(biāo)”（屬于SAP與有些商品沒有商標(biāo)”（屬于SOP是 矛盾關(guān)系，由SAP假能夠推出SOP真。（注意，在運用對當(dāng)關(guān)系進(jìn)行推斷之前，所有的命題都要先轉(zhuǎn)換為同素 材的性質(zhì)命題。下同。）2. 有些零件不是次品”（屬于SOP與 有些商品是次品”（屬于SIP）是下 反對關(guān)系，由SOP假能夠斷定SIP為真；有些零件不是次品”（屬于SOP與 所有零件不是次品”（屬于SEP是 差等關(guān)系，所以由SOP假可推斷SEP為假。3. 這三個命題分別屬于A、I、O

3、和E命題，由它們?yōu)檎婵梢酝茢嗨鼈兏髯?的同素材的性質(zhì)命題的真假如下：a. SAP真? SOF假、b. SIP 真？ SEP假、c. SOP真? SAP假、d. SEP真? SAP假、SIP 真、SEP假SAP和SOP真假不定 SEP和SIP真假不定SIP 假、SOP真四、將下列命題進(jìn)行換質(zhì)，并用公式表示之。1. sef? Sap2. SIP7SCP3. saf?sep4. SOPSI P五、下列命題能否換位？若能，請用公式表示之1. SIP?PIS2. SARPIS3. SOP不能換位4. SEFPPES六、下列推理是否正確？若正確，請把省略的推理步驟補充完整 （1）（2）（ 4）推理均不正確

4、。（3）SEF?PE PAS?SlP? SOP。七、填空題1. SOP2. 真包含于關(guān)系3. 全同（同一）；真包含于4.真假不定5.特稱的；肯定的6. SI P真八、單項選擇題(1) c(2)d(3) d(4) d(5) c(6)d九、雙項選擇題(1) de(2)de(3) be(4) be十、概念S和概念P的外延具有交叉關(guān)系。試問，以 S為主項、P為謂項的四個性質(zhì)命題中，哪幾個取值為真？在這些取值為真的命題中，哪幾個可以進(jìn)行有效的換位法推理？請用公式表示這些換位法推理。解：當(dāng)概念S與P的外延具有交叉關(guān)系時，在以S為主項和以P為謂項的四 個性質(zhì)命題中，SIP和SOP取值為真，其中只有SIP能夠

5、進(jìn)行有效的換位法推理， 即 SIP? PIS。十一、設(shè)下列三句話中只有一句是假話，請問甲班班長是否懂電子計算機？A:甲班所有學(xué)生懂電子計算機。B:甲班小張懂電子計算機。C:甲班所有學(xué)生都不懂電子計算機。解：1. A與C是反對關(guān)系，不同真，至少有一假。2. 由于題意給出只有一句假話，所以 B必定為真。3. （按照六角的對當(dāng)關(guān)系）B與C為反對關(guān)系，由B為真可以推出C為假。4. 由于題意給出只有一句假話，所以由 C為假可以推出A為真。由A為真 可以推出甲班班長懂電子計算機。十二、下面三句話一真兩假，試確定 S與P的外延關(guān)系。A:有S是PB:有S不是PC:有P不是SA、B和C分別是命題 SIP、SOP

6、ffi POS解：由于SIP與SOP是下反對關(guān)系，可同真但不可同假，而題設(shè)是三句話一 真兩假，所以POS為假，即C為假。POS假?PAS真?SIP真，即A為真。所以， 按照題意，SOP為假，即B為假。由A真、B和C均假，按照主謂項的外延與性質(zhì)命題的真假之間的關(guān)系，可知S與P之間的外延關(guān)系是全同關(guān)系。（注意，雖然PAS真？SIP真，但由于兩者不是互推的，所以它們所涉及的 兩個項之間的外延關(guān)系卻是不同的。因此，這里不能僅由SIP真和SOP這兩者假來確定S與P之間的外延關(guān)系，而應(yīng)當(dāng)由SIP真、SOP假和POS假這三者來共 同確定S與P之間的外延關(guān)系。）十三、某公請客，尚有人未到。于是，該公說：該來的不來?！庇行﹣砜吐犃?，起身走了。他又說： 不該走的走了?！庇谑?，剩下的客人全都走了。請分析 一下該公為何請客不成？解：1. 該來的不來=（所有）該來的都是沒有來的，即 SAP。SAP7SEFPPES即來的都不是該來的。所以，有些來客就走了