离散数学课件17.ppt

在E上永真与可满不可满足 定义 1.7 -3 给定任一谓词公式A, 如果在论述域E上, 对公式A中的谓词和个体变元进行定义 1.7 -1 中的两种指派, 所得命题 ; (1) 都真,则称A在E上有效或在E上永真。 (2) 至少有一个是真, 则称A在E上可满足。 (3) 都假, 则称A在E上永假或在E上不可满足。 若谓词公式A的个体域是有限的, 谓词的解释也有限, 则可用真值表判定谓词公式A是否永真。例如: 当谓词的解释和个体变元的数量稍大, 用真值表判定就难以实现。 一般利用推导方法, 因此, 如同命题演算一样, 首先要求出基本的永真公式, 以作为推导的根据。 代入后，所得式子与原式一般不等价，除非是永真式。 主要内容 1. 等值式与基本的等值式①在有限个体域中消去量词等值式②量词否定等值式③量词辖域收缩与扩张等值式④量词分配等值式? 2. 基本规则①代入规则②替换规则③对偶原理 学习要求 1. 深刻理解重要的等值式，并能熟练地使用它们证明等价关系等。 2. 注意量词的作用域。 3. 熟练使用几个规则。? 作业 2. (1) (3) 3. 4. (1) 5. (1) (3) 于是证明: (?xP(x) → ?xQ(x)) ? (?xP(x) →?xQ(x)) 不是永真的即可。 (c) 证明 证 ?x(P(x) →Q(x)) ? ?xP(x) →?xQ(x)是非永真式 ?x(P(x) → Q(x) ) ? ?xP(x) → ?xQ(x) 见例（a）证明 现设论述域是整数集合, P(x)：x=0, Q(x)：x≠x。 于是：xP(x)是假, 因而 ?xP(x)→?xQ(x)是真, 但?xP(x)是真, ?xQ(x)是假, ?xP(x)→?xQ(x) 是假。 故（?xP(x)→?xQ(x)) ? (?xP(x) →?xQ(x))是假。 为了证明不是永真的,只需找出一个论述域及域上谓词的一种解释, 使上式是假即可（即，找一个反例）。 这两个公式是根据量词的含义得出的。前一公式的意义是: 如果断言“对一切x, P(x) 是真”成立, 那么对任一确定的x, P(x) 是真。后一公式的意义是: 如果对某一确定的x,P(x)是真, 那么断言“存在一x, 使P(x)是真”成立。 现在说明第一个等价式。 如果P是真, 则等价式左右侧都是真; 如果P是假, 则等价式左右侧都等价于 xA(x)。所以, 第一个等价式是成立的。 要牢记以上四个量词分配率 记忆方法： 先合取 =》 先析取 只须应用它们对∧ , ∨ , ? 的恒等式即可推出。 ?x(A(x)→B(x)) ? ?xA(x)→?xB(x) 同性质量词可以交换顺序 ?x?yP(x, y) ? ?x?yP(x, y) 记忆方法： 先合取 =》 先析取 * 第一章 数理逻辑 * 第一章 数理逻辑 1.7 谓词演算的永真公式 1.7.1 基本定义 1.7.2 谓词演算的基本永真公式 1.7.3 几条规则 1.7 谓词演算的永真公式 1.7.1 基本定义 定义 1.7 -1 两个任意谓词公式A和B, E是它们公有的论述域, 若 (1) 对公式A和B中的谓词变元(包括命题变元), 指派以任一在E上有定义的确定的谓词。 (2) 对谓词命名式中的个体变元, 指派以E中的任一确定的个体。 所得的命题具有同样的真值, 则称公式A和B 遍及E 等价, 记为 在E上A ?B。 定义 1.7 -2 如果两谓词公式A和B, 在任意论述域上都等价, 则称A和B等价, 记为A?B。 A和B等价 定义 1.7 -4 给定任一谓词公式A, 如果在任意论述域上, 对上述两种指派, (1) A永真, 则称A永真或有效。 (2) A至少在一个域上可满足, 则称A可满足。 (3) A永假, 则称A永假或不可满足。 永真与可满不可满足 例 设P(x)仅可解释为 ① A(x):x是质数, ② B(x):x是合数。 论述域是{3, 4}, 判定谓词公式 P(x)∧?xP(x) 是否永真。 解 真值表如右表所示 所以, P(x)∧?xP(x)非永真式。 1.7.2 谓词演算的基本永真公式 1. 命题演算的永真公式也是谓词演算的永真公式, 基本的就是列于表 1.2 -1 , 表1.2 -2 的恒等式和永真蕴含式。 (i) ?xA ? A 