1、主讲人：何向东-进入-第二章 命题逻辑第一节第一节 命题逻辑概述命题逻辑概述2023年5月10日星期三3命题命题（1）西南大学在重庆。（2）闪光的东西都是金子。（3）如果小王有作案动机，那么他就会作案。符合实际的命题是真命题，不符合实际的命题是假命题。上述（1）是真命题;而（2）、（3）是假命题。命题是通过语句来反映事物情况的思维形态命题是通过语句来反映事物情况的思维形态。例如：例如：命题的命题的主要特征：主要特征：命题有真假命题有真假2023年5月10日星期三4命题和语句命题和语句首先，有的语句不能直接表达命题，如：（1）西南大学在重庆吗?（2）请把门关上！一般来讲：陈述句与反诘句可以直接表
2、达命题。其次，同一命题可以用不同的语句来表达，如：“所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。此外，同一命题可用不同的民族语言的语句来表达。再次，同一语句，可以表达不同的命题，如：小张将书还给小王，因为他要回家了。任何命题都是通过语句来表达的，但语句和命题并非一一对应：任何命题都是通过语句来表达的，但语句和命题并非一一对应：语句语句(陈述句和反诘句陈述句和反诘句)有有内涵内涵也有也有外延外延:语句的内涵语句的内涵即它表达的命题；即它表达的命题；语句的外延语句的外延即真、假这两个真值。即真、假这两个真值。采用这种观点的逻辑理论，称为采用这种观点的逻辑理论，称为二值外延逻辑或经典逻辑。二
3、值外延逻辑或经典逻辑。逻辑学上所说的命题，一般指这种或者逻辑学上所说的命题，一般指这种或者为真或者为假的抽象语句。为真或者为假的抽象语句。2023年5月10日星期三5命题和判断命题和判断 一个命题是否能成为判断，与断定者的知识、立场等有关。如：“杜甫是伟大的诗人”能否被断定就与断定者的知识水平有很大关系。充分假言命题被断定是前后件的关系，而不是支命题。如：“如果物体受到摩擦，那么物体发热”这个命题，我们既没有断定“物体受到摩擦”，也没有断定“物体发热”，我们所断定的只是前件是后件的充分条件。判断：判断：就是被断定者断定了的命题。就是被断定者断定了的命题。判断的主要特征：判断的主要特征：有所断定
4、。有所断定。2023年5月10日星期三6命题的分类命题的分类模态命题命题非模态命题简单命题复合命题2023年5月10日星期三7命题分析的层次命题分析的层次将联结词所联结的命题作为一个完整的单位来看待研究关于联结词的推理(命题逻辑)深入到命题内部，把命题分析为主项、谓项、量项和联项研究关于量项和联项的推理(传统词项逻辑)深入到命题内部，把命题分析为个体词、谓词、量词及联结词研究关于量词的推理(现代谓词逻辑)把命题中包含的模态词分析出来研究关于模态词的推理(模态逻辑)2023年5月10日星期三8逻辑语形学与逻辑语义学逻辑语形学与逻辑语义学逻辑语形逻辑语形(语法语法)学学:研究符号与符号关系的逻辑理
5、论。研究符号与符号关系的逻辑理论。逻辑语义学逻辑语义学:研究符号及其解释的逻辑理论，如研究符号及其解释的逻辑理论，如:把把p p、q q、r r解释为取解释为取真假值的命题变元真假值的命题变元，把把、解释为真值集上的运算解释为真值集上的运算，把把pqpq、pqpq、pqpq解释为真值函数的表达式。解释为真值函数的表达式。推理是由前提和结论组成的，前提和结论之间的关系称为推出（推论、推理是由前提和结论组成的，前提和结论之间的关系称为推出（推论、推理）关系。例如：推理）关系。例如：小王既有缺点，又有优点，所以，小王有优点。小王既有缺点，又有优点，所以，小王有优点。在推理中，前提是在推理中，前提是“
6、小王既有缺点，又有优点小王既有缺点，又有优点”，结论是，结论是“小王有小王有优点优点”，“所以所以”标志前提和结论之间的推出关系。标志前提和结论之间的推出关系。推理形式：推理形式：p且且q，所以，所以，q。逻辑学是从语形和语义两个方面来研究推理的：逻辑学是从语形和语义两个方面来研究推理的：(1)(1)从前提和结论的形式方面进行从前提和结论的形式方面进行 (2)(2)从前提和结论的真假方面进行从前提和结论的真假方面进行 语形和语义对推出关系的双重刻画语形和语义对推出关系的双重刻画第二章 命题逻辑第二节第二节 复合命题及其推理复合命题及其推理2023年5月10日星期三10负命题负命题(1)并非选修
7、逻辑的学生都是文科生。(2)这个班的学生不都学英语。(3)如果它是三角形，则内角和等于180，这个观点不对。注：负命题的支命题可以是简单命题，也可以是复合命题。负命题的形式负命题的形式:p。其中p称为的辖域。负命题的逻辑性质：负命题的逻辑性质：负命题的真假与被否定的命题的真假是相反的。负命题由否定联结词负命题由否定联结词(如如“并非并非”)联结支命题而形成的复合命联结支命题而形成的复合命题。例如：题。例如：2023年5月10日星期三11负命题负命题真值表：真值表：真值集合只有两个元素真值集合只有两个元素T，F，其中，其中T表示命题为真，而表示命题为真，而F表示命表示命题为假。因此，可用列表的方
8、式表示真值运算的过程，这种表称为题为假。因此，可用列表的方式表示真值运算的过程，这种表称为真值表真值表。真值函数：真值函数：当当p在真值集合在真值集合T，F上取真值后，上取真值后，p 的真值也唯一确定。所的真值也唯一确定。所以，以，p是是p的函数，表达形式为的函数，表达形式为f(p)=p，这种函数称，这种函数称真值函数真值函数。的真值表如下：的真值表如下：F FT Tp pp p 根据这个真值表，也可以给f(p)=p这个一元真值函数作如下定义：p为真当且仅当p为假；p为假当且仅当p为真。T TF F真值表的作用2023年5月10日星期三12负命题负命题根据负命题的逻辑性质，可对根据负命题的逻辑
9、性质，可对p再否定得到再否定得到p，其真值与，其真值与p相同，真值表如下：相同，真值表如下：F FT TF FT TF FT Tp pp pp p由上真值表知，对任意公式A，有等值关系：A A负命题的推导规则负命题的推导规则:双重否定引入规则（+）：从A可推出A。图示：AA双重否定消去规则（-）：从A可推出A。图示：AA2023年5月10日星期三13联言命题联言命题（1）小张歌唱得好并且舞跳得好。（2）这样建立的逻辑系统既有可靠性，又有完全性。联言命题的形式：联言命题的形式：p并且q（pq）。p称为的左辖域，q称为的右辖域。pq是二元真值函数：是二元真值函数：f(p,q)=pq。是在两个真值变
10、元p和q上进行运算的二元运算。联言命题是由联言联结词联言命题是由联言联结词(如如“并且并且”)联结支命题而联结支命题而形成的复合命题，又称合取命题。例如：形成的复合命题，又称合取命题。例如：2023年5月10日星期三14F FF FT TF FF FT TT TT Tpqpqq qp p从上表可以得出联言命题的逻辑性质：当p、q同时为真时，pq才为真；只要p、q其中一个为假，则pq为假。合取词的真值表T TF FF FF F由由的真值表的真值表,可得出可得出运算的规律运算的规律:（1）的交换律：的交换律：pqqp（2）的结合律：的结合律：p(qr)(pq)r（3）的重言（幂等）律：的重言（幂等
11、）律：ppp2023年5月10日星期三15合取引入规则（合取引入规则（+）：从）：从A A和和B B可推出可推出ABAB。图示如下：。图示如下：AB AB合取消去规则（合取消去规则（-）：从）：从ABAB可推出可推出A A，从，从ABAB可推出可推出B B。图示如下：。图示如下：AB AB A B小张喜爱音乐，小张喜爱体育，所以，小张不但喜爱音乐，也喜爱体育。根据+作出一个形式正确的推理，推理形式为：p,q pq。小张既有优点，也有缺点，所以，小张是有优点的。根据_作出一个形式正确的推理，推理形式为：pq p。联言命题的推导规则2023年5月10日星期三16选言命题选言命题选言命题分为选言命题
12、分为“相容选言命题相容选言命题”和和“不相容选言命题不相容选言命题”两种。两种。相容选言命题的选言支可以同时为真，如：相容选言命题的选言支可以同时为真，如：(1)小王或者是班干部，或者是学生会干部(二者可以得兼)。(2)这份统计材料，或者是原始材料有错误，或者是计算有错误，或者两种情况都存在。而不相容选言命题的选言支不能同时为真，如：而不相容选言命题的选言支不能同时为真，如：(1)鱼，我所欲也，熊掌，亦我所欲也，二者不可得兼。(2)要么选老王当村长，要么选小李当村长。选言命题用选言联结词联结支命题而形成的复合命题。选言命题用选言联结词联结支命题而形成的复合命题。2023年5月10日星期三17相
13、容选言命题的形式：相容选言命题的形式：p或者q(pq)的真值表：的真值表：相容选言命题的逻辑特征：相容选言命题的逻辑特征：相容选言命题为真，则它的选言支至少有一个为真；反过来讲，当选言命题至少有一个选言支为真，选言命题一定为真。F FF FT TF FF FT TT TT Tp pq qq qp pT TF FT TT T相容选言命题及推理相容选言命题及推理2023年5月10日星期三18的运算规律的运算规律和和的混合运算规律的混合运算规律(1)对的分配律:p(qr)(pq)(pr)。(2)对的分配律：p(qr)(pq)(pr)。(3)吸收律：p(pq)p；p(pq)p。(4)德摩根律：(pq)
14、pq；(pq)pq。(1)的交换律：pq qp，(2)的结合律：p(qr)(pq)r(3)的重言律：pp p。2023年5月10日星期三19用真值表检验德用真值表检验德摩根律：摩根律：从上真值表，可得：(pq)pq应用德应用德摩根律的实例摩根律的实例:并非这件衣服物美(而且)价廉这件衣服或者物不美，或者价不廉。并非小李或者喜欢音乐，或者喜欢体育小李既不喜欢音乐，也不喜欢体育。T TT TF FT TT TF FF FT TT TF FF FT TT TF FT TT TF FT TF FF FT TF FF FTF FF FT TT T p p q q(p(pq)q)pqpq q q p pq
15、 qp p2023年5月10日星期三20析取消去规则析取消去规则()从从AB和和A可推出可推出B；从；从AB和和B可推出可推出A。AB AB A B B A （只讨论有两个选言支的选言命题，下同）（只讨论有两个选言支的选言命题，下同）析取消去规则的应用实例：析取消去规则的应用实例：或者李某是嫌疑犯，或者王某是嫌疑犯(或者二者都是)；李某不是嫌疑犯；所以，王某是嫌疑犯。其推理形式为：pq,p q肯定一个选言支，不能否定另一个选言支。下述推理形式均错误：AB,A B；AB，B A 规则：否定一个选言支，就要肯定另一个选言支。2023年5月10日星期三21析取引入规则析取引入规则(记为记为)：从A可
16、推出AB；从B可推出AB。A B AB AB 析取析取引入引入规则的应用实例：规则的应用实例：小王是医生；所以，小王是医生，或者小王是教师。其推理形式为：p pq2023年5月10日星期三22FFTFFTTTp qqp的真值表的真值表的运算规律的运算规律的交换律：pq qP(q r)(p q)的结合律：prFTTF形式：形式：要么p,要么q（pq）qdf(pq)(pq)p不相容选言命题及推理逻辑性质：不相逻辑性质：不相容选言命题为真，容选言命题为真，当且仅当两个选当且仅当两个选言支有且只有一言支有且只有一个为真。个为真。2023年5月10日星期三23消去规则消去规则(记为记为 _):从A B和
17、A可推出B；从A B和B可推出A；A BA B A BB A从A B和 A可推出B；从A B和 B可推出A；A B A B A B B A2023年5月10日星期三24假言命题假言命题（1）如果寒潮到来，那么气温就会下降。（2）只有你去，我才放心。（3）人不犯我，我不犯人，人若犯我，我必犯人。在（在（1）、（）、（2）中由）中由“如果如果”、“只有只有”引出的支引出的支命题称为前件命题称为前件，由，由“那么那么”、“才才”引出的支命题引出的支命题称为后件。称为后件。假言命题的种类假言命题的种类一、充分条件假言命题二、必要条件假言命题三、充分必要条件假言命题 假言命题假言命题是由假言联结词是由假
18、言联结词(如如“如果，那么如果，那么”、“只有，只有，才才”、“当且仅当当且仅当”等等)联结支命题而形成的复合命题联结支命题而形成的复合命题，例如：例如：2023年5月10日星期三25充分条件假言命题(1)如果你不断地坚持锻炼，你的身体就会康复。(2)假如语言能创造财富，那么，夸夸其谈的人就会成为世界上最富有的人。充分条件假言命题的充分条件假言命题的形式形式：如果p，那么q(pq)在蕴涵式pq中，p称为的前件(左辖域)，q称为的后件(右辖域)。充分条件假言命题亦称条件命题或者实质蕴涵命题充分条件假言命题亦称条件命题或者实质蕴涵命题,是用是用“如果，那么如果，那么”等联结词联结前、后件形成的假言
19、命题，等联结词联结前、后件形成的假言命题，例如：例如：2023年5月10日星期三26的真值表的真值表 充分条件假言命题的逻辑性质是：充分条件假言命题的逻辑性质是：除了前件为真而后件为假时充分条件假言命题是假的以外,在其它三种情况下,充分条件假言命题都是真的。F FF FT TF FF FT TT TT Tp p q qq qp pT TT TT TF F2023年5月10日星期三27必要条件假言命题(1)只有由细菌引起的疾病，才能用抗生素治疗。(2)我不去，除非你去。必要条件假言命题的必要条件假言命题的形式形式：只有p,才q(pq)用用“只有，才只有，才”联结前、后件形成的假言命题，例如：联结
20、前、后件形成的假言命题，例如：在蕴涵式pq中，p称为的前件(左辖域)，q称为的后件(右辖域)。2023年5月10日星期三28的真值表的真值表必要条件假言命题的逻辑性质是：必要条件假言命题的逻辑性质是：除了前件为假而后件为真时充分条件假言命题是假的之外,其它情况下,充分条件假言命题都是真的。p pq qp p q qT TT TT TT TF FT TF FT TF FF FF FT T2023年5月10日星期三29充分必要条件假言命题(1)a和b平行,当且仅当它们的同位角相等。(2)人不犯我，我不犯人；人若犯我，我必犯人。充要条件假言命题的形式：充要条件假言命题的形式：p当且仅当q(pq)在充
21、要条件式pq中，称p为的前件(左辖域)，称q为 的后件(右辖域)。充分必要条件假言命题又称双条件命题，简称充要条件充分必要条件假言命题又称双条件命题，简称充要条件假言命题，是用假言命题，是用“当且仅当当且仅当”等作为联结词的命题，例等作为联结词的命题，例如：如：2023年5月10日星期三30的真值表的真值表的逻辑性的逻辑性质：质：当p和q的真值相同时，pq的真值为真；当p和q的真值不相同时，pq的真值为假。除上述已有规则外，、还有一些运算规律F FF FT TF FF FT TT TT Tp p q qq qp pF FF FT TT T2023年5月10日星期三31关于关于的推理规则的推理规
22、则(1)蕴涵消去规则,也称分离规则(略缩为M.P.)或肯定前件式(记为_)从AB和A可推出B。图示：ABAB (2)否定后件式(略缩为M.T.)从AB和B可推出A。图示：AB B A规则：肯定前件就要肯定后件规则：否定后件就要否定前件2023年5月10日星期三32关于关于的推理规则的应用的推理规则的应用（1）如果甲方付给了定金,乙方就得按时发货。甲方已付给了定金。所以乙方得按时发货。其推理形式为：p q，p q（2）如果这部电影受观众欢迎，那么买票的人就多。买票的人不多。所以这部电影不受观众欢迎。其推理形式为：p q,q p规则：肯定前件就要肯定后件规则：否定后件就要否定前件2023年5月10
23、日星期三33关于关于的推理的错误应用的推理的错误应用在日常思维中，关于的推理，容易发生的错误是：从AB和B推出A；从AB和 A推出 B。例如如是小K是持枪杀人凶手，那么他肯定有枪。小K有枪。所以，他是持枪杀人凶手。如是小K是持枪杀人凶手，那么他肯定有枪。小K不是持枪杀人凶手。所以，他肯定没有枪。为避免错误，制定了这样的规则：肯定后件不能肯定前件；否定前件不能否定后件。2023年5月10日星期三34 (2)肯定后件规则:从AB和B可推出A 图示：A BBA(1)否定前件规则:从AB和A可推出B图示：A BAB规则：否定前件就要否定后件规则：肯定后件就要肯定前件关于关于的推理规则的推理规则2023
24、年5月10日星期三35关于关于的推理规则应用的推理规则应用(1)只有你学习努力，才能取得好成绩。你学习不努力，所以，你不能取得好成绩。其推理形式为：pq，p q(2)除非发生了意外情况，这趟列车不会停在这个地方。它既然停在这个地方，可见，发生了意外情况。其推理形式为：pq,q p2023年5月10日星期三36关于关于的推理的错误应用的推理的错误应用在日常思维中，关于的推理的错误应用，容易发生的错误是:从AB和A推出B；从AB和 B推出 A。例如:只有小A在作案现场，他才是杀人凶手。有人证明小A在作案现场，所以，小A是杀人凶手。只有小A在作案现场，他才是杀人凶手。小A不是杀人凶手，所以，小A不在
25、作案现场。为避免错误，制定了这样的规则：肯定前件不能肯定后件；否定后件不能否定前件。2023年5月10日星期三37关于关于的推理规则的推理规则(1)等值引入规则(记为+)：从AB和BA可推出AB。图示：ABBAAB(2)等值消去规则(记为)：从AB可推出AB；从AB可推出BA。图示：ABABABBA2023年5月10日星期三38其他常见的推理其他常见的推理1.1.假言易位推理：假言易位推理：ABAB B B A A；AA B BBB A A；A ABB B BAA2.二难推理：二难推理：简单构成式：简单构成式：AC,BC,AB CAC,BC,AB C 复杂构成式：复杂构成式：AC,BD,AB
26、CDAC,BD,AB CD 简单破坏式：简单破坏式：AB,AC,AB,AC,B B C C A A 复杂破坏式复杂破坏式：AC,BD,AC,BD,C C D D A A B B3.3.假言三段论假言三段论：ABAB，BC ACBC AC4 4.反三段论：反三段论：(AB)C(A(AB)C(A C)C)B B (AB)C(B(AB)C(B C)C)A A5 5.反证法：反证法：A ABB，A A B B A A6 6.归谬法：归谬法：ABAB，AA B B A A第二章 命题逻辑第三节第三节：命题逻辑的自然演绎系统命题逻辑的自然演绎系统NPNP2023年5月10日星期三40自然演绎系统自然演绎系
27、统NPNP 命题逻辑的自然演绎系统命题逻辑的自然演绎系统NPNP是由是由形式语言形式语言L L 和一组推导（变形）和一组推导（变形）规则构成的。其中形式语言规则构成的。其中形式语言L L 包括包括初始符号初始符号、形成规则形成规则和和定义定义。一、初始符号一、初始符号(1)(1)甲类符号：甲类符号：p p1 1,p,p2 2,p,p3 3,；(2)(2)乙类符号：乙类符号：，；(3)(3)丙类符号：丙类符号：(，)。这些符号构成的有穷长的序列叫做符号串，例如这些符号构成的有穷长的序列叫做符号串，例如:p,pp,pqq，pq,pqpq,pq；(pq)r(pq)r，p(qr)p(qr)，其中其中p
28、 p、p p 都称都称 p p 的的子公式子公式。构建命题逻辑的形式系统，可以采用公理化方法，也构建命题逻辑的形式系统，可以采用公理化方法，也可采用自然演绎的方法。为接近人们的日常思维，现采用可采用自然演绎的方法。为接近人们的日常思维，现采用自然演绎的方法来构建命题逻辑的一个形式系统自然演绎的方法来构建命题逻辑的一个形式系统NPNP。2023年5月10日星期三41自然演绎系统自然演绎系统NPNP二、形成规则二、形成规则 (1)任何单个的命题变元p是合式公式；(2)如果A是合式公式，则A是合式公式；(3)如果A和B是合式公式，则AB、AB、AB是合式公式；只有（1）-（3）形成的符号串是合式公式
29、。三、定义三、定义：用来表示缩写的，定义两边的符号串可以相互代替。用来表示缩写的，定义两边的符号串可以相互代替。如：(AB)=df(AB)(BA)。形式语言L L 的全体合式公式记为Form(L L )。形式语言L L 是我们的研究对象，叫对象语言。讨论对象语言的语言叫元语言或语法语言。形成规则的作用2023年5月10日星期三42NP系统的推导规则系统的推导规则1.合取引入规则(记为+)：从A和B推出AB；2.合取消去规则(记为_):从AB推出A；从AB推出B；3.析取引入规则(记为+)：从A推出AB；从B推出AB；4.析取消去规则(记为_):从AB和A推出B；从AB和B推出A；5.蕴涵引入规
30、则(记为+)：如果从公式集和A推出B，则从推出AB；6.蕴涵消去规则(记为_)：从AB和A推出B；7.否定消去规则(记为_)：如果从和A推出BB，则从推出A。又称条件证明规则或演绎定理，是把从推出AB的推理转化为从和临时的假设A推出B的推理。(即移出律)又称间接证明或反证法，是把由推出A的推理转化为由和临时的假设A推出BB的推理。2023年5月10日星期三43NP系统系统有前提的形式推演有前提的形式推演 一个有穷的公式序列B1,B2,，Bm是从前提集(不是空集)到结论B的有前提的形式推演，如果每一个公式Bi(1im)满足以下条件之一：(1)Bi(即Bi是前提集中的一个公式)；(2)Bi是一个据
31、+或-临时引入的假设；(3)Bi是该序列中在前的若干公式应用NP系统的推导规则得到的公式；(4)B=Bm。则我们称和B具有语法推出关系，B从中可演绎的，或者说，从可以推出B，记为：NPB。2023年5月10日星期三44NP系统中的语法系统中的语法(语形语形)推出关系推出关系 我们以T1，T2，来给由基本推导规则确立的语法推出关系的编号，用(1)，(2)，(m)给形式推理过程中的公式序列中的每一个公式编号。T1 A A(肯定前提)(1)A 前提A既是该序列的第1个公式，也是第m个公式(m=1)。T2 A，B A (肯定前提)T3 A，B B(1)A A1(2)B A2B是第2个公式，也是第m个公
32、式(m=2)。2023年5月10日星期三45NP系统中的语法系统中的语法(语形语形)推出关系推出关系T4 A，B ABT5(a)AB AT5(b)AB BT6(a)A ABT6(b)B ABT7(a)AB,A BT7(b)AB,B AT8 AB,A B2023年5月10日星期三46NP系统中的语法系统中的语法(语形语形)推出关系推出关系T8:AB,A B(1)AB A1(2)A A2(3)B (1)，(2)，_T9(假言三段论，记为H.S.)：AB，BC AC(1)AB A1(2)BC A2 (3)A H1(+的假设)(4)B (1)，(3)，_ (5)C (2)，(4)，_(6)AC (3)
33、(5)，+(消去H1)2023年5月10日星期三47NP系统中的语法系统中的语法(语形语形)推出关系推出关系T10(双重否定消去规则，记为_)：AA(1)(1)A A (2)A H（_的假设）(3)AA (1)，(2)，+(4)A (2)(3)，_(消去H)T11(双重否定引入规则，记为+):AA(1)A A (2)A H（_的假设）(3)A (2)，_ (4)AA (1)，(3)，+(5)A (2)(4)，_（消去H）2023年5月10日星期三48NP系统中的语法系统中的语法(语形语形)推出关系推出关系T12 A，BT13，A B只证T12：(1)A A1(2)A A2(3)AB (1),+
34、(4)B (3)，(2)，_T14 AB，AB A(归谬法，记为+)(1)AB A1(2)AB A2 (3)A H1(_的假设)(4)A (3)，_ (5)B (1)，(4)，_ (6)B (2)，(4)，_ (7)BB (5)，(6)，+(8)A (3)(7)，_（消去H1）2023年5月10日星期三49NP系统中的语法系统中的语法(语形语形)推出关系推出关系T15(a)AB BA(假言易位)T15(b)BA AB 只证T5(a)：(1)AB A (2)B H1（+的假设）(3)A H2(_的假设)(4)A (3)，_ (5)B (1)，(4)，_ (6)BB (2)，(5)，+(7)A (
35、3)(6)，_（消去H2）(8)BA (2)(7)，+（消去H1）T15(c)ABBAT15(d)ABBA2023年5月10日星期三50NP系统中的语法系统中的语法(语形语形)推出关系推出关系可证等价关系可证等价关系也称演绎等值关系,如果A B且BA，A和B就具有可证等价关系，记为AB。据T15(a)和T15(b)，有如下可证等价关系：ABBA。可证等价置换规则可证等价置换规则(记为RP)：如果AB，则在A出现的公式C中(即A是C的子公式)，可以用B代替A，在B出现的公式C中(即B是C的子公式)，可以用A代替B。2023年5月10日星期三51NP系统中的语法系统中的语法(语形语形)推出关系推出
36、关系T T1616 AB AB，B B A(A(否定后件否定后件,记为记为M.T.)M.T.)(1)AB A(1)AB A1 1(2)(2)B B A A2 2(3)(3)B B A A (1)(1)，R RP P(4)(4)A A (2)(2)，(3)(3)，_ _T T1717 AB AB，ACAC，BC C(BC C(二难推理二难推理,记为记为D.C.)D.C.)(1)AB A(1)AB A1 1(2)AC A(2)AC A2 2(3)BC A(3)BC A3 3 (4)(4)C C H H1 1（_ _的假设）的假设）(5)(5)A A (2)(2)，(4)(4)，M MT T (6)
37、B (1)(6)B (1)，(5)(5)，_ _ (7)C (3)(7)C (3)，(6)(6)，_ _ (8)C (8)C C C (4)(4)，(7)(7)，+(9)C (4)(9)C (4)(8)(8)，_ _（消去（消去H H1 1）2023年5月10日星期三52NP系统中的语法系统中的语法(语形语形)推出关系推出关系T18(a)(AB)A B(记为DeM.)T18(b)(AB)A B(记为DeM.)T19(a)(AB)AT19(b)(AB)BT20(a)A(AB)T20(b)B(AB)2023年5月10日星期三53NP系统中的语法系统中的语法(语形语形)推出关系推出关系T18(a)(
38、AB)A B的证明的证明先证(AB)AB:(1)(AB)A (2)(AB)H1(_的假设)(3)A H2(_的假设)(4)AB (3)，+(5)(AB)(AB)(2),(4),+(6)A (3)(5),_(消去H2)(7)B H3(_的假设)(8)AB (7)，+(9)(AB)(AB)(2)，(8)，+(10)B (7)(9)，_(消去H3)(11)AB (6)，(10),+(12)(AB)(AB)(1)，(11),+(13)AB (2)(12)，_(消去H1)2023年5月10日星期三54NP系统中的语法系统中的语法(语形语形)推出关系推出关系T18(a)(AB)A B的证明的证明再证AB(
39、AB)：(1)AB A (2)(AB)H(_的假设)(3)AB (2)，_ (4)A (3)，_ (5)B (3)，_ (6)A (4)，+(7)B (1),(6),_ (8)BB (5),(7),+(9)(AB)(2)(8),_(消去H)2023年5月10日星期三55NP系统中的语法系统中的语法(语形语形)推出关系推出关系交换律T21(a)ABBAT21(b)ABBA结合律T22(a)A(BC)(AB)CT22(b)A(BC)(AB)C分配律T23(a)A(BC)(AB)(AC)T23(b)A(BC)(AB)(AC)2023年5月10日星期三56NP系统中的语法系统中的语法(语形语形)推出关
40、系推出关系T21(b)ABBA的证明的证明先证AB BA(1)AB A (2)A H1(+的假设)(3)BA (2)，+(4)ABA (2)(3)，+（消去H1）(5)B H2(+的假设)(6)BA (5)，+(7)BBA (5)(6)，+（消去H2）(8)BA (1)，(4)，(7)，D.C.同理，可证BAAB。2023年5月10日星期三57NP系统中的语法系统中的语法(语形语形)推出关系推出关系T24(a)AB(AB)T24(b)(B)ABT25(a)ABAB(蕴析律)T25(b)ABAT26(a)(AB)AT26(b)A(A)T27(a)A(A)T27(b)A(A)T28(b)AB,AC
41、,BCA(二难推理)T28(c)AC，BD，ABBDT28(d)AC，BD，CDAB2023年5月10日星期三58NP系统中的语法系统中的语法(语形语形)推出关系推出关系T29(a)ABCACB(反三段论)T29(b)ABCBCAT30 ABC A(BC)(条件输出)T31 A(BC)ABC(条件输入)T32 A(BC)B(AC)(条件互易)T33 A(BC)(AB)(AC)T34 A(AB)AB(条件融合)T35(a)AB ACBC(前件附加)T35(b)AB ACBCT35(c)AB(CA)(CB)T36（AB）C BC 2023年5月10日星期三59NP系统中的语法系统中的语法(语形语形
42、)推出关系推出关系T37 AB，BA AB (+)T38(a)AB AB(_)T38(b)AB BAT39 AC,BC ABC(前件合取)T40 AB,AC ABC(后件合取)T41 ABC(AC)(BC)T42 ABC(AC)(BC)T43 ABC(AB)(AC)T44 ABC(AB)(AC)2023年5月10日星期三60NP系统中的语法系统中的语法(语形语形)推出关系推出关系应用实例应用实例(一一)如果不换8号上场（p），或者换12号上场(q)，甲队的形势不会好转(r)。教练没有换8号上场，也没有换12号上场。所以，甲队的形势不会好转。首先，将前提和结论形式化：A1：(pq)r A2：pq
43、 B：r(1)(pq)r A1(2)pq A2(3)(pq)(2)，DeM.(4)r (1)，(3)，_2023年5月10日星期三61NP系统中的语法系统中的语法(语形语形)推出关系推出关系应用实例应用实例(二二)如果线段L有存在无穷多个点，那么，如果这些点有长度，则线段L将无穷长，而且，如果这些点都没有长度,则线段L也不会有长度。但是，一条线段既不会无穷长,也不会没有长度。所以L上不会有无穷多个点。前题和结论符号化：A1：p(qr)(qs)A2：rsB：p2023年5月10日星期三62(1)p(qr)(qs)A1(2)rs A2 (3)p H（_的假设)(4)p (3),_ (5)(qr)(
44、qs)(1)，(4)，_ (6)qr (5),_ (7)qs (5),_ (8)r (2),_ (9)s (2),_ (10)q (6),(8),M.T.(11)q (7),(9),M.T.(12)qq (10),(11),+(13)p (3)(12)，_,(消去H)2023年5月10日星期三63NP系统中的语法系统中的语法(语形语形)推出关系推出关系应用实例应用实例(三三)如果货币供应量保持现状，而货币需求量增加，则银行利率就会上升。如果货币需求量增加导致银行利率上升，则在银行存款更被看好。主管部门已宣布货币供应总是保持不变。因此，在银行存款更被看好。A1：pqrA2：(qr)sA3：pB：
45、s2023年5月10日星期三64NP系统中的语法系统中的语法(语形语形)推出关系推出关系应用实例应用实例(三三)方法一：（1）pqr A1（2）（qr）s A2（3）p A3 (4)q H1（+的假设)(5)pq (3)，(4)，+(6)r (1)，(5)，_(7)qr (4)(6)，+(消去H1)(8)s (2)，(7)，_2023年5月10日星期三65NP系统中的语法系统中的语法(语形语形)推出关系推出关系应用实例应用实例(三三)方法二：（1）pqr A1（2）（qr）s A2（3）p A3(4)s H（_的假设)(5)（qr）(2),(4)M.T.(6)qr (5),R.P.(7)r (
46、6)，_(8)(pq)(1),(7)M.T.(9)pq (8),R.P.(10)q (6)，_(11)q (10),+(12)p (9),(11),_(13)pp (3),(12),+(14)s (4)(13),_(消去H)2023年5月10日星期三66证明公式集不一致证明公式集不一致包括逻辑矛盾的公式包括逻辑矛盾的公式(命题命题)集称为不相容集称为不相容(不一致不一致,不协调不协调)的的公式集公式集.判定公式集ABC，(AC)D，BD是否为不一致的公式集.(1)ABC A1(2)CD A2(3)AD A3(4)A (3)，_(5)D (3)，_(6)AB (4)，+(7)C (1)，(6)，
47、_(8)D (2)，(7)，_(9)DD (5)，(8)，+故原公式集是不一致的公式集。第二章命题逻辑第四节：第四节：命题逻辑有效性的判定命题逻辑有效性的判定2023年5月10日星期三68真值指派和真值赋值真值指派和真值赋值真值指派真值指派（简称指派）：给每个命题变元指定一个真值的过程，记为。从直观上讲，真值指派实质上可看成是给构成复合命题的支命题（表示为命题变元）指定真值的过程。(p)=T（(p)=F）就是把p解释为一个真（假）命题。真值赋值真值赋值（简称赋值）:给定一个真值指派以后，给每个公式确定一个唯一的真值的过程。这个过程称为由该真值指派导出的真值赋值，记为。公式A在赋值下的值，记为(
48、A)。真值指派导出真值赋值，实质上可看成由支命题（表示为命题变元）的真值确定复合命题（表示为公式）的真值的过程。2023年5月10日星期三69形式语言形式语言L 的基本语义解释的基本语义解释设设为任一指派，为任一指派，是由是由导出的赋值：导出的赋值：()对任何命题变元p p，(p p)=(p p)，其中(p p)已有定义。()(A)=T当且仅当(A)=F;()(AB)=T当且仅当(A)=T并且(B)=T;()(AB)=T当且仅当(A)=T或者(B)=T;()(AB)=T当且仅当(A)=F或者(B)=T。给定一个真值指派:(p)=T,(q)=F,(r)=T,。根据基本语义解释，可以导出一个真值赋
49、值,以确定由这些命题变元构成的任何公式在下的真值。例如：(p)=F,(pr)=T,(pqr)=T,(prq)=F，。真值条件语义学：真值条件语义学：上述基本基本语义解释，实质上是以严格的形式陈述了真值表所表示的真值运算或真值函数，陈述了命题变元或子公式与公式的真值对应关系或真值条件联系，因此，我们也把这种对形式语言L L 所作的语义解释，称为真值条件语义学。形式语言L L 的语义解释，就是根据基本语义解释来确定L L 的全体公式的真值。2023年5月10日星期三70重要的语义概念重要的语义概念可满足性：可满足性：对任何公式对任何公式A A，如果存在赋值，如果存在赋值,使得使得(A)=T(A)=
50、T，则称则称A A是可满足的。是可满足的。如果对任何赋值如果对任何赋值，都有，都有(A)=F(A)=F，则称，则称A A为不可满足的。为不可满足的。协调性：协调性：对公式集对公式集(=A(=A1 1,A,A2 2,A,An n)中的任一公式中的任一公式A Ai i(i=1,2,(i=1,2,n),n)，如果存在赋值，如果存在赋值,使得使得(A(Ai i)=T)=T，则称公式，则称公式集集是协调的。是协调的。语义后承：语义后承：设设是一个公式集，是一个公式集，B是一个公式，如果对任何是一个公式，如果对任何赋值赋值都有：如果都有：如果()=T(即即（A1）=T，（A2）=T，（An）=T)，则，则
