离散数学形成性考核作业(四)..docVIP

离散数学形成性考核作业本课程形成性考核作业共4次，内容由中央电大确定统一布置。认真及时地完成形考作业，字迹工整，抄写题目，解答题有解答过程。 第6章 命题逻辑 1．判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题． （1）8能被4整除． （2）今天温度高吗？ （3）今天天气真好呀！ （4）6是整数当且仅当四边形有4条边． （5）地球是行星． （6）小王是学生，但小李是工人． （7）除非下雨，否则他不会去． （8）如果他不来，那么会议就不能准时开始． 2．翻译成命题公式 （1）他不会做此事． （2）他去旅游，仅当他有时间． （3）小王或小李都会解这个题． （4）如果你来，他就不回去． （5）没有人去看展览． （6）他们都是学生． （7）他没有去看电影，而是去观看了体育比赛． （8）如果下雨，那么他就会带伞． ．设P，Q的真值为1；R，S的真值为0，求命题公式(PQ)∧R∨S∧Q的真值． ．试证明如下逻辑公式 （1） ┐（A┐B）（┐BC）┐C ? ┐（AC） （） (P→Q)(Q→R)∧┐R ??P 5．试求下列命题公式的主析取范式，主合取范式． （） （P(Q∧R)）→(PQ) （） ┐(P→Q)Q 6．利用求公式的范式的方法，判断下列公式是否永真或永假． （2）（PQ）→R ．试证明CD，( CD)→┐H，┐H→(A┐B)，(A┐B)→(R∨S)}蕴含RS． ．设P：昨天天晴，Q：前天下雨，则命题“昨天天晴，但前天下雨”可符号化为（ ）． A．PQ B．P →Q C．PQ D．Q → P ．可以确定下述推理的步骤（ ）是正确的． A．（1） ┐PQ P （2） P T（1）I B．（1） P →Q P （2） Q T（1）I C．（1） PQ P （2） P T（1）I D．（1） PQ P （2） P T（1）I １．将下列命题翻译成谓词公式 (1) 有人能做这件事，但不是所有人都能做。 (2) 每个人都不会来。 (3) 没有人能做这件事。 (4) 所有的整数都是实数。 (5) 有些人能去，但不是所有人都能去。 (6) 如果每人都这样做，那么就没有什么事做不了。 (7) 没有什么非做不可的事。 (8) 不是每个人都愿意做这件事。 (9) 所有人都需要不断地努力学习，争取进步。 (10) 如果x大于y，那么x+4大于y+1。 ．设谓词A(x)：x是偶数，B(x)：x是奇数，x的取值为1至10之间的正整数，试求出下列谓词公式的值． （）（?x）A（x）（?x）B（x）． （）?（?x）（A（x）?B（x））． ．试证明下列公式 （1）（? x） A（x）?（?x）A（x）． （）（?x）（P（x）R（x））? （?x）P（x）（?x）R（x）． （）?（?x）A（x）B?（?x）（A（x）→B）． ．试证明（?x）（?P（x）→R（x））,（?x）?R（x）可逻辑推出（?x）P（x）． ．设A（x）：x是人，B（x）：x犯错误，则命题“没有不犯错误的人”可符号化为（ ）． A．(?x)(A(x)B(x)) B．┐(x)(A(x) → ┐B(x)) C．┐(?x)(A(x)B(x)) D．┐(x)(A(x）┐B(x）） ．?x）P（x） P （2） P（a） US（1） （3） （?x）P（x） ES（2） B．?x）P（x） P （2） P（a） ES（1） （3） （?x）P（x） US（2） C．P（a） P （2） （?x）P（x） US（1） D．P（a） P （2） （?a）P（a） US（1）  1