复合命题及其推理（下）.doc

复合命题及其推理（下） 教学目的：本章主要讨论的命题演算。我们首先要明确什么是有效推理式，它与具体的有效推理有何区别和联系，在此基础上理解形式化的逻辑系统与具体推理论证的关系。 第一节 基本的有效推理式 1 推理的有效性 推理是一个包含特殊词项的命题集合，根据这样的词项，我们可以区分出前提和结论。例如： （1）如果张珊是中国公民并且她有选举选，那么她年满18岁。张珊是中国公民，但是她还没满18岁。所以，张珊没有选举权。 （1）是由三个命题构成的集合，它中间出现了特殊词项“所以”。由此我们把在“所以”前面出现的两个命题称作前提，我们由这两个前提推导出结论“张珊没有选举权”。因此这个命题集合是一个推理。 显然，作为推理的命题集合与一般的命题集合不同，它的元素的排列是有序的。排列在前面的是前提，排列在最后的一个是结论。因此推理是一个命题序列。推理描述的是一种推演关系，即作为结论的命题是由前提推导出来的，结论的真或可靠性依赖于前提。在（1）中，结论“张珊没有选举权”是否为真依赖于两个前提。 如果前提真时结论必然是真的，我们就称前提和结论之间有必然的逻辑联系。这种联系保证了推理决不会出现前提真而结论假的情况。因此，可以由前提的真来保证结论真，由前提可靠有效地推演出结论的可靠。前提和结论之间具有必然逻辑联系的推理就是有效推理。 如果前提和结论之间不具有必然的逻辑联系，那么前提真时结论是否为真不能确定，即不能由前提的真有效地推导出结论真，这样的推理就是无效推理。 推理的有效性是由推理的形式决定的。它表现为作为前提的命题同作为结论的命题之间的一种逻辑关联性，这种逻辑关联取决于构成推理的命题的形式结构特征。从（1）看，令p表示命题“张珊是中国公民”，q表示“张珊有选举权”，r表示“张珊年满18岁”，（1）的形式如下， （2） ( p ∧ q ) → r p ∧ ( r ∴ ( q 由（2）可见，（1）的第一个前提形式为蕴涵式“( p ∧ q ) → r”，第二个前提的形式是合取式“p ∧ ( r”。假定这两个前提都真，那么根据合取式的逻辑特征：p ∧ ( r 真时p和( r都真；而( r真时根据否定式的特征：r为假。r是蕴涵式 ( p ∧ q ) → r的后件，该蕴涵式是真的，根据蕴涵式的逻辑特征：其后件假则前件必假，因此p ∧ q是假的。再由合取式逻辑特征：合取式假其合取支至少有一个假，既然p是真的，q就一定假，因此( q必真。( q是结论的形式，因此，当（1）的前提真时结论必真。（1）是一个有效推理。 推理的有效性只能从推理的形式上去分析，而内容各异的种种具体推理则只是推理形式的代换实例，简称为例示。因此，（1）是（2）的一个例示，如下推理也是（2）的一个例示： （3）如果这种商品价格低廉并且品质优良，那么它就能够畅销。 该商品确实价格低廉，但是它不畅销。 所以，这种商品品质不优良。 （3）是用具体命题“这种商品价格低廉”代换（2）中的变元p，用“这种商品品质优良”代换q，用“这种商品畅销”代换r而得到的一个具体命题。 必须注意，一个具体推理是某个推理形式的代换例示，那么它必须符合对代换的要求：代换必须是处处进行。 所谓代换处处进行是指，用一个具体命题对一个变元进行代换，对该变元的每一处出现都必须用这同一个命题来代换。在上述命题形式（2）中，每个变元都出现了两次，（1）和（3）是（2）的代换例示，因为它们对（2）中的每个变元的每次出现都是用同一个具体命题代换的。 现在可以给出有效推理的定义： 有效推理的定义 设命题序列Γ=〈p1，p2，…，pn，q〉是一个推理形式，其中p1，p2，…，pn是前提，q是结论。Γ是一个有效的推理式，当且仅当，Γ的每一代换实例都使得：如果p1，p2，…，pn真那么q真。Γ是无效推理式，如果至少有一个Γ的代换实例使得：p1，p2，…，pn真但q假。 如下就是一个无效的推理形式： （4） ( p ∧ q ) → r p ∧ ( q ∴ ( r （4）所以无效是因为我们可以找到一个该推理形式的例示，使得它前提真而结论假。假定李司是一个被剥夺了政治权利的成年中国公民，那么如下推理是（4）的一个例示，它的前提真而结论假： 如果李司是中国公民并且他有选举选，那么他年满18岁。李司是中国公民，但是他没有选举权。所以，李司还没满18岁。 2．2 基本的有效推理式 根据基本命题公式的逻辑特征可推知如下一些推理形式是有效的。 根据合取式的逻辑特征 合取式的逻辑特征指出：一个合取式真，当且仅当两个支命题都真。由此可得到有组合式和分解式两种有效的推理形式。 组合式（简记为∧+） p q ∴p∧q 简化式（简记为∧-） p∧q ∴ p 显然，这两个推理形式都不可能由真前提推出假结论,因此它们都是有效式。