《离散学命题逻辑.ppt》由会员分享，可在线阅读，更多相关《离散学命题逻辑.ppt（46页珍藏版）》请在三一办公上搜索。
1、第1讲 命题逻辑基本概念,离散数学,说明,主要内容命题、联结词、复合命题命题公式、赋值、命题公式的分类与后续知识的关系是后续的准备或前提,1 命题与联结词,数理逻辑研究的中心问题是推理。推理的前提和结论都是表达判断的陈述句。表达判断的陈述句构成了推理的基本单位。,1.1 命题与联结词,称能判断真假而不是可真可假的陈述句为命题（proposition）。作为命题的陈述句所表达得的判断结果称为命题的真值。真值只取两个：真与假。真值为真的命题称为真命题。真值为假的命题称为假命题。,感叹句、疑问句、祈使句都不能称为命题。判断结果不唯一确定的陈述句不是命题。陈述句中的悖论不是命题。,说明,4是素数。x大
2、于y。充分大的偶数等于两个素数之和。今天是星期二。请不要吸烟！这朵花真美丽啊！我正在说假话。,例1.1 判断下列句子是否为命题。,是，假命题是，真命题不是，无确定的真值是，真值客观存在是，真值根据具体情况而定。不是，疑问句不是，祈使句不是，感叹句不是，悖论,命题和真值的符号化,用小写英文字母p,q,r,pi,qi,ri 表示命题用“1”表示真，用“0”表示假,不能被分解成更简单的陈述句，称这样的命题为简单命题或原子命题。由简单陈述句通过联结词而成的陈述句，称这样的命题为复合命题。,例1.2,将下面这段陈述中所出现的原子命题符号化，并指出它们的真值，然后再写出这段陈述。,是有理数是不对的；2是偶
3、素数；2或4是素数；如果2是素数，则3也是素数；2是素数当且仅当3也是素数。,p：是有理数q：2是素数；r：2是偶数s：3是素数；t：4是素数,01110,非p；q并且(与)r；q或t；如果q，则s；q当且仅当s。,例1.2的讨论,半形式化形式数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化。即构造各种符号语言来代替自然语言。形式化语言：完全由符号所构成的语言。将联结词（connective）符号化，消除其二义性，对其进行严格定义。例如：他是100米或400米赛跑的冠军。鱼香肉丝或锅包肉，加一碗汤。,定义1.1否定(negation),设p为命题，复合命题“非p”(或“p的否定”)
4、称为p的否定式,记作p，符号称作否定联结词，并规定p为真当且仅当p为假。,例如：p：哈尔滨是一个大城市。p：哈尔滨是一个不大城市。p：哈尔滨不是一个大城市。,定义1.2合取(conjunction),设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作pq，称作合取联结词，并规定pq为真当且仅当p与q同时为真。,使用合取联结词时要注意的两点：描述合取式的灵活性与多样性。自然语言中的“既又”、“不但而且”、“虽然但是”、“一面一面”等联结词都可以符号化为。分清简单命题与复合命题。不要见到“与”或“和”就使用联结词。,例1.3 将下列命题符号化,吴颖既用功又聪明。吴颖不仅
5、用功而且聪明。吴颖虽然聪明，但不用功。张辉与王丽都是三好学生。张辉与王丽是同学。,p:吴颖用功。q:吴颖聪明。r:张辉是三好学生。s:王丽是三好学生。t:张辉与王丽是同学。,(1)pq(2)pq(3)qp(4)rs(5)t,解题要点：正确理解命题含义。找出原子命题并符号化。选择恰当的联结词。,合取举例,p：我们去看电影。q：房间里有十张桌子。pq：我们去看电影并且房间里有十张桌子。,在数理逻辑中，关心的只是复合命题与构成复合命题的各原子命题之间的真值关系，即抽象的逻辑关系，并不关心各语句的具体内容。,说明,定义1.3析取(disjunction),设p，q为二命题，复合命题“p或q”称作p与q
6、的析取式，记作pq，称作析取联结词，并规定pq为假当且仅当p与q同时为假。,自然语言中的“或”具有二义性，用它联结的命题有时具有相容性，有时具有排斥性，对应的联结词分别称为相容或和排斥或(排异或)。,说明,例1.4 将下列命题符号化,张晓静爱唱歌或爱听音乐。张晓静只能挑选202或203房间。张晓静是江西人或安徽人。他昨天做了二十或三十道习题。,设 p：张晓静爱唱歌，q：张晓静爱听音乐。相容或，符号化为 pq设t：张晓静挑选202房间，u：张晓静挑选203房间。排斥或，符号化为：(tu)(tu)设r：张晓静是江西人，s：张晓静是安徽人。排斥或，符号化为：rs。(排斥或联结的两个命题事实上不可能同
7、时为真)或符号化为：(rs)(rs)原子命题，因为“或”只表示了习题的近似数目。,定义1.4蕴涵(implication),设p，q为二命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作pq，并称p是蕴涵式的前件，q为蕴涵式的后件，称作蕴涵联结词,并规定pq为假当且仅当p为真q为假。,说明,pq的逻辑关系表示q是p的必要条件。q是p的必要条件有许多不同的叙述方式 只要p，就q 因为p，所以qp仅当q只有q才p除非q才p除非q，否则非p,例1.5 将下列命题符号化，并指出其真值,如果3+36，则雪是白的。如果3+36，则雪是白的。如果3+36，则雪不是白的。如果3+36，则雪不是白的。,解：
8、令p：3+36，p的真值为1。q：雪是白色的，q的真值也为1。pq pq pq pq,1101,例1.5 将下列命题符号化，并指出其真值,以下命题中出现的a是一个给定的正整数：(5)只要a能被4整除，则a一定能被2整除。(6)a能被4整除，仅当a能被2整除。(7)除非a能被2整除，a才能被4整除。(8)除非a能被2整除，否则a不能被4整除。(9)只有a能被2整除，a才能被4整除。(10)只有a能被4整除，a才能被2整除。,解：令r：a能被4整除 s：a能被2整除(5)至(9)五个命题均叙述的是a能被2整除是a能被4整除的必要条件，因而都符号化为rs。其真值为1在(10)中，将a能被4整除看成了
9、a能被2整除的必要条件，因而应符号化为sr。a值不定时，真值未知。,关于蕴含的进一步说明,作为一种规定，当p为假时，无论q是真是假，pq均为真。也就是说，只有p为真q为假这一种情况使得复合命题pq为假。称为实质蕴含。例：如果x5，则x2。(1)x=6如果65，则62。(2)x=3 如果35，则32。(3)x=1 如果15，则12。例：如果我有车，那么我去接你 常出现的错误，没有分清充分条件与必要条件。,定义1.5等价(two-way-implication),设p，q为二命题，复合命题“p当且仅当q”称作p与q的等价式，记作pq，称作等价联结词，并规定pq为真当且仅当p与q同时为真或同时为假。
10、,说明,“当且仅当”（if and only if）pq的逻辑关系为p与q互为充分必要条件。(pq)(qp)与pq的逻辑关系完全一致。,例1.6 将下列命题符号化，并讨论它们的真值,是无理数当且仅当加拿大位于亚洲。2+35的充要条件是是无理数。若两圆A，B的面积相等，则它们的半径相等；反之亦然。当王小红心情愉快时，她就唱歌；反之，当她唱歌时，一定心情愉快。,设 p：是无理数，q：加拿大位于亚洲。符号化为 pq，真值为0。设 p：2+35，q：是无理数。符号化为 pq，真值为1。设 p：两圆A，B的面积相等，q：两圆A，B的半径相等。符号化为 pq，真值为1。设 p：王小红心情愉快，q：王小红唱
11、歌。符号化为 pq，真值由具体情况而定。,关于基本联结词的说明,，称为一个联结词集。由联结词集,中的一个联结词联结一个或两个原子命题组成的复合命题是最简单的复合命题，可以称它们为基本的复合命题。基本复合命题的真值见下表：,关于基本联结词的说明,多次使用联结词集中的联结词，可以组成更为复杂的复合命题。求复杂复合命题的真值时，除依据上表外，还要规定联结词的优先顺序，将括号也算在内。本书规定的联结词优先顺序为：()，对于同一优先级的联结词，先出现者先运算。,例1.7,令 p：北京比天津人口多。q：2+24.r：乌鸦是白色的。求下列复合命题的真值：(1)(pq)(pq)r(2)(qr)(pr)(3)(
12、pr)(pr),解：p、q、r的真值分别为1、1、0(1)1(2)1(3)0,我们关心的是复合命题中命题之间的真值关系，而不关心命题的内容。,说明,1.2 命题公式及其赋值,简单命题是真值唯一确定的命题逻辑中最基本的研究单位，所以也称简单命题为命题常项或命题常元。(proposition constant)称真值可以变化的陈述句为命题变项或命题变元(proposition variable)。也用p,q,r,表示命题变项。当p,q,r,表示命题变项时，它们就成了取值0或1的变项，因而命题变项已不是命题。这样一来，p,q,r,既可以表示命题常项，也可以表示命题变项。在使用中，需要由上下文确定它们
13、表示的是常项还是变项。将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式或命题公式。,定义1.6 合式公式(wff),(1)单个命题变项是合式公式，并称为原子命题公式。(2)若A是合式公式，则(A)也是合式公式。(3)若A，B是合式公式，则(AB)，(AB)，(AB)，(AB)也是合式公式。(4)只有有限次地应用(1)(3)形式的符号串才是合式公式。合式公式也称为命题公式或命题形式，并简称为公式。设A为合式公式，B为A中一部分，若B也是合式公式，则称B为A的子公式。合式公式：Well Formed Formula,关于合式公式的说明,定义1.6给出的合式公式的定义方式称为归
14、纳定义或递归定义方式。定义中引进了A,B等符号，用它们表示任意的合式公式，而不是某个具体的公式，这与p,pq,(pq)r等具体的公式是有所不同的。A,B等符号被称作元语言符号。p,q等被称作对象语言符号。所谓对象语言是指用来描述研究对象的语言，而元语言是指用来描述对象的语言，这两种语言是不同层次的语言。例如中国人学习英语时，英语为对象语言，而用来学习英语的汉语则是元语言。,关于合式公式的说明,(A)、(AB)等公式单独出现时，外层括号可以省去，写成A、AB等。公式中不影响运算次序的括号可以省去，如公式(pq)(r)可以写成pqr。合式公式的例子：(pq)(q r)(pq)rp(qr)不是合式公
15、式的例子pqr(p(rq),定义1.7 公式层次,(1)若公式A是单个的命题变项，则称A为0层合式。(2)称A是n+1(n0)层公式是指下面情况之一：(a)AB，B是n层公式；(b)ABC，其中B,C分别为i层和j层公式，且n=max(i,j)；(c)ABC，其中B,C的层次及n同(b)；(d)ABC，其中B,C的层次及n同(b)；(e)ABC，其中B,C的层次及n同(b)。(3)若公式A的层次为k，则称A是k层公式。例如：(pq)r，(pq)(rs)p)分别为3层和4层公式,公式的解释,在命题公式中，由于有命题符号的出现，因而真值是不确定的。当将公式中出现的全部命题符号都解释成具体的命题之后
16、，公式就成了真值确定的命题了。(pq)r若p：2是素数，q：3是偶数，r：是无理数，则p与r被解释成真命题，q被解释成假命题，此时公式(pq)r被解释成：若2是素数或3是偶数，则是无理数。（真命题）r被解释为：是有理数，则(pq)r被解释成：若2是素数或3是偶数，则是有理数。（假命题）将命题变项p解释成真命题，相当于指定p的真值为1，解释成假命题，相当于指定p的真值为0。,定义1.8 赋值或解释,设p1,p2,pn是出现在公式A中的全部命题变项，给p1,p2,pn各指定一个真值，称为对A的一个赋值或解释。若指定的一组值使A的真值为1，则称这组值为A的成真赋值；若使A的真值为0，则称这组值为A的
17、成假赋值。对含n个命题变项的公式A的赋值情况做如下规定：(1)若A中出现的命题符号为p1,p2,pn，给定A的赋值1,2,n 是指p11，p22,，pnn。(2)若A中出现的命题符号为p，q，r.,给定A的赋值1,2,n是指p1，q2,，最后一个字母赋值n。上述i取值为0或1，i1,2,n。,赋值举例,在公式(p1p2p3)(p1p2)中，000(p10，p20，p30)，110(p11，p21，p30)都是成真赋值，001(p10，p20，p31)，011(p10，p21，p31)都是成假赋值。在(pq)r中，011(p10，p21，p31)为成真赋值，100(p11，p20，p30)为成假
18、赋值。重要结论：含n(n1)个命题变项的公式共有2n个不同的赋值。,定义1.9 真值表,将命题公式A在所有赋值下取值情况列成表，称作A的真值表。,构造真值表的具体步骤如下：(1)找出公式中所含的全体命题变项p1,p2,pn(若无下角标就按字典顺序排列)，列出2n个赋值。本书规定，赋值从000开始，然后按二进制加法依次写出各赋值，直到111为止。(2)按从低到高的顺序写出公式的各个层次。(3)对应各个赋值计算出各层次的真值，直到最后计算出公式的真值。,公式A与B具有相同的或不同的真值表，是指真值表的最后一列是否相同，而不考虑构造真值表的中间过程。,说明,例1.8,求下列公式的真值表，并求成真赋值
19、和成假赋值。(1)(pq)r(2)(pp)(qq)(3)(pq)qr,定义1.10 重言式、永真式、可满足式,设A为任一命题公式(1)若A在它的各种赋值下取值均为真,则称A是重言式(tautology)或永真式。(2)若A在它的各种赋值下取值均为假,则称A是矛盾式(contradiction)或永假式。(3)若A不是矛盾式,则称A是可满足式（satisfactable formula）。,定义1.10的进一步说明,A是可满足式的等价定义是：A至少存在一个成真赋值。重言式一定是可满足式，但反之不真。因而，若公式A是可满足式，且它至少存在一个成假赋值，则称A为非重言式的可满足式。真值表可用来判断公
20、式的类型:若真值表最后一列全为1，则公式为重言式。若真值表最后一列全为0，则公式为矛盾式。若真值表最后一列中至少有一个1，则公式为可满足式。,说明,n个命题变项共产生2n个不同赋值含n个命题变项的公式的真值表只有 种不同情况,例题,例题1.9 下列各公式均含两个命题变项p与q，它们中哪些具有相同的真值表?(1)pq(4)(pq)(qp)(2)pq(5)qp(3)(pq),哑元,设公式A,B中共含有命题变项p1,p2,pn，而A或B不全含有这些命题变项，比如A中不含pi,pi+1,pn,称这些命题变项为A的哑元，A的取值与哑元的变化无关，因而在讨论A与B是否有相等的真值表时，将A,B都看成p1,
21、p2,pn的命题公式。,例题,例1.10 下列公式中,哪些具有相同的真值表?(1)pq(2)qr(3)(pq)(pr)p)(4)(qr)(pp),主要内容,命题与真值（或真假值）。简单命题与复合命题。联结词：，。命题公式（简称公式）。命题公式的层次和公式的赋值。真值表。公式的类型：重言式（永真式），矛盾式（永假式），可满足式。,学习要求,在5种联结词中，要特别注意蕴涵联结的应用，要弄清三个问题：pq 的逻辑关系 pq 的真值 pq 的灵活的叙述方法写真值表要特别仔细认真，否则会出错误。深刻理解各联结词的逻辑含义。熟练地将复合命题符号化。会用真值表求公式的成真赋值和成假赋值。,典型习题,命题符号
22、化求复合命题的真值与命题公式的赋值判断公式的类型,例题：命题符号化,(1)我和他既是兄弟又是同学 p：我和他是兄弟，q：我和他是同学。故命题可符号化为：pq。(2)张三或李四都可以做这件事。p：张三可以做这件事。q：李四可以做这件事。故命题可符号化为：pq。(3)仅当我有时间且天不下雨，我将去镇上。对于“仅当”，实质上是“当”的逆命题。“当A则B”是AB，而“仅当A则B”是BA。p：我有时间。q：天不下雨。r：我将去镇上。故命题可符号化为：r(pq)。,例题：命题符号化,(4)张刚总是在图书馆看书，除非图书馆不开门或张刚生病。对于“除非”，只要记住，“除非”是条件。p：张刚在图书馆看书，q：图
23、书馆不开门，r：张刚生病。故命题可符号化为：(qr)p。(5)风雨无阻，我去上学。可理解为“不管是否刮风、是否下雨，我都去上学”。p：天刮风，q：天下雨，r：我去上学。故命题可符号化为：(pqr)(pqr)(pqr)(pqr)或(pqr)(pqr)(pqr)(pqr)理解为“四种情况必居其一,而每种情况下我都去上学”,命题符号化的要点,要准确确定原子命题，并将其形式化。要选用恰当的联结词，尤其要善于识别自然语言中的联结词（有时它们被省略）。否定词的位置要放准确。需要的括号不能省略，而可以省略的括号，在需要提高公式可读性时亦可不省略。要注意的是,语句的形式化未必是唯一的。,例题：求公式(p(qr)的真值表。,本章作业,
