离散数学Discrete Mathematics.pptVIP

对计算机专业系统知识的辐射作用 一元联结词的真值表 一个命题变项P，可取“T”和“F”两种值。可定义四个一元真值函项 f0，f1，f2，f3。 P f0(P) f1(P) f2(P) f3(P) T T T F F F T F T F 永 真 恒 等 否 定 ?P 永 假 二元联结词 P Q f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 T T T F T T T F F F T T T T F F F F T F T T F T T F T T F F T F T F F F F T T T T F T T F T F T F F F T F F F F T T T T F T T F T F F F F F T F f4 为 析 取 ? f2为 蕴含? f8 为 等价? f11 为 合 取 ? 三元联结词共有多少个？ f0 f1 f2 ………… f? (0,0,0) 0 1 0 ………… 1 (0,0,1) 0 0 1 ………… 1 (0,1,0) 0 0 0 ………… 1 (0,1,1) 0 0 0 ………… 1 (1,0,0) 0 0 0 ………… 1 (1,0,1) 0 0 0 ………… 1 (1,1,0) 0 0 0 ………… 1 (1,1,1) 0 0 0 ………… 1 28 1.1.3 合式公式 合式公式为如下定义的式子，简称为公式： 任何命题变元均是公式； 如果P为公式，则?P为公式； 如果P，Q为公式，则 P?Q, P?Q, P?Q, P?Q 为公式； 当且仅当经过有限次使用①、②、③所组成的符号串才是公式，否则不为公式 。 Well formed formulae n 元公式 若公式?中有n个不同的命题变元， 就说?为n 元公式。 3元公式的例子： （（P?Q）?R）?（ ? P?Q） （P?Q?R）?（ ? P?Q） ? ? 优先级约定 ∧、∨、?、 ?优先级相同 ﹃ 比其它联结词有更高的优先级 括号（）内的运算优先 例 令 P：北京比天津人口多。????? ??????? Q：2+2＝4。 ??????? ????? R：乌鸦是白色的。 ????求下列公式的真值：????(1) (Q∨R)→(P→ ?R) ????(2) (?P∨R) ?(P∧ ?R) 命题符号化 分析出简单命题，符号化 用联结词联结简单命题 提示：根据命题的实际含义，不拘泥于原句形式地确定原子命题和选用联结词。 例 将下述命题符号化，并指出真值:  （1）肉包子是由面粉和猪肉做成的。 ??? （2）2是质数且偶数，3是质数或偶数。 ? （3）如果我只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。 （4）如果他喜欢QQ，他就喜欢微信；当小红心情愉快时，她就唱歌；反之，当她唱歌时，一定心情愉快。 例4(p5)已知三个命题： P：今晚我在家上网； Q：今晚我去球场看足球比赛； R：今晚我在家上网或去球场看足球比赛。 试问P?Q和R是否表达同一命题？ 请用真值表说明之。 R=(?P?Q)?(P??Q) P Q P?Q R T T T F T F T T F T T T F F F F 不可兼 或 数理逻辑是计算理论的基础，而计算理论又是计算机科学的核心基础，在编译原理，复杂性分析中有广泛的应用；另外，数理逻辑也是形式语言，程序设计方法，机器证明，人工智能等学科的基础。 吴文俊, 1919年5月12日出生，数学家。毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际