第五讲 命题逻辑(上).ppt

《第五讲 命题逻辑(上).ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第五章命题逻辑什么是有效推理式?有效推理式与具体的有效推理有何区别和联系?形式化的逻辑系统与具体推理论证有何联系?第一节基本的有效推理式问题：下列推理是否有效？（1）如果张珊是中国公民并且她有选举权，那么她年满18岁。（2）张珊是中国公民，但是她还没满18岁。所以，张珊没有选举权。一个推理的有效性是有其形式决定的(p∧q)→rp∧r∴q（1）如果这种商品价格低廉并且品质优良，那么它就能够畅销。（2）该商品确实价格低廉，但是它不畅销。所以，这种商品品质不优良。(p∧q)→rp∧r∴q内容各异的种种具体推理则只是推理形式的代换实例，简称为例示。一个具

2、体推理是某个推理形式的代换例示，那么代换必须是处处进行。所谓代换处处进行是指，用一个具体命题对一个变元进行代换，对该变元的每一处出现都必须用这同一个命题来代换。什么是一个有效的推理？如果前提真时结论必然是真的，我们就称前提和结论之间有必然的逻辑联系。前提和结论之间具有必然逻辑联系的推理就是有效推理。什么是无效推理？如果前提和结论之间不具有必然的逻辑联系，那么前提真时结论是否为真不能确定，即不能由前提的真有效地推导出结论真，这样的推理就是无效推理。有效推理的定义设命题序列Γ=〈p1，p2，…，pn，q〉是一个推理形式，其中p1，p2，…，pn是前提，q是结

3、论。Γ是一个有效的推理式，当且仅当，Γ的每一代换实例都使得：如果p1，p2，…，pn真那么q真。Γ是无效推理式，如果至少有一个Γ的代换实例使得：p1，p2，…，pn真但q假。如何判定一个推理是无（有）效式？(p∧q)→rp∧q∴r（1）如果李司是中国公民并且他有选举选，那么他年满18岁。（2）李司是中国公民，但是他没有选举权。所以，李司还没满18岁。2．2基本的有效推理式1简化式（简记为∧-）p∧q∴p组合式（简记为∧+）pq∴p∧q“菊花可以观赏。菊花可以入药。所以，菊花既可观赏又可入药。”“当事人订立的合同既有书面形式又有口头形式。所以，当事人订

4、立的合同有书面形式。”2选言三段论（简记∨-）p∨qp∴q附加式（简记∨+）p∴p∨q（1）拍卖的物品是委托人所有的或者是委托人依法可以处分的。（2）该拍卖物品不是委托人所有的。所以，该拍卖物品是委托人依法可以处分的。”3分离式（简记MP）p→qp∴q（1）如果是犯罪嫌疑人，那么必有犯罪动机。（2）王武是犯罪嫌疑人。所以，王武有犯罪动机。逆分离式（简记MT）p→qq∴p（1）如果天在下雨，那么地是湿的。（2）外面的地不是湿的。所以，天没有下雨。假言三段论（简记HS）p→qq→r∴p→r（1）如果这种商品定价过高，那么将使企业丧失部分销售市场。（2）

5、如果企业丧失了这部分销售市场，那么企业销售额将受到严重影响。所以，如果这种商品定价过高，那么企业销售额将受到严重影响。如下推理式是无效的：p→qp∴qp→qq∴p4.二难推理（简记CD）(p→q)∧(r→s)p∨r∴q∨s二难推理的破坏式：(p→q)∧(r→s)q∨s∴p∨r“半费之讼”说明，要推出正确的结论，首先要求推理形式是有效的，形式无效的推理其结论一定不正确。但是，形式有效的推理结论是否正确还有赖于前提，如果前提象关于学费的契约那样是有问题的，结论也不一定正确。总结:我们讨论了八个基本的有效推理式。显然，构成推理式的基本命题公式的逻

6、辑特征决定了这八个推理式的有效性。第二节推理有效性的形式证明2．1推理有效性与命题演算逻辑研究的目的是判定一个推理是否有效及分析其根据，有了以上八个基本的有效推理式之后，我们就能判定一个由复合命题构成的推理是否有效了。对于简单的由复合命题推理，我们可以直接根据这些基本有效式来判定推理是否有效。（1）如果是犯罪嫌疑人，那么必有犯罪动机。（2）王武有犯罪动机。所以，王武是犯罪嫌疑人。（1）如果商品短缺日益严重，那么物价会上涨。（2）如果存在生产过剩，那么物价不会上涨。（3）如果存在通货膨胀威胁，那么财政控制将继续。（4）如果政府改组，那么财政控制将取消。（5

7、）或者存在生产过剩，或者政府改组。因此，商品短缺不会日益严重，或者不再存在通货膨胀威胁。建立命题演算系统有两种方法，一是公理化方法，一是自然演绎方法。公理化的命题演算系统是在形式语言基础上增添公理和变形规则建构起来的。公理是推演的出发点，由公理根据推理规则推演出的是定理。在公理化系统中，所有定理的可靠性依赖于公理是否成立和推理规则是否可靠。自然演绎系统与公理系统有何不同？自然演绎系统没有公理，只有一系列推理规则。它引入特定前提为假设，根据推理规则推演出结论而建构起来的演算系统。由于这个系统描述的推演关系比较直接而自然地反映了人们的思维过程，因而被称作自然

8、演绎系统。在自然演绎系统中，所有定理的可靠性则只依赖于推理规则是否可靠。2．2有