交大离散期末考卷lisan200704a.docVIP

上 海 交 通 大 学 试 卷（ A 卷） （ 20_06_ 至 20_07_ 学年 第_2__学期 ） 班级号_______________________ 学号______________ 姓名 课程名称 离散数学 成绩 选择题（20’，每题只有一个选项是正确的，请将答案写在题号前的括号里） ( )1. 下面的联结词集合_______不是完备集 A {?,?,?} B {?,?,?} C {?} D {?,?} ( )2.下面公式________不是重言式 A ?(p?q)?(?p?q) B (?p?(q?r))?(?(?q?r)?p) C ((p?r)?(q?r))?(p?q?r) D (p?(q?r))?((p?q)?(p?r)) ( )3．与命题公式一定等值的是_________ A B C D ( )4．下面说法不正确的是__________ A 与同永真 B 与同永真 C 与同永真，其中为简单命题 D 与可同时成立 ( )5．下面公式_________不是合取范式，其中P, Q均为简单命题 A B C D  题号 一 二 三 四 五 六 七 八 九 得分 批阅人(流水阅 卷教师签名处) 我承诺，我将严 格遵守考试纪律。 承诺人： ( )6．可满足公式的否定一定是__________ A 重言式 B 矛盾式 C 可满足式 D 以上情况都不对 ( )7．下面四组公式中__________组公式不等值 A ， B ， C ， D ， ( )8．命题公式的对偶式为__________ A B C D ( )9．公式是____________ A．普遍有效 B．非普遍有效但可满足 C．不可满足 D．无法判断 ( )10．下列公式_________在域{1，2}上为真 A．，P(x)表示x为奇数，Q(x)表示x为偶数 B．，P(x)表示x为质数，Q(x)表示x为合数 C．，P(x，y)表示x为y的倍数 D．，P(x，y)表示x比y大 班级号_______________________ 学号______________ 姓名 填空题（10’） 1．用P表示天下雨，Q表示我带伞，“只有下雨我才带伞”翻译成命题逻辑公式________________________ 2．用P表示天气好，Q表示我出去玩，“除非天气好，否则我是不会出去玩的”翻译成命题逻辑公式__________________________ 3．已知是联结词的完备集，仅用联结词表达为_______________________ 4．用表示是有理数，表示是实数，“存在不是有理数的实数”翻译成谓词逻辑公式______________________________ 5．设个体域为{a,b},并对P(x,y)设定为P(a,a)=T,P(a,b)=F,P(b,a)=F,P(b,b)=T，则公式 的真值为_______________________ 三．（10’）判断公式是普遍有效的，不可满足的 或者是可满足的? 请给出理由.  四．（10’）在论域{1，2}上给出一组解释使得与不等值。 五．（10’）写出公式的主析取范式、主合取范式。 班级号_______________________ 学号______________ 姓名 六．（10’）运用推理规则(可用假设推理、永真推理，不可用归结推理)证明 七．（10’）运用推理规则(可用假设推理、永真推理，不可用归结推理)证明 ( 八（10’）运用归结推理法证明: 九（10’）运用归结推理法证明: A 卷 总 6 页 第 页