离散数学数理逻辑部分综合练习辅导.docVIP

PAGE / NUMPAGES 离散数学数理逻辑部分综合练习辅导 本次活动（２008.12。17）是本学期的第三次活动，主要是针对第三单元数理逻辑的重点学习内容进行辅导，方式还是通过讲解一些典型的综合练习题目，帮助大家进一步理解和掌握数理逻辑的基本概念和方法． 数理逻辑作为离散数学的一部分，主要介绍命题逻辑和谓词逻辑. 命题逻辑部分的主要内容：命题及其表示法、联结词、命题公式与翻译、真值表与等价公式、重言式与蕴含式、范式、推理理论等； 谓词逻辑部分的主要内容：谓词及其表示法、命题函数与量词、谓词公式与翻译、变元约束、谓词演算的等价式与蕴含式、前束范式、谓词演算的推理理论等. 本次综合练习主要是复习这一部分的主要概念与计算方法,与前两个单元不同的是，这一部分除了有单项选择题、填空题，判断说明题、计算题、证明题等五种题型外，还要增加一种公式翻译题,这种题型也是期末考试题型的一种,因此希望同学们要熟悉所有的题型，使我们在考试中能够顺利地解答题目，获得好成绩。下面按题型分别讲解。 一、单项选择题 1。设P：我将去市里，Q：我有时间。命题“我将去市里，仅当我有时间时符号化为（ 　 ） ?A． 　 B。　 C． 　Ｄ. 正确答案：B 因为语句“仅当我有时间时”是“我将去市里”的必要条件,所以答案B是正确的. 问：如果把“我将去市里”改成“我将去打球”、“我将去旅游等，会符号化吗？ 2．设命题公式G：，则使公式Ｇ取真值为1的P，Q，R赋值分别是　( ) A．０, ０, 0　　 　　 B．0,　0, 1 　 C．０， １，　0 　 　 　 D． 正确答案:D 　　 由教材1６2页的条件联结词“→”运算的真值表可知，当Ｐ取真值时，?Ｐ取假值，则无论后件Ｑ?R取真值还是假值,结果都是真的。因此答案Ｄ是正确的。 3。下列公式 （　 ）为重言式． Ａ.?（?P?（P?Ｑ)) ?Ｑ 　 　 　 B.（B?（A?B))　?（?Ａ?（Ａ?B）) C。（P?(?Q?P)）?（?P?（P?Q)) 　 D．A??Ｂ?A?Ｂ 正确答案:Ｃ 　因为： ?P?(P?Q)? Ｐ? （Ｐ?Q) ? Ｐ? (?P?Ｑ） ? ?Ｐ ?　(P ?Q) 　　 　　? ?P ? （Q ? P） ? ?P ? (?Ｑ ?　P) ? P? （?Ｑ ? P） 　所以，C是重言式. 　　4。命题公式的主析取范式是（ )． ?A。　 　 　 B．　　　　 C． 　Ｄ。 正确答案：A 复习主析取范式的定义: 定义6.６.5　对于给定的命题变元,如果有一个等价公式，它仅仅有小项的析取组成,则该等价式称为原式的主析取范式． 而小项的定义是： 定义6。6.４　 n个命题变元的合取式,称为布尔合取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 由此可知，答案C和D是错的。又因为? （P ?Q ) ? ?（?P ?Q） ? P? ?Q 所以,答案A是正确的. 5。设C（x): x是国家级运动员，Ｇ（x）： ｘ是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 （ 　　 ）. 　 A. B． C．　　　 　 D。 正确答案:D 　 由题设知道，Ｃ(x）?? G(x)表示国家级运动员不是健壮的,而“没有一个”就是“不存在一个，因此用存在量词的否定，即??x,得到公式Ｄ。 如果把命题改为：“不是所有人都是运动员”,你会符号化吗？ 　 　6．表达式中的辖域是( 　 )． 　　 Ａ．Ｐ（x， y） B。P（x， y）?Q（z） C.Ｒ（x, y) 　　 Ｄ。P（ｘ， y）?R(x, y) 正确答案:B 　　 所谓辖域是指“紧接于量词之后最小的子公式称为量词的辖域”．那么看题中紧接于量词?ｘ之后最小的子公式是什么呢？显然是P（x， y）?Q(z），因此，答案B是正确的。 　 　二、填空题 １．命题公式的真值是 　 ． 应该填写:1 因为??Ｐ?（Q?P）　?1,所以应该填写：1. 2。设P：他生病了,Q:他出差了．Ｒ：我同意他不参加学习。 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 　 　 ． 应该填写:(P?Q)?Ｒ 一般地，当语句是由“如果……,那么……”，或“若……，则……”组成,它的符号化用条件联结词?。 3。含有三个命题变项P，Ｑ，R的命题公式P?Q的主析取范式是　 　　 　 　 . 应该填写：（P?Q?R)? (P?Q??Ｒ） 　　 关于主析取范式的定