离散数学 第一篇习题课.pptVIP

目录 第一章 命题逻辑 思考题 参考答案 第二章 谓词逻辑 思考题 参考答案 第一 章 命题逻辑 (一) 填空题 1. 已知命题公式G ? ﹁(P→(Q∧R)),则所有的使G取真值为1的解释是 . 2. 已知命题公式G ?(﹁P→Q)∧R,则 G的主析取范式是 . (二) 单项选择题 1.设命题公式G ?(P ∧ Q)→ P,则G是(　). A.恒假的. B.恒真的. C. 可满足的.D析取范式. 2.设命题公式G ? ﹁(P→Q),H ? P→(Q→﹁P),则G 与H的关系是( ). A.G H. B.H G C.G ? H D.以上都不是. 3.设命题公式G ? P∧ (Q →﹁P),则使G为真的解释 是( ). A.(0,0); B.(1,0); C.(0,1); D.(1,1) (三)计算题 1.设命题逻辑公式G ?(﹁R ∧(P→Q)) ∨S,写出G的析取范式与合取范式. 2.求命题公式G的主析取范式,其中G ? ﹁ (P→﹁Q ∨﹁R) ∨﹁((P∨Q) ∧(Q∨R)) (四)证明题 1.证明(方法不限): (﹁ (P ∨ (﹁Q))) →(Q → R) ? Q →(P ∨R) 2.利用蕴涵定义证明: (P →﹁Q)∧(﹁R∨ Q) ∧R ﹁P 3.判断公式 G ? （（P→Q）∧(Q→R)∧ P)→R是恒真的. 4.证明: {﹁ A∨B,﹁B ∨C,C→D} 蕴涵 A→D. 5.利用推演法证明: ﹁ (P ∧ Q) →(﹁ P∨ (﹁ P∨Q)) ? ﹁ P∨ Q 6.利用将公式化为范式的方法,证明:G ? H. 其中 G ?(A→B) →(A∧B), H ? (﹁ A→B) ∧(B→A). 第二章 一阶逻辑 (一) 填空题 设一阶逻辑公式 ,则G的前束范式 . 设D:{a,b},将表达式 中的量词消除后,与之等价的命题公式是 . (二) 单项选择题 1.设G,H是一阶逻辑公式,P是一个谓词, ,则一阶逻辑公式 是( ). A. 恒真的; B.恒假的; C.可满足的; D.前束范式 (2) 下面给出的一阶逻辑等价式中,( )是错的. 3. 设I是如下一个解释 (三) 证明题 1.利用一阶逻辑的基本等价式,证明: 2. 试用解释的方法,证明: (四) 计算题 1.将下面的命题符号化: 某些人对某些食物过敏; 对于任一个正整数,总存在一个更大的正整数. (i)设D:正整数集合; (ii)设D:非空个体名称集合. 2.设P(x):x是人; F(x,y):x是y的父亲; M(x,y):x是y的母亲. 试用谓词公式表示:x是y的外祖父. 3.设一阶逻辑公式: 把G化成前束范式. 答案：第一章 命题逻辑 （一） 填空题 1.｛1,0,0｝,｛1,0,1｝，｛1,1,0｝. 2.（P∧Q ∧R）∨（P ∧﹁Q ∧R） ∨ （﹁P ∧Q ∧R）. 命题逻辑 （二） 单项选择题 1. B； 2.A； 3.B （三）计算题 1.G的析取范式为 （﹁R∧﹁P）∨（﹁R∧Q）∨（﹁R∧S） ∨ S ∧﹁P） ∨（ S ∧Q）∨S 合取范式（ ﹁R ∨ S ） ∧ （﹁P ∨ Q ∨ S） 命题逻辑 2.（P∧Q ∧ R）∨（﹁P∧﹁Q∧R）∨（﹁P∧﹁Q ∧﹁R）∨（P∧﹁ Q ∧﹁R） （四）证明题 1.略. 2.设（P→﹁Q）∧（﹁R ∨Q）∧R为1，则有R为1，且﹁R ∨Q为1，故Q为其1；又P→﹁Q为1，故﹁P为1。 命题逻辑 3. G ? （（﹁P ∨ Q）∧（﹁Q ∨ R）∧P）→R ? （P ∧﹁Q）∨（Q ∧﹁R）∨ ﹁ P ∨R ? （﹁Q ∨﹁P）∨（Q ∧R） ? ﹁Q ∨ Q ∨﹁P∨R. 命题逻辑 4. （1）﹁A∨B 规则P （2）A→B 规则Q，根据（1） （3）A 规则D （4）B 规则Q1，根据（2），（3） （5）﹁B∨C 规则P （6）B→C 规则Q，根据（5） （7）C 规则Q，根据（4），（6） （8）C→D 规则P （9）D