离散数学作业9.docVIP

PAGE / NUMPAGES 离散数学作业9 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型安排练习题目，目的是通过综合性书面作业,使同学自己检验学习成果，找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2０0９年6月14日前完成并上交任课教师（不收电子稿)。 一、单项选择题 1．设Ｐ：我将去市里，Ｑ:我有时间．命题“我将去市里，仅当我有时间时”符号化为（ C　）. ?A． Ｂ。 　C。 　 　 　 D．　 2.设命题公式G：,则使公式G取真值为1的P，Ｑ,Ｒ赋值分别是　（　 Ｄ 　)． ?A．0, 0, 0 　 　　 　 　　B．0, 0,　1 C．0, 1, 0 　 　 　 　 Ｄ． ３．下列命题公式成立的为（ D ）. A．?P??Q?Ｐ?Q? 　 　 B．?B?Ａ ? A?Ｂ 　 　C。P ? Q ?Q 　 　　 　　 　 　　D．?A? （A?Ｂ) ?B ４。下列公式 ( B ）为重言式。 Ａ．P?Q ??P?Q 　 　 　 　　B．（Ｂ?（A?B）)　?（?A?（A?B）） C.P?Q ??P??Q 　 　 　　 　 　　 Ｄ.A??B?A?B 　　 　5。命题公式的析取范式是（　 A　 )。 A. 　 　 　B　 　Ｃ．　 　 D． ６。设C(x）:x是国家级运动员,G（x）：x是健壮的,则命题“没有一个国家级运动员不是健壮的可符号化为 ( 　C ）． 　 A。　 　　 　 B。 Ｃ． 　 　 Ｄ。 7．表达式中的辖域是（ B　　 )。 　 A.P（x, ｙ）　 B。Ｐ（x， y）?Ｑ(z） 　 　 Ｃ．Ｒ（x， y） 　 Ｄ．P(x， y)?R（x, y） 8。谓词公式的类型是(Ａ ）． A．永真式 B。永假式 Ｃ。非永真的可满足式　 　 D．蕴含式 二、填空题 1。命题公式的真值是 1 　 　. 2.设P:他生病了,Q:他出差了.R：我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习符号化的结果为 　． 3．设A，B为任意命题公式，C为重言式，若,那么是　(重言式） 式（重言式、矛盾式或可满足式）　. ４.含有三个命题变项P，Q，R的命题公式Ｐ?Q的主析取范式是 . ?5.设P（x)：x是人,Q（ｘ)：x去上课,则命题“有人去上课.”为 　 　 　 　 　. ６.设个体域D={a,　b｝，那么谓词公式消去量词后的等值式为 　　 　 　　 　 。 7.设个体域D＝｛１， 2, ３,　4}，Ａ（ｘ)为“x小于3”,则谓词公式（?ｘ）A（x) 的真值为　 1 　 8.谓词命题公式（?ｘ）(Ｐ（ｘ）→Ｑ(x)∨R（ｘ,ｙ）)中的约束变元为 　x　 . 三、公式翻译题 　 1．请将语句“今天是天晴”翻译成命题公式． Ｐ:今天是晴天 　　２．请将语句“如果明天天下雪,我就去市里”翻译成命题公式. P:明天下雪　 　Q:我去市里 　 ３．请将语句“除非你去，否则我不去”翻译成命题公式. P:你去 　Q：我去 　　4。请将语句“我去书店，仅当天不下雨翻译成命题公式. Ｐ：我去书店 Q：天不下雨 　 　5．请将语句 “有人不去工作”翻译成谓词公式。 M(x）：x是人 　P(ｘ）:x不去工作 6.请将语句“所有人都努力工作。”翻译成谓词公式． M(x):x是人　 P(ｘ）:x努力工作 四、判断说明题(判断下列各题，并说明理由。) 　 １．命题公式┐P∧P的真值是１。 错　是0 　 ２.命题公式┐Ｐ∧(P→┐Q)∨P为永真式． 对 　 　3．谓词公式是永真式. 对　 　 4.下面的推理是否正确，请给予说明。 ?（1) （?）xＡ(x) ? B（x） 　 　 　 　 　前提引入 (2） A(ｙ)　?B(ｙ) 　　 　 　 　 　　　 　US （1） 错，，消去的量词辖域是A(x）与B（x)无关 五．计算题 1．求命题公式的主析取范式、主合取范式． ? ２。求命题公式（P??Q）?（R?Ｑ）的主析取范式、主合取范式． 3．设谓词公式． （1）试写出