数理逻辑是以数学的方法研究推理的形式结构和.ppt

数理逻辑是以数学的方法研究推理的形式结构和规律的数学学科,数学方法：建立一套符号来描述和讨论问题，避免歧义性推理：就是研究前提和结论之间的关系和思维规律，亦即符号之间的关系,第1章 命题逻辑,1.1 命题符号化及联结词1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论*1.7 命题演算的自然推理形式系统N 1.8 例题选解 习 题 一,1.1 命题符号化及联结词,任何基于命题分析的逻辑称为命题逻辑。命题是研究思维规律的科学中的一项基本要素，它是一个判断的语言表达。命题:能唯一判断真假的陈述句。,这种陈述句的判断只有两种可能，一种是正确的判断，一种是错误的判断。如果某个陈述句的判断为真（与人们公认的客观事实相符），则我们称其为一真命题，并说此命题的真值为真，否则称为假命题，并说此命题的真值为假。,【例1.1.1】下述各句均为命题：（1）4是偶数。（2）煤是白色的。（3）几何原本的作者是欧几里德。（4）2190年人类将移居火星。（5）地球外也有生命存在。,上述命题中（1）、（3）是真命题，（2）是假命题，其中的（3）可能有人说不出它的真假，但客观上能判断真假。（4）的结果目前谁也不知道，但到了时候则真假可辨，即其真值是客观存在的，因而是命题。同样，（5）的真值也是客观存在的，只是我们地球人尚不知道而已，随着科学技术的发展，其真值是可以知道的，因而也是命题。,【例1.1.2】下列语句不是命题：（1）你好吗？（2）好棒啊！（3）请勿吸烟。（4）x3。（5）我正在说谎。（1）、（2）、（3）均不是陈述句，因而不是命题。（4）是陈述句，但它的真假取决于变量x的取值，例如取x为4时其值为真，取x为2时其值为假，即其真值不唯一，因此不是命题。（5）也是陈述句，但它是悖论，因而也不是命题。,从上面讨论可以看出，判断一个语句是否是命题的关键是：(1)语句必须是陈述句。(2)陈述句必须具有唯一的真值。要注意两点：一个陈述句在客观上能判断真假，而不受人的知识范围的限制。一个陈述句暂时不能确定真值，但到了一定时候就可以确定，与一个陈述句的真值不能唯一确定是不同的。,以上所讨论的命题均是一些简单陈述句。在语言学中称为简单句，其结构均具有“主语+谓语”的形式，在数理逻辑中，我们将这种由简单句构成的命题称为简单命题，或称为原子命题，用p、q、r、pi、qi、ri等符号表示（亦可用其它小写的英文字母表示）。如：p：4是偶数。q：煤是白的。r：几何原本的作者是欧几里德。,【例1.1.3】下列命题不是简单命题：（1）4是偶数且是2的倍数。（2）北京不是个小城市。（3）小王或小李考试得第一。（4）如果你努力，则你能成功。（5）三角形是等边三角形，当且仅当三内角相等。,上面的命题除（3）的真假需由具体情况客观判断外，余者的真值均为1。但是它们均不是简单命题，分别用了“且”、“非”、“或”、“如果则”、“当且仅当”等联结词。由命题和联结词构成的命题称为复合命题。构成复合命题的可以是原子命题，也可以是另一个复合命题。一个复合命题的真值不仅与构成复合命题的命题的真值有关，而且也与所用联结词有关。下面我们给出几个基本的联结词。,1.否定联结词 设p为任一命题，复合命题“非p”（p的否定）称为p的否定式，记作。为否定联结词。为真，当且仅当p为假。的真值亦可由表所示的称为“真值表”的表格确定。由表可知：命题p为真，当且仅当 为假。,表 1.1.1,【例1.1.4】(1)p：4是偶数。其真值为1。：4不是偶数。其真值为0。(2)q：这些都是学生。：这些不都是学生。,注：否定联结词使用的原则：将真命题变成假命题，将假命题变成真命题。但这并不是简单的随意加个不字就能完成的。例如上例中的（2），q的否定式就不能写成“这些都不是学生”。事实上严格来讲，“不是”不一定否定“是”。如阿契贝难题：“本句是六字句”与“本句不是六字句”均是真命题。不过，一般地，自然语言中的“不”、“无”、“没有”、“并非”等词均可符号化为,2.合取联结词“”设p、q是任意两个命题，复合命题“p且q”（p与q）称为p与q的合取式，记作：pq。“”是合取联结词。pq为真，当且仅当p、q均为真。pq的真值表如表所示。,表 1.1.2,【例1.1.5】(1)p：4是偶数。q：3是素数。则 pq：4是偶数且3是素数。其真值为1。(2)r：煤是白的。则 pr：4是偶数且煤是白的。真值为0。,3.析取联结词“”设p、q是任意两个命题，复合命题“p或q”称为p、q的析取式，记作：pq。“”称为析取联结词。pq为假，当且仅当p、q同为假。,表 1.1.3,【例1.1.6】(1)p：小王喜欢唱歌。q：小王喜欢跳舞。则 pq：小王喜欢唱歌或喜欢跳舞。(2)p：明天刮风。q：明天下雨。则 pq：明天刮风或者下雨。,注“”的逻辑关系是明确的。即p、q二命题中至少有一个为真则析取式为真。因而，自然语言中常用的联结词诸如：“或者或者”、“可能可能”等，都可以符号化为“”。但日常语言中的“或”是具有二义性的，用“或”联结的命题有时是具有相容性的，如例中的二例，我们称之为可兼或。而有时又具有排斥性，称为不可兼或（异或），如：（1）小李明天出差去上海或去广州。（2）刘昕这次考试可能是全班第一也可能是全班第二。,4.蕴含联结词“”设p、q是任意两个命题，复合命题“如果p，则q”称为p与q的蕴含式，记作：pq。P称为蕴含式的前件，q称为蕴含式的后件，称为蕴含联结词。pq为假，当且仅当p为真、q为假。,表 1.1.4,【例1.1.7】(1)p：天下雨了。q：路面湿了。则 pq：如果天下雨，则路面湿。(2)r：三七二十一。则 pr：如果天下雨，则三七二十一。,注(1)逻辑中，前件p为假时，无论后件q是真是假，蕴含式pq的真值均为1。这与日常语言中的，特别是数学上常用的“真蕴含真”不太一样。事实上并不矛盾，例如某人说：“如果张三能及格，那太阳从西边升起。”说话者当然知道“张三能及格”与“太阳从西边升起”风马牛不相及，而一般人此时并没有说谎的必要，即这是真命题，它所要明确的是“张三能及格”是假命题。,（2）正如前面所说，数理逻辑中的联结词是对日常语言中的联结词的一种逻辑抽象，日常语言中联结词所联结的句子之间是有一定内在联系的，但在数理逻辑中，联结词所联结的命题可以毫无关系。如在日常语言中“如果则”所联结的句子之间表现的是一种因果关系，如例中的（1）。但在数理逻辑中，尽管说前件蕴涵后件，但两个命题可以是毫不相关的，如例中的（2）。,（3）pq的逻辑关系是：p是q的充分条件，q是p的必要条件。在日常语言中，特别是在数学语言中，q是p的必要条件还有许多不同的叙述方式，如：“p仅当q（仅当q，则p）”、“只有q才p”、“只要p就q”、“除非q，否则非p（非p，除非q）”等，均可符号化成pq的形式。,【例1.1.8】符号化下列命题：（1）只要天下雨，我就回家。（2）只有天下雨，我才回家。（3）除非天下雨，否则我不回家。（4）仅当天下雨，我才回家。解：设p：天下雨。q：我回家。则（1）符号化为pq。（2）、（3）、（4）均符号化为qp（或等价形式：,5.等价联结词“”设p、q是任意两个命题，复合命题“p当且当q”称为p与q的等价式，记作：p q。“”称为等价联结词。p q为真，当且仅当p、q真值相同。p q的真值表如表所示,表 1.1.5,【例1.1.9】(1)p：2+2=4。q：5是素数。则 p q：2+2=4当且仅当5是素数。(2)p：A=B。q：二角是同位角。则 p q：A=B当且仅当二角是同位角。在（1）中的p与q并无内在关系，但因二者均为真，所以p q的真值为1。在（2）中由于相等的两角不一定是同位角，所以真值为0。,【例1.1.10】将下列自然语言形式化:（1）如果天不下雨并且不刮风，我就去书店。（2）小王边走边唱。（3）除非a能被2整除，否则a不能被4整除。（4）此时，小纲要么在学习，要么在玩游戏。（5）如果天不下雨，我们去打篮球，除非班上有会。,解（1）设p：今天天下雨，q：今天天刮风，r：我去书店。则原命题符号化为：(2)设p：小王走路，q：小王唱歌。则原命题符号化为：pq(3)设p：a能被2整除，q：a能被4整除。则原命题符号化为：,或,(4)设p：小刚在学习，q：小刚在玩游戏。则原命题符号化为：,或,(5)设p：今天天下雨，q：我们去打篮球，r：今天班上有会。则原命题符号化为：,补充：,小明和小亮既是兄弟又是同学。PQ如果你和他不都是白痴，则你俩都不会去干此傻事。无论你和他去不去，我去。,1.2 命题公式及分类,为了用数学的方法研究命题，就必须像数学处理问题那样将命题公式化，并讨论对于这些公式的演算（推理）规则，以期由给定的公式推导出新的命题公式来。,前面我们用p、q、r等符号表示确定的简单命题，通常此时称它们为命题常元。而事实上，这些常元无论具体是怎样的简单命题，它们的真值均只可能是“1”或“0”。为了更广泛地应用命题演算，在研究时，我们只考虑命题的“真”与“假”，而不考虑它的具体涵义（即只重“外延”，不顾“内涵”）。譬如：当p是一个真命题时，p就是一个假命题，而不管此时p表示的是命题“三七二十一”，还是命题“今天天下雨”。这时的p实际上就是一个简单命题的抽象，就如同数学公式中的变量x一样，我们称其为命题变元。,命题常元 一个真值确定的命题命题变元 一个真值尚未确定的命题，以p、q、r等表之。注意：命题变元不是命题，没有确定的真值，只有代以确定的命题，变成常元，才有真值,命题公式 由命题变元（常元）符、联结词和圆括号按一定逻辑关系联结起来的字符串。所谓按一定的逻辑关系，即字符串的构成要求合理，如（p）是个合理的构成，是命题，（p）不是合理的构成，就不是命题公式，同样（pq）r）也不是合理的构成（括号必须成对出现），因此也不是命题公式。合理的命题公式叫做合式公式（亦称真值函数），记作：wff（wff=Well-Formed Formulas）。,定义 合式公式的递归定义：1单个的命题变元（或常元）是合式公式。2如果A是一个合式公式，则（A）也是合式公式。3如果A、B均是合式公式，则（AB）、（AB）、（AB）、（A B）也都是合式公式。4有限次地应用1,2,3组成的公式是合式公式。默认联结词的优先级：、,例如：（pq）r）、均是合式公式。第3式的生成过程如下：p 1 q 1（pq）3 r 1（qr）3（p）2(p)r)3(pq)(qr)3 3,定义(1)若A是单个命题（变元或常元），则称为0层公式。(2)称A为n+1（n0）层公式是指A符合下列诸情况之一 A=B，B是n层公式；A=BC，其中B为i层公式、C为j层公式，max（i，j）=n；A=BC，其中B、C的层次同；A=BC，其中B、C的层次同；A=B C，其中B、C的层次同。,解释：指定命题变元代表某个具体的命题【例1.2.1】公式：A=（pq）r。解释I1：假设p：现在是白天，q：现在是晴天，r：我们能看见太阳。则 A：如果现在是白天且是晴天，则我们能看见太阳。其真值为1。解释I2：假设p、q如上，r：我们能看见星星。则A：如果现在是白天且是晴天，则我们能看见星星。其真值为0。,由此可见，不同的解释可使公式有不同的真值。事实上，对于命题变元无论做什么样的解释，它都只有两种结果：或者是“真”，或者是“假”。从而由变元和联结词组成的公式所表示的复合命题，也是或为“真”，或为“假”。如前所述这才是我们所需要的。因此，欲获取命题公式的真值，并非只有“解释”一个途径，还可以通过“赋值”获得。,赋值（真值指派）对命题变元指派确定的真值。赋值是一组由0、1构成的数串，按字典顺序（或下标）对应公式中的命题符。如例中，对公式A=(pq）r：解释 I1 实际上是对变元p、q、r赋值111，得A的真值为1；解释 I2 实际上是对变元p、q、r赋值110，得A的真值为0；A的真值是在对p、q、r的某种赋值下所得的真值。,定义 设p1，p2，pn是公式A中所包含的所有命题变元，给p1，p2，pn各赋一个真值称为对A的一个赋值，那些使A的真值为1的赋值称为A的成真赋值，使A的真值为0的赋值称为A的成假赋值。如例中，111是A=（pq）r的成真赋值，110是A的成假赋值。根据前面对联结词的讨论知：001、011、101、000、010也都是A的成真赋值。,问题 若公式A含有n（n1）个命题变元，那么对A共有多少种不同的赋值？答：因为n个变元赋值后形成一个n位的二进制数，所以共有2n个。将公式A在所有赋值情况下的取值列成表，称为A的真值表。,构造真值表的步骤如下：（1）找出命题公式中所含的所有命题变元并按下标或字典顺序给出；（2）按从低到高的顺序写出各层次；（3）顺序列出所有的赋值（2n个）；对应每个赋值，计算命题公式各层次的真值，直到最后计算出命题公式的真值。,【例1.2.2】求下列命题公式的真值表：,表,公式 的真值表如表所示。,表 1.2.2,公式 的真值表,表 1.2.3,公式 的真值表如表所示,由上可知，有的公式在任何赋值情况下真值恒为1，如例（1）；有的公式在任何赋值情况下真值恒为0，如例（2）；有的公式某些赋值使其真值为1，而另一些赋值使其真值为0，因此可将公式分为如下三类：永真式（重言式）所有赋值均为成真赋值的公式。永假式（矛盾式）所有赋值均为成假赋值的公式。可满足式 至少有一组赋值是成真赋值的公式。由定义可知，任何不是矛盾式的公式是可满足式，其中包含永真式,补充：写出下列公式的真值表：,1.3 等值演算,【例1.3.1】构造公式 的真值表,解 公式,的真值表如表所示。,表 1.3.1,由例题可见，的真值表是完全相同的，这种情况并不是偶然的。事实上，给定n个命题变元，按照公式的生成规则，我们可以得到无穷多个命题公式，但这无穷多个命题公式的真值表却只有有限个。如例，许多公式在变元的各种赋值下真值是一样的，我们称其为等值的，那么如何判断两个公式等值呢？,定义 设A、B是任意两个命题公式若等价式 A B为重言式，则称A与B是等值的，记作:A B。定理 A B为重言式，当且仅当A、B具有相同的真值表。注(1)如果A B不是重言式，则称A与B不等值，可记作：A B。(2)“”与“=”不同，“A=B”表示二公式一样，“A B”表示二公式真值一样，,(3)“”与“”是两个完全不同的符号。“”是联结词，A B是一个公式。“”不是联结词，而是两个公式之间的关系符，A B并不是一个公式，而只是表示A与B是两个真值相同的公式。(4)“”的性质：A A（自反性）；若A B，则B A（对称性）；若A B，B C，则A C（传递性）。,利用真值表我们可以证明许多等值式：(1)双重否定律(2)幂等律 A AA A AA(3)交换律 AB BA AB BA(4)结合律(AB)C A(BC)(AB)C A(BC)(5)分配律 A(BC)(AB)(AC)A(BC)(AB)(AC)(6)德摩根律,(7)吸收律(8)零律(9)同一律,(10)排中律(11)矛盾律(12)蕴涵等值式(13)等价等值式(14)假言易位(15)等价否定等值式(16)归谬论,【例1.3.2】证明等价等值式：A B(AB)(BA)。解 作如表所示的真值表。,表 1.3.2,因此，A B(AB)(BA)。,【例1.3.3】用等值演算验证等值式 p（qr）（pq）r。证明,（蕴涵等值式）,（蕴涵等值式）,（结合律）,（德摩根律）,（蕴涵等值式）,【例1.3.4】化简公式并判断公式的类型。,解,（结合律）（分配律）（结合律、交换律）（分配律）（德摩根律）（排中律）（同一律）,该公式为可满足式,【例1.3.5】判断下列公式,的类型。,解,（分配律）（矛盾律）（同一律）（蕴涵等值式）（德摩根律、双重否定律）（交换律、结合律）（排中律）（零律）,因此，公式 是一个重言式。等值演算在计算机硬件设计，开关理论和电子元器件中都占据重要地位。,1.4 联结词全功能集,前面我们一共介绍了五个联结词：、和，并用它们构成了一些命题公式，且看到了有些公式书写形式尽管不同，但实际上是等值的。因此我们不禁要问：（1）总共有多少个命题公式？（2）总共有多少个联结词？,对于含有两个命题变元的公式，理论上讲可以书写出无穷多个公式，但互不等值的公式恰有=24=16个。对应着16个不同的真值表（真值表共有22行，行上的每个记入值又可在0、1中任取其一，因此构成 个不同的真值表），亦即对应着16个真值函数Fi（i=0，1，15），其中Fi：00，01，10，110，1，如表所示。,表 1.4.1,这里，F0和F15正是两个常值函数：永假式0和永真式1；F3和F5分别是命题变元p和q；F1是我们所熟知的二元真值函数pq；F7是二元真值函数pq；F9是二元真值函数p q；F10和F12分别是一元真值函数 q和 p；F11和F13 分别是二元真值函数qp和pq。,1.如果则的否定“”设p、q为任意两个命题，复合命题“如果p则q的否定”称为p、q蕴含的否定，记作：p q。“”称为蕴含的否定联结词。p q为真，当且仅当p为真，q为假。由上面所述可知，F2是二元真值函数 p q。,2.异或（排斥或）“”设p、q为任意两个命题，复合命题“p异或q”称为p、q的异或（排斥或），记作：p q。“”称为异或（排斥或）联结词。p q为真，当且仅当p、q中恰有一个为真。由表和前面所述可知，F6是二元真值函数p q。,证：,等价等值式德摩根律蕴含等值式德摩根律交换律,(AC),【例1.4.1】用真值表证明,联结词“”有以下性质：,【例1.4.2】用等值演算证明,真值函数F6真值函数F6分配、德摩根分配矛盾、零律同一律,3.与非“”设p、q为任意两个命题，复合命题“p与q的否定”称为p、q的与非，记作：pq。“”称为与非联结词。pq为假，当且仅当p、q均为真。由定义可知，F14是二元真值函数pq。,性质：（pq）r p（qr）,证明：,因为,所以,【例1.4.3】将下列公式化成仅含联结词“”的公式。,解,4.或非“”设p、q为任意两个命题，复合命题“p或q的否定”称为p、q的或非，记作：pq。“”称为或非联结词。pq为真，当且仅当p、q均为假。由定义可知，F8是二元真值函数pq。pq（pq）类似于“”，“”同样不满足结合律，并类似可将例中的公式化成仅含联结词“”的公式。,【例1.4.4】将公式p（q r）化成仅含联结词、的公式形式。,（等价等值式）（蕴涵等值式）（德摩根律）（双重否定律）,【例1.4.5】将公式pq化成仅含联结词、的公式形式。解,1.5 对偶与范式,在1.3节中介绍的基本等值式中，多数公式是成对出现的，这些成对出现的公式是对偶的。定义 在仅含联结词、的命题公式A中，将换成，将换成，若A中含有0或1，则将0换成1，1换成0，所得命题公式称为A的对偶式，记作A*。由定义易知，对偶式是相互的，(A*)*=A，我们称A与A*是对偶的。,例如：,与,与,互为对偶式。,是对偶的。,定理 设A与A*是对偶的，p1,p2,，pn是出现在A、A*中的所有命题变元，则 A（p1，p2，,pn）A*（p1，p2，pn）（1）A（p1，p2，pn）A*（p1，p2，pn）（2）,定理1.5.2 设A*、B*分别是公式A、B的对偶式，如果A B，则A*B*。-对偶定理 证明 设A、B中所有不同的变元为p1，p2，pn，则由A B知：A（p1，p2，pn)B（p1，p2，pn）是永真式，A（p1，p2，pn）B（p1，p2，pn）亦是永真式。,所以，,定义1.5.2 将命题变元及其否定统称为文字。简单析取式（基本和）仅由有限个文字构成的析取式。简单合取式（基本积）仅由有限个文字构成的合取式。例如，p、q既是一个文字的简单析取式，又是一个文字的简单合取式。p q、pr均是有两个文字的简单析取式。pqr、pq q均是有三个文字的简单合取式。,性质(1)一个文字既是简单析取式又是简单合取式。(2)一个简单析取式是重言式，当且仅当它同时含有一个命题变元及其否定。(3)一个简单合取式是矛盾式，当且仅当它同时含有一个命题变元及其否定。例如，pq p是重言式，p q q是矛盾式。,定义 析取范式 由有限个简单合取式构成的析取式。合取范式 由有限个简单析取式构成的合取式。,【例1.5.1】判断下列各式是析取范式还是合取范式。（1）p（2）p q（3）pqr（4）p（q r）r（5）p（pq）（p qr）q,解:（1）既是一个简单析取式又是一个简单合取式，是只有一个简单析取式的合取范式，也是只有一个简单合取式的析取范式。（2）是有两个简单合取式的析取范式，也是只有一个简单析取式的合取范式。（3）是有三个简单析取式的合取范式，也是只有一个简单合取式的析取范式。（4）是有三个简单合取式的析取范式。（5）是有四个简单析取式的合取范式。,性质：(1)一个文字既是一析取范式又是一合取范式。(2)一个析取范式为矛盾式，当且仅当它的每个简单合取式是矛盾式。(3)一个合取范式为重言式，当且仅当它的每个简单析取式是重言式。例如：A=（ppq）（pq q）是矛盾式。A=（ppq）（pq q）（q rr）是重言式。,定理1.5.3 任一命题公式都存在着与之等值的析取范式，任一命题公式都存在着与之等值的合取范式。证明 对于任一公式，可用下面的方法构造出与其等值的范式：（1）利用等值式 A B(AB）（BA）AB AB使公式中仅含联结词、。,（2）利用德摩根律和双重否定律（AB）A B（AB）A B A A 将否定符移至命题变元符前，并去掉多余的否定符。,（3）利用分配律 A（BC)（AB）（AC）A（BC）（AB）（AC）将公式化成析取范式或合取范式。所得即与原公式等值的范式。,【例1.5.2】求公式（pq）r）p的析取范式。解,（消）（消）（德摩根律）（分配律）（交换律）（吸收律）,（双重否定律、吸收律）,（分配律）（分配律）（矛盾式）（同一律）,-析取范式,事实上，第*步已经是析取范式了，最后是化简了的结果。这说明一个公式的析取范式不是唯一的。,【例1.5.3】求例中公式的合取范式。解 由例第4步,原式,（分配律）,-合取范式（幂等律、交换律）,定义1.5.3 对于公式A：极小项 包含A中所有命题变元或其否定一次且仅一次的简单合取式；极大项 包含A中所有命题变元或其否定一次且仅一次的简单析取式。注 极小项或极大项中各文字要求按角标顺序或字典顺序排列。,【例1.5.4】求公式A（p，q）的极小项和极大项。解 极小项：p q、pq、p q、pq 极大项：pq、p q、pq、p q 即极小（大）项的个数等于22个。（n元的公式为2n个。)我们做出仅含两个命题变元的公式的极小项的真值表，如表1.5.1 所示。,表 1.5.1,由真值表可看出：对于p、q的任一组赋值，有且仅有一个极小项的真值为1，即极小项之间是不等值的，4个真值赋值与4个极小项值之间有一一对应关系。我们用mi表示在十进制为i的赋值下真值为1的极小项。,定义1.5.5 对于公式A：主析取范式 与A等值的由极小项构成的析取范式；主合取范式 与A等值的由极大项构成的合取范式。由定理知，任一公式的析（合）取范式总是存在的，求主范式只需在求范式的基础上将每个简单合（析）取式化成极小（大）项。,【例1.5.5】求公式（pq）r p的主析取范式。解 由例已求得公式的析取范式，在此基础上求主析取范式。即：,-析取范式,-主析取范式,（同一律）（分配律）（交换律）,2、5、7恰是使三个极小项成真的赋值的十进制表示。,【例1.5.6】求（p（pr）（q p）的主析取范式。解,（等价等值式）（蕴涵等值式）（排中律）（同一律）（分配律）,（分配律）,（矛盾式、同一律）,（同一律）,（分配律）,（交换律）,-主析取范式,析取范式,q,q,定理1.5.4 任何命题公式的主析取范式存在且唯一。证明 由析取范式的存在性知主析取范式的存在性成立。下面证唯一性：设任一命题公式A有两个主析取范式B和C，则因为 A B，A C，所以B C。若B、C是A的（在不计极小项的顺序的情况下）不等值的主析取范式（BC），则必存在某个极小项mi，mi只存在于B、C之一中。不妨设mi在B中，而不在C中，因此i之二进制表示是B的成真赋值，而对于C则为成假赋值，这与 B C矛盾，故B=C。,【例1.5.7】用真值表法求上例公式（p（pr）（q p）的主析取范式。解 构造公式的真值表如表所示。,表 1.5.2,故,结论：(主析取范式的用途)(1)重言式的主析取范式包含公式的全部2n个极小项。(2)（规定）矛盾式的主析取范式为0。(3)二等值的公式必有相同的主析取范式。(4)不列真值表，由主析取范式可得公式的成真、成假赋值。,(5)仅由真值表，可得公式的表达式（主析取范式形式）。(6)解决应用问题。前两条可用来判断公式的类型，第三条判断两个公式的等值，由此前面提出的三个问题得到了解决。,【例1.5.8】不列真值表，求公式（pq）r的成真赋值。解,(消）,（内移),所以，公式（pq）r成真的赋值为：001，011，100，101，111。,q,【例1.5.9】已知命题公式A（p，q，r）的成真赋值为010，101，110，求A。解 A m2m5m6（pq r）（p q r）（pq r）,【例1.5.10】四人比赛，三人估计成绩。甲说：“A第一、B第二，乙说：C第二、D第四，丙说：A第二、D第四。结果每人都说对了一半，假设无并列名次，问A、B、C、D 的实际名次如何？解 设 p：A 第一，q：B 第二。（甲说）（pq）（p q）1 r：C 第二，s：D 第四。（乙说）（rs）（r s）1 t：A 第二，s：D 第四。（丙说）（st）（s t）1,p：A 第一q：B 第二 r：C 第二s：D 第四 t：A 第二,表 1.5.3,对应p、q的每一组赋值，极大项的真值有且仅有一个为0：极大项与其成假赋值有着一一对应关系，我们用Mi表示在十进制为i的赋值下真值为0的极大项。因此，求一个公式的主合取范式，只需知道该公式的成假赋值，并将对应着这个赋值也成假的那些极大项合取起来，即得该公式的主合取范式。,【例1.5.11】求公式（p（pr）（q p）的主合取范式。解 由例已知此公式的成假赋值为010，011，100，101，可得主合取范式为,同样，利用等值演算法也可得主合取范式：,（等价等值式、蕴涵等值式）,（排中律、零律、交换律）,（同一律、分配律）,-主合取范式（交换律）,注意到，对于任一公式，在它的2n个赋值中，非0即1，因此其主析取范式中的极小项和其主合取范式中的极大项的个数之和恰为2n，且其下标不会相同。故当我们知道了一个公式的所有成真赋值时，也就知道了它的所有成假赋值。亦即：知道了主析取范式，相应地也就得到了主合取范式，反之亦然。另外：任何命题公式的主合取范式存在且唯一。（规定）重言式的主合取范式为1。,【例1.5.12】求（pr）（pq）（qr）的主析取范式。解,-主合取范式,-主析取范式,1.6 推 理 理 论,推理是“前提 结论的思维过程。在命题逻辑中，前提是已知的命题公式，结论是从前提出发应用推理规则推出的命题公式。在传统数学中定理的证明均是由前提（已知条件，全是真命题）推出结论（亦全是真命题），这样的结论称为合法结论。,数理逻辑有所不同，它着重研究的是推理的过程，这种过程称为演绎或形式证明。在过程中使用的推理规则必须是公认的且要明确列出，而对于作为前提和结论的命题并不一定要求它们全是真命题，这样的结论称为有效结论。,定理1.6.1 称蕴涵式（A1A2An）B为推理的形式结构，A1，A2，An为推理的前提，B为推理的结论。若（A1A2An）B是重言式，则称从前提A1，A2，An推出结论B的推理正确，B是A1，A2，An的有效结论或逻辑结论。记作：（A1A2An）B 或 A1,A2,An B 否则称推理不正确，或B不是前提A1，A2，An的有效结论。,【例1.6.1】验证下面推理是否正确：一个数是复数，仅当它是实数或是虚数，一个数既不是实数也不是虚数，因此它不是复数。证明 设p：它是复数，q：它是实数，r：它是虚数。推理的形式结构为：（p（qr）（q r）p。（1）真值表法(真值表如表所示)。因为只有第一行前提、结论均为真，所以推理正确,表,（2）等值演算法：,（蕴涵等值式）（德摩根律）（分配律、排中律）（同一律）（蕴涵等值式）（德摩根律）（交换律、排中律）（零律）,0,（3）主析取范式法（略）。以上的证明方法，当形式结构比较复杂，特别是所含命题变元较多时，一般是很不方便的。下面介绍构造证明法，这种方法必须在给定的规则下进行，其中有些规则建立在推理定律（重言蕴涵式）的基础之上。,推理定律：(1)A（AB）附加(2)（AB）A 化简(3)（AB）A）B 假言推理(4)（AB）B）A 拒取式(5)（AB）B）A 析取三段论(6)（AB）（BC）（AC）假言三段论(7)（AB）（BC）（AC）等价三段论(8)（AB）（CD）（AC）（BD）构造性二难,推理规则：前提引入规则 在证明的任何步骤上，都可以引入前提。结论引入规则 在证明的任何步骤上，所得到的结论均可作后续证明的前提加以引用。置换规则 在证明的任何步骤上，命题公式中的任何子公式都可以用与之等值的公式置换。另外，由前面的8个推理定律可得下面8个推理规则：（这里A1，A2，An B表示B是A1，A2，An的逻辑结论。）,附加规则 A（AB）化简规则（AB）A 假言推理规则（AB）,AB拒取式规则（AB），B A假言三段论规则(AB)，(BC)(AC)析取三段论规则（AB），B A构造性二难规则(AB),(CD),(AC)(BD)合取引入规则 A，B(AB),构造证明法：构造证明可以看作公式的序列，其中的每个公式都是按照事先规定的规则得到的，且需将所用的规则在公式后写明，该序列的最后一个公式正是所要证明的结论。,【例1.6.4】构造下列推理的证明 前提：pq，p r，st，sr，t 结论：q 解（1）st 前提引入（2）t 前提引入（3）s（1）（2）拒取式（4）sr 前提引入,（5）r（3）（4）假言推理（6）r（5）置换（7）p r 前提引入（8）p（6）（7）拒取式（9）pq 前提引入（10）qp（9）置换（11）q（10）（8）析取三段论 证毕,【例1.6.5】用构造证明的方法证明下列推理的正确性。如果小张守一垒且小李向乙队投球，则甲队取胜。如果甲队取胜，则甲队成为联赛第一名。小张守第一垒。甲队没有成为联赛第一名。因此，小李没有向乙队投球。解 设p：小张守一垒，q：小李向乙队投球，r：甲队取胜，s：甲队成为联赛第一名。,前提：（pq）r，rs，p，s结论：q（1）rs 前提引入（2）s 前提引入（3）r（1）（2）拒取式（4）（pq）r 前提引入,（5）（pq）（3）（4）拒取式（6）p q（5）置换（7）p 前提引入（8）q（6）（7）析取三段论 所以推理正确。,例1.6.6 构造证明，找出下列推理的有效结论。如果我考试通过了，那么我很快乐。如果我快乐，那么阳光灿烂。现在是晚上十一点，天很暖。解 设p：我考试通过了，q：我很快乐，r：阳光灿烂，s：天很暖。前提：pq，qr，,（1）pq 前提引入（2）qr 前提引入（3）pr（1）（2）假言三段论（4）rs 前提引入（5）r（4）化简（6）p（5）（3）拒取式 所以有效结论是：我考试没通过。,附加前提证明法（CP规则）：若A1，A2，An，AB，则A1，A2，AnAB 证明（A1A2 An)(AB）（A1A2An)（AB）A1 A2 An AB（A1A2AnA）B（A1A2AnA）B,CP的意义：当推理的结论是蕴含式时，可以将其前件作为附加前提引用，只要能推理出后件，这原推理成立。,【例1.6.7】如果小张去看电影，则当小王去看电影时，小李也去。小赵不去看电影或小张去看电影。小王去看电影。所以当小赵去看电影时，小李也去。解 设 p：小张去看电影，q：小王去看电影，r：小李去看电影，s：小赵去看电影。前提：p（qr），sp，q 结论：sr,（1）sp 前提引入（2）s 附加前提引入（3）p s（1）置换（4）s（2）置换（5）p（3）（4）析取三段论（6）p（qr）前提引入（7）qr（5）（6）假言推理（8）q 前提引入（9）r（7）（8）假言推理（10）sr CP,定义1.6.1 如果A1，A2，An均为命题公式，A1A2An 0，则称A1，A2，An不相容，否则称相容。归缪证明法：若A1，A2，An，B不相容，则A1，A2，AnB。,归缪法：将结论的否定式作为附加前提引入，公式序列的最后得一矛盾式，则原推理成立。,【例1.6.8】证明：p（qr）（pq）（pr）。证明（1）（pq）（pr）否定结论引入（2）（pq）(pr）（1）置换（3）（pq）（2）化简（4）p q（3）置换（5）（pr）（2）化简,（6）p r（5）置换（7）p（6）化简（8）p（qr）前提引入（9）qr（7）（8）假言推理（10）r（6）化简（11）q（9）（10）析取三段论（12）q（4）化简（13）q q（11）（12）合取引入 所以推理正确。,【例1.6.9】ST证明：pq，qr，rs，ps，s不相容。证明（1）ps 前提引入（2）s 前提引入（3）p（1）（2）拒取式（4）pq 前提引入,（5）（pq）（qp）（4）置换（6）pq（5）化简（7）q（3）（6）假言推理（8）qr 前提引入（9）r（7）（8）假言推理（10）rs 前提引入（11）r（2）（10）析取三段论（12）rr（9）（11）合取式引入故诸命题不相容。,P41/19/(4)用三种方法证明推理的正确性前提：p(q r),(rs)t,u(s t)结论：p(q u)证(用构造法证明)(1)(rs)t 前提引入(2)r s t(1)置换(3)(s t)r(2)置换(4)u(s t)前提引入(5)u r(3)(4)假言三段论(6)r u(5)置换(7)p(q r)前提引入(8)(p q)r(7)置换(9)(p q)u(6)(8)假言三段论(10)(p q)u(9)置换,P41/19/(4)用三种方法证明推理的正确性前提：p(q r),(rs)t,u(s t)结论：p(q u)证(用附加前提法证明)(1)p 附加前提引入(2)p(q r)前提引入(3)(q r)(1)(2)假言推理(4)(rs)t 前提引入(5)rst(4)置换(6)(s t)r(5)置换(7)u(s t)前提引入(8)u r(6)(7)假言三段论(9)r u(8)置换(10)q u(3)(9)假言三段论(11)p(q u)CP,P41/19/(7)用归谬法证明推理的正确性前提：结论：p(pq)证(1)(p(pq)否定结论引入(2)(p q)(1)置换(3)pq 前提引入(4)(p q)(p q)(2)(3)合取引入(矛盾),1.8 例 题 选 解,【例1.8.1】将下列命题符号化。（1）晚上做完了作业，如果有时间，他就会看电视或去公园散步。（2）如果天不下雨，我们去打篮球，否则在教室自习。（3）辱骂和恐吓绝不是战斗。,分析：将命题符号化，就是要把这个命题用合乎规定的命题表达式表示出来。具体操作时，首先列出原子命题，然后根据给定命题的具体含义，将原子命题用适当的联结词连接起来。另外原子命题是简单句，应主语、谓语齐全。例如（1）中应将命题他晚上做完了作业设为原子命题p，他有时间设为q，而不是设p为晚上做完了作业，设q为有时间。此外，选用联结词时要注意原命题的实际含义。,例如，（2）是对未来将要做的事情根据条件做选择：条件成立时做一种选择，条件不成立时做另一种选择，两个同时为真时原命题为真，此题实际上是用一元和二元联结词来表达三元联结词如果则否则。（3）中字面上虽然用的是和，但它表示的实际含义是：辱骂不是战斗，恐吓不是战斗，辱骂和恐吓加在一起也不是战斗。,解（1）设p：他晚上做完了作业，q：他有时间，r：他看电视，s：他去公园散步。