总复习4567.ppt

命题逻辑 命题和联结词 命 题 命题：称具有确定真假意义的陈述句为命题。 命题词：表示命题的形式符号。大写拉丁字母，如P。既可表示真命题，又可表示假命题，故称命题变元 T，F：命题常元 （相对于命题变元） 命题的真值： T（1）或F（0） T、F两种含义 例 (1) 10是一个整数 (2) 北京是中国的首都 (3) 3+3=8 (4) x+y=4 (5) 吃过饭了吗 ? (6) 我正在说谎 (7) 快跑！ (8) 啦啦啦啦！ 命题联结词总汇 命题联结词－总结 命题符号化 命题的符号化：首先用命题词表示它能包含的简单命题，然后用这些命题词和上面定义的逻辑联结词把给定的命题表示出来。 原则： 1. 语义理解； 2. 正反验证。 例 1.?他在家或上街去了 ( P ? Q ) ? ? ( P ? Q ) 2. 他吃饭或听音乐 P ? Q （1和2表达“相容析取和不相容析取”的概念 ） 3.?水清，则无鱼 P ? ? Q 4. 落后就要挨打 P ? Q 5.?他虽聪明，但不用功 P ? ?Q 6.?除非你努力，否则你将失败 ? P ? Q 7.?张三或李四都可以做这件事 P ? Q （“或”并非一定是?） 8. 仅当你走我才留下 ? P ? ? Q （“如果你不走，我就不留下”） 合式公式 合式公式 如果合式公式中仅含命题变元P1, P2, …, Pn，则常用符号： G ( P1, P2, …, Pn ) 来表示 解释 例 真值表的运用 例 永真式、永假式、可满足 例 永真式： 永假式： 可满足： （F, T, T） 永真式的判定方法 代换实例 定理4.2.1（代入定理） 等价和蕴含 例 试证明： 1、P?Q?P?(P?Q) 2、(Q?P??P)?(R?P??P)?R?Q 范式和判定问题 主合取和主析取范式相互变换 对合式公式A，在A的主合取范式中没有出现的极大项，必出现在?A的主合取范式中； 对合式公式A，在A的主析取范式中没有出现的极小项，必出现在?A的主析取范式中； 主合取和主析取范式相互变换 用不出现在合式公式B的主合取范式中的极大项构造?B的主合取范式； 求?B的对偶式(?B)*； 在(?B)*中，用命题变元的否定代替命题变元，命题变元代替命题变元的否定，即可得到B的主析取范式。 例 求P→(P→Q)∧? (?Q∨?P)的主范式。 求(?P→R) ∧ (Q ?P)的主范式。 谓词逻辑 例 如果R(x,y)表示“x依靠y”，列出下列公式的含义： ?x(?y R(x,y))= ?y(?x R(x,y))= ?x(?y R(x,y))= ?y(?x R(x,y))= ?x(?y R(x,y))= 例 并非 所有的 书 大家都 喜欢 连词 数量词 名词 数量词 动词 ?(?x)(Book(x)?(?y)(Man(y) ?Love(y, x))) 这家 店 供应 一切 简易 用具 指示代词 名词 动词 数量词 形容词 名词 Shop(a) ? (?x)(Simple(x) ? Tool(x)?Supply(a, x)) 例 对任意正数? 0，皆有正数? 0，当0 |x –a| ?时，都有|f(x) – b| ?。 Real(x)：x是实数 Bigger(x, y)：x大于y（即xy） Minus(x, y)：x-y的差（即x-y） ABS(x)：x的绝对值（即|x|） 例 没有不犯错误的人 某些人对某些食物过敏 尽管有人聪明，但未必一切人聪明 X、Y和Z为实数，如果XY，并且Z 0，那么XYYZ 每个建筑物都有一些装饰品 语法构成、语义解释 在一个公式中，一个变元既可以约束出现，又可以自由出现。为避免混淆可用改名规则对约束变元改名。（上例1） 例 确定(?x)(?y)(P(f(x, y), a) →P(x, y))在如下解释下的真值： 解释如下： 1、D=I 2、a：0 3、f(x, y)：x-y的差 4、P(x, y)：xy 给出使合式公式真值为真（假）的解释 给出使(?x)(P(x) →P(f(x)))真值为假的解释 D=I P(x)：x0 f(x)：-x 图 论 7.1 图论的基本概念 例 例 例 必要非充分条件 两图结点数目和边数目相同； 两图中度数为d的结点数目相同； …… 例 判断下面两个图是否同构？如是，标出对