逻辑学第三章命题的判定与自然推理答案 .doc

《逻辑学第三章命题的判定与自然推理答案 .doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三章命题的判定与自然推理一、用符号表示下列各复合命题的真值形式：1.pp。2.pq。3.p→q(如以“不⋯⋯焉⋯⋯”为联结词，也可表示为“p←q”)4.p→q。5．(p←q)(p→q)。三、q的取值应为真。四、4、5两公式取值为T。五、各组公式的真值表分别为：q)二、p为假，pq为假，pq为真，p→q为假，p?q为假。1．pqp→qq→pTTTT2．TFFTFTTF3．FFTTpqpp→qpq4．TTFTTTFFFF5．FTTTTFFTTTpqqp→q(p→q)pqTTFTFTTFTFTTFTFTFFFFTTFTpqpqpqpq(pTTFFFTFTFFTTTF

2、FTTFTTFFTTTFFTpqpqp?qpqpq(pq)(pq)TTFFTTFTTFFTFFFFFTTFFFFFFFTTTFTT以上各组公式中2、5分别表示相同的真值函项。六、列出下列公式的真值表，并指出它们分别为重言式、矛盾式或协调式。各公式的真值表是：pTppTp?(pp)TFFTPqpqqp(pq)?(qp)TTTTTTFTTTFTTTTFFFFTPqp→qq→p(p→q)→(q→p)TTTTTTFFTTFTTFFFFTTT1．2．3．4．5．以上各公式中，1、2为重言式，3、4为协调式，5为矛盾式。七、用归谬赋值法判明下列公式是否为重言式。1.〔（p→

3、q）（r→q）（pr）〕→qPqpp→qpq(p→q)→(pq)FTTFTFTTFTFFFFTTTTFTTFF命题变FFTFTFTFTFTT或TF元p或r有赋值pqqqqp(qq)TTFFFTFTFFFTFFFFFTFF矛盾，故该式为重言式。2．（p→q）（p→r）?（p→qr）(1)（p→q）（p→r）→（p→qr）TTTTTTTFTFFFFq和r有赋值矛盾，所以，（1）式是重言式。（2）（p→qr）→（p→q）（p→r）TTTTFFTTTFTFF所有命题变元均无赋值矛盾，故（2）不是重言式。3．（p→q）（q→r）→（p→r）TTTTFTFFTFF命题变元

4、q有赋值矛盾，故该式为重言式。八、用命题的自然推理，证明下列公式是否为有效式（为系统中的定理）。1.pp→p证明：①pp假设②p①据规则5③pp→p①、②据规则(3)，消去假设①2.(p→q)q→p证明：①p假设②(p→q)q假设③p→q②据规则(5)④q①、③据规则(2)⑤q②据规则(5)⑥q⑦pq④、⑤据规则①、⑥据规则(4)(8)，消去假设①⑧(p→q)q→p②、⑦据规则(3)，消去假设②3．(p→q)→(q→p)证明：①p假设②p→q假设③q假设④q①、②据规则(2)⑤qq③、④据规则(4)⑥p①、⑤据规则(8)，消去假设①⑦q→p③、⑥据规则(3)，消

5、去假设③⑧(p→q)→(q→p)②、⑦据规则(3)，消去假设②4．(q→r)→(pq→pr)证明：①pq假设②p假设③q假设④q→r假设⑤pr②据规则(6)⑥r③、④据规则(2)⑦pr⑥据规则(6)⑧pr①、②、⑤、③、⑦据规则(7)，消去假设①⑨pq→pr①、⑧据规则(3)，消去假设①⑩(q→r)→(pq→pr)④、⑨据规则(3)，消去假设④5．(p→qr)?(p→q)(p→r)证明：①p→qr假设②p假设③qr①、②据规则(2)④q③据规则(5)⑤p→q②、④据规则(3)，消去假设②⑥p假设⑦qr①、⑥据规则(2)⑧r⑦据规则(5)⑨p→r⑥、⑧据规则(3)

6、、消去假设⑥⑩(p→q)(p→r)⑤、⑨据规则(4)○11(p→qr)→(p→q)(p→r)①、⑩据规则(3)，消去假设①○12(p→q)(p→r)假设○13p→q○12据规则(5)○14p→r○12据规则(5)○15p假设○16q○13、○15据规则(2)○17r○14、○15据规则(2)○18qr○16、○17据规则(4)○19p→qr○15、○18据规则(3)○20(p→q)(p→r)→(p→qr)○12、○19据规则(3)，消去假设○12○21(p→qr)?(p→q)(p→r)○11、○20据规则(10)