离散数学期末复习题材料.docVIP

离散数学期末复习题 一、选择题 1、永真式的否定是（2） (1) 永真式　(2) 永假式　(3) 可满足式　(4) (1)--(3)均有可能 2、设P：2×2=5，Q：雪是黑的，R：2×4=8，S：太阳从东方升起，则下列真命题为(1) (1) (2) (3) (4) 。 3、设P：我听课，Q：我看小说，则命题R“我不能一边听课，一边看小说”的符号化为⑵ ⑴ ⑵(3) ⑷ 提示： 4、下列表达式错误的有⑷ ⑴ ⑵ ⑶ ⑷ 5、下列表达式正确的有⑷ ⑴ ⑵ ⑶ ⑷ 6、下列联接词运算不可交换的是(3) ⑴ ⑵ (3) ⑷ 6、设D：全总个体域，F（x）：x是花，M(x) ：x是人，H(x,y)：x喜欢y，则命题“有的人喜欢所有的花”的逻辑符号化为⑷ ⑴ ⑵ (3) ⑷ 7、设L(x)：x是演员，J(x)：x是老师，A(x , y)：x钦佩y，命题“所有演员都钦佩某些老 师”的逻辑符号化为⑵ ⑴ ⑵ (3) ⑷ 8、谓词公式中的 x是⑶ ⑴自由变元 ⑵约束变元 ⑶既是自由变元又是约束变元 ⑷既不是自由变元又不是约束变元 9、下列表达式错误的有⑴ ⑴ ⑵ (3) ⑷ 10、下列推导错在⑶ ① P ② US① ③ ES② ④ UG③ ⑴② ⑵③ ⑶④ ⑷无 11、下列推理步骤错在⑶ ① P ② US① ③ ES② ④ UG③ ⑤ EG④ ⑴①→② ⑵②→③ ⑶③→④ ⑷④→⑤ 12、设个体域为{a,b}，则去掉量词后，可表示为⑷ ⑴ ⑵ (3) ⑷ 提示：原式 二、填充题 1、一个命题含有n个原子命题，则对其所有可能赋值有 种。 2、n个命题变元可产生个互不等价的极小项，其中，任意两个不同极小项的合取式为矛盾式（永假式），而全体极小项的析取式为重言式（永真式），n个命题变元可构造包括F的不同的主析取范式类别为。 3、n个命题变元可产生个互不等价的极大项，其中，任意两个不同极大项的析取式为重言式（永真式），而全体极小项的合取式为矛盾式（永假式），n个命题变元可构造包括T的不同的主合取范式类别为。 5、公式的对偶公式为。 6、设P：它占据空间，Q：它有质量，R：它不断运动，S：它叫做物质。命题“占据空间的，有质量的而且不断运动的叫做物质”的逻辑符号可化为 。 7、P：你努力，Q：你失败。“除非你努力，否则你将失败”的翻译为； “虽然你努力了，但还是失败了”的翻译为。 8、令：x会叫，：x是狗，：x会咬人，则命题“会叫的狗未必会咬人” 的符号化为。 9、设P(x)：x是大象，Q(x)：x是老鼠，R(x,y)：x比y重，则命题“大象比老鼠重”的符号化为。 10、令A（x）:x是自然数，B（x,y）：x 小于y，则命题“存在最小的自然数” 的符号化为。 三、计算题 1、用真值表方法判断下列公式的类型，并求（3）的主析取范式与主合取范式 （1）（P(Q）(（(P∨Q）； （2）(（P(Q）Q； （3）（P(Q）∧(R； 解 （1）、（2）和（3）的真值表如表1、表2和表3所示： 表1 P Q P(Q (P∨Q （P(Q）(（P∨Q） 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 表2 P Q P(Q (（P(Q） (（P(Q）Q 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 表3 P Q R P(Q (R （P(Q）∧(R 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 由上述真值表可知，（1）为永真式，（2）为永假式，（3）为可满足式。 （3）的主析取范式为：；其主合取范式为。 2、给定解释I：D={2，3}，L（x,y）为L( 2 , 2 ) = L ( 3 , 3 ) = 1 , L ( 2 , 3 ) = L (3 , 2 )=0 ,求谓词合式公式的真值。 解： 。 3、个体域为{1，2}，求(x(y（x+y=4）的真值。 解：(x(y（x+y=4）((x（（x+1=4）∨（x+2=4）） (（（1+1=4）∨（1+2=4））∧（（2+1=4）∨（2+2=4）） (（0∨0）∧（0∨1）(0∧1(0。 四、证明题 1、证明下列逻辑恒等式： （1）ＰＱ (ＰＱ)(ＱＰ) 证明、用真值表法证明 P Q PQ （P