离散数学chapter1.ppt

* 1.7节 * 1.7节 * 1.7节 #4 b 试证:?x P x ∨Q x ∧?x?P x ? ?xQ x 步骤 断言 根据 1 ?x P x ∨Q x P 2 P y ∨Q y T,1,US 3 ?x?P x P 4 ?P y T,3,US 可为同一y 5 Q y T,2,4,析取三段 6 ?yQ y T,5,UG 7 ?xQ x T,6,变量改名 #4 c 试证: ??x P x ∨Q x ∧?xP x ? ??xQ x 步骤 断言 根据 1 ?xP x P 2 P y T,1,US 3 P y ∨Q y T,2,加法式 4 ?x P x ∨Q x T,3,UG 5 ??x P x ∨Q x P 6 ?x P x ∨Q x ∧??x P x ∨Q x T,4,5,合取式 7 ??xQ x T,6,假言推理 习题1.8 #6 证明下列蕴涵式不是有效的: ?x P x ∨Q x ??xP x ∨?xQ x * 解: 举反例如下: 令论述域为 0,1 ; P x ?‘x 0’; Q x ?‘x 1’, 则?x P x ∨Q x 为真; 但?xP x , ?xQ x 都为假,从而?xP x ∨?xQ x 为假. * 式不是有效的. 注:p52的推导不对,因为由谓词分配律只有 ?x ?P x ∧?Q x ??x?P x ∧?x?Q x , 或 ? ?x?P x ∧?x?Q x ???x ?P x ∧?Q x . 习题1.8 #8 c 判断下列是否有效结论: ?xP x ∧?xQ x ??x P x ∧Q x * 解: 举反例如下: 令论述域为 0,1 ; P x ?‘x 0’; Q x ?‘x 1’, 则 ?xP x ∧?xQ x 为真; 但 ?x P x ∧Q x 为假, 从而 ?xP x ∨?xQ x 为假. * 式不是有效结论. 习题1.8 #8 d 判断下列是否有效结论: ?x P x ?Q x ∧?Q a ??x?P x * 解: 举反例如下: 令论述域为 a,b ; P x ?‘x b’; Q x ?‘x b’, 则 ?x P x ?Q x ∧?Q a 为真; 但 ?x?P x 为假. * 式不是有效结论. #9 b 试证: ?x P x ? Q y ∧R x ∧?xP x ? Q y ∧?x P x ∧R x 步骤 断言 根据 . 1 ?xP x P 2 P u T,1,ES 3 ?x P x ? Q y ∧R x P 4 P u ? Q y ∧R u T,3,US 5 Q y ∧R u T,4,假言推理 6 R u T,5,简化式 7 Q y T,5,简化式 8 P u ∧R u T,5,合取式 9 ?x P x ∧R x T,8,EG 10 Q y ∧?x P x ∧R x T,6,9,合取式 * * * * * * * * * * * * * * * * * * * * * * * * * * 1.7节 量化后所得命题的真值与论述域有关,即随个体域不同而可能不同 例1 ?y y 3 当论述域为正整数集N时为真; 而当论述域为负整数集-N时为假. 例2 ?x x?0 当论述域为N时为真;而当论述域为R时为假. 全总个体域与特性谓词的概念与例子 令D x 表示x是要死的; F x 表示x是不怕死的.当论述域为全人类时,‘人总是要死的’ 译为?xD x ,‘有些人不怕死’ 译为?xF x .而当论述域为全总个体域时, 它们分别译为 ?x M x ?D x , ?x M x ∧F x ,其中,M x 表示x是人. 苏格拉底论证 教本P.33 可符号化为: ?x M x ?D x ∧ M s ?D s ,其中s表示特定的一个人:苏格拉底. 习题#10 特性谓词加入断言规则: ①全称谓词作蕴涵式前件加入;② 存在谓词作合取项加入. 例如,令P x 表示x为素数,则有 1.5习题#15 k , l : ‘任何两个素数之和是一个素数’可符号化为: ?x?y P x ∧P y ?P x+y ; ‘存在两个素数其和是素数’ 可符号化为: ?x?y P x ∧P y ∧P x+y . 谓词逻辑的翻译或符号化概念与步骤 把一个文字叙述的命题用谓词公式表示出来的过程称为谓词逻辑翻译或符号化,其一般步骤如下: ① 正确理解给定命题,必要时可适当加以改叙使其中的原子命题的关系更明显. ② 把每个原子命题分解成个体，谓词和量词,在全总个体域中讨论时要给出特性谓词. ③ 找出适当量词,注意?后跟蕴涵式,?后跟合取式. 谓词逻辑符号化之例 习题1.6 #