第一章命题逻辑1课件.ppt

离散数学 章红艳 期末成绩=平时成绩(30%)+卷面成绩(70%) 平时成绩（出勤率，课堂问答，作业情况） 旷课一次 -3 作业不交 -2 回答问题较好+1 旷课超过三次平时成绩为0 参考教材 孙吉贵，杨凤杰，欧阳丹彤，李占山编著．离散数学．高等教育出版社，2002 . [美]Kenneth H.Rosen著．袁崇义，屈婉玲，王捍贫，刘田 译．离散数学及其应用．北京：机械工业出版社，2002. 屈婉玲，耿素云，张立昂编著。离散数学。高等教育出版社，2008. 背景知识-七桥问题 哥尼斯堡七桥问题 - 图论的开始 18 世纪在哥尼斯堡城的普莱格尔河上有 7 座桥，将河中的两个岛和河岸连结，如图所示。城中的居民经常沿河过桥散步，于是提出了一个问题：能否一次走遍 7 座桥，而每座桥只许通过一次，最后仍回到起始地点。这就是七桥问题，一个著名的图论问题。 我现在年龄大了，搞了这么多年软件，错误不知犯了多少，现在觉悟了。我想，假如我早年在数理逻辑上好好下功夫，我就不会犯这么多的错误。不少东西逻辑学家早就说过，可是我不知道，要是我年轻20岁，我就去学逻辑学。 ——Dijkstra 带权图的最短路径问题。 逻辑难题 一个岛上住着两类人——骑士和流氓。骑士说的都是实话，而流氓只会说谎。你碰到两个人A和B，如果A说“B是骑士”，B说“我们俩不是一类人”。请判断A和B到底是流氓还是骑士。 第一章命题逻辑 悖论：有一个命题为前提，进行正确的逻辑推理，得出一个与前提互相矛盾的结论。 例8 令：p:北京比天津人口多 q:2+2=4 r:乌鸦是黑色的 求下列复合命题的真值 （1） （2） （3） 第二节 命题公式及分类 定义1.6 合式公式 (1) 单个命题常项或变项是合式公式，并称为 原子命题公式。 (2) 若A是合式公式，则(┐A)也是合式公式。 (3) 若A，B是合式公式，则(A∧B)，(A∨B)， (A→B)，(A?B)也是合式公式。 (4) 只有有限次地应用(1)～(3)组成的符号串才是 合式公式。 定义1.7 公式层次 (1)若公式A是单个的命题常项、命题变项， 则称 A为0层公式。 (2)称A是n+1(n≥0)层公式是指下面情况之一： (a) A＝┐B，B是n层公式； (b) A＝B∧C，其中B,C分别为i层和j层公式， 且 n=max(i,j)； (c) A＝B∨C，其中B,C的层次及n同(b)； (d) A＝B→C，其中B,C的层次及n同(b)； (e) A＝B?C，其中B,C的层次及n同(b)。 2、公式的解释 在命题公式中，由于有命题变项的出现，因而真值是不确定的。当将公式中出现的全部命题变项都解释成具体的命题之后，公式就成了真值确定的命题了。 例(p∨q)→r （2）若R:π是有理数，则(p∨q)→r被解释成： 定义1.8 赋值或解释 A为命题公式，p1,p2,…,pn是出现在A中的全部命 题变项，给p1,p2,…,pn各指定一个真值，称为对A 的一个赋值或解释。若指定的一组值使A的真值 为1，则称这组值为A的成真赋值；若使A的真值 为0，则称这组值为A的成假赋值。  对含n个命题变项的公式A的赋值情况做如下规定：(1)若A中出现的命题符号为p1、p2…,pn，给定A的赋值α1,α2,…,αn 是指p1＝α1，p2＝α2,…，pn＝αn。 (2)若A中出现的命题符号为p，q，r...,给定A的赋值α1,α2,…,αn是指p＝α1，q＝α2,…，最后一个字母赋值αn。 上述αi取值为0或1，i＝1,2,…,n。 赋值举例 在公式(┐p1∧┐p2∧┐p3)∨(p1∧p2)中，000(p1＝0，p2＝0，p3＝0)，110(p1＝1，p2＝1，p3＝0)都是成真赋值，001(p1＝0，p2＝0，p3＝1)，011(p1＝0，p2＝1，p3＝1)都是成假赋值。 在(p∧┐q)→r中，011(p1＝0，p2＝1，p3＝1)为成真赋值，100(p1＝1，p2＝0，p3＝0)为成假赋值。 重要结论：含n(n≥1)个命题变项的公式共有2n种不同的赋值。 例3 求下列公式的真值表，并求成真赋值和 成假赋值。 (1)(┐p∧q)→┐r