请选择 进入手机版 | 继续访问电脑版
查看: 6819|回复: 0

国开网离散数学(本)形考任务3答案

[复制链接]

7829

主题

7836

帖子

19万

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
199121
发表于 2020-10-11 10:56:57 | 显示全部楼层 |阅读模式
离散数学(本)形考任务3答案.doc (166 KB, 下载次数: 76, 售价: 4.00 元)

题目顺序是随机的,请使用查找功能(Ctrl+F)进行搜索答案。
单项选择题
题目:设个体域D是整数集合,则命题的真值是(   ).
选择一项:
A. 不确定
B. F
C. 以上说法都不是
D. T
题目:下列公式 (    )为重言式.
选择一项:
A. (Q→(P∨Q)) (┐Q∧(P∨Q))
B. ┐P∧┐QP∨Q
C. (┐P∨(P∧Q)) Q
D. Q→(P∨(P∧Q))Q →P
题目:下列等价公式成立的为(    )
选择一项:
A. ┐P∨PQ
B. ┐P∧P┐Q∧Q
C. P∧QP∨Q
D. ┐Q→PP→Q
题目:设个体域D={a, b, c},那么谓词公式消去量词后的等值式为(    )
选择一项:
A.
B.
C.
D.
题目:命题公式的主合取范式是(    )
选择一项:
A.
B.
C.
D.
题目:设个体域为整数集,则公式的解释可为(    )
选择一项:
A. 任一整数x对任意整数y满足x+y=0
B. 对任一整数x存在整数y满足x+y=0
C. 存在一整数x对任意整数y满足x+y=0
D. 存在一整数x有整数y满足x+y=0
题目:表达式中的辖域是(    )
选择一项:
A.
B.
C.
D.
题目:下列公式中 (    )为永真式.
选择一项:
A. ┐A∧┐B ┐(A∨B)
B. ┐A∧┐B A∨B  
C. ┐A∧┐B ┐(A∧B)
D. ┐A∧┐B ┐A∨┐B
题目:命题公式为(      )
选择一项:
A. 矛盾式
B. 重言式
C. 合取范式
D. 可满足式
题目:下列公式成立的为(    )
选择一项:
A. P→┐Q┐P→Q
B. ┐P∧(P∨Q)Q
C. ┐P∧┐QP∨Q
D.
题目:命题公式的主析取范式是(    )
选择一项:
A.
B.
C.
D.
题目:设命题公式G:,则使公式G取真值为1PQR赋值分别是 (   )
选择一项:
A. 0, 0, 1
B. 0, 0, 0
C. 1, 0, 0
D. 0, 1, 0
题目:设P:我将去打球,Q:我有时间.命题我将去打球,仅当我有时间时符号化为(    )
选择一项:
A.
B.
C.
D.
题目:谓词公式(x)(A(x)→B(x)∨C(xy))中的( )。
选择一项:
A. xy都是约束变元
B. x是约束变元,y都是自由变元
C. x是自由变元,y都是约束变元
D. xy都是自由变元
题目:命题公式 (P∨Q) 的合取范式是 (    )
选择一项:
A. (P∧Q)∨(P∨Q)
B. ┐(┐P∧┐Q)
C. (P∧Q)
D. (P∨Q)
题目:前提条件的有效结论是(    )
选择一项:
A. ┐P
B. ┐Q
C. P
D. Q
题目:命题公式 (P∨Q)→R的析取范式是 (    )
选择一项:
A. (P∧Q)∨R
B. (┐P∧┐Q)∨R
C. ┐(P∨Q)∨R
D. (P∨Q)∨R
题目:设Ax):x是书,Bx):x是数学书,则命题不是所有书都是数学书可符号化为(    ).
选择一项:
A.
B.
C.
D.
题目:设Ax):x是人,Bx):x是教师,则命题有人是教师可符号化为(    ).
选择一项:
A.
B.
C.
D.

判断题
题目:下面的推理是否正确.(    )
(1) (x)A(x)→B(x)                     前提引入

(2) A(y)→B(y)                           US (1)
选择一项:
题目:设个体域D{1, 2, 3}A(x)“x小于3”,则谓词公式(x)A(x) 的真值为T(   )
选择一项:
题目:命题公式┐P∧P的真值是T(    )
选择一项:
题目:设P:小王来学校, Q:他会参加比赛.那么命题如果小王来学校,则他会参加比赛符号化的结果为P→Q(   )
选择一项:
题目:设P:我们下午2点去礼堂看电影,Q:我们下午2点去教室看书.那么命题我们下午2点或者去礼堂看电影或者去教室看书符号化的结果为P∨Q(   )
选择一项:
题目:谓词公式┐(x)P(x)(x)┐P(x)成立.(    )
选择一项:
题目:设P:他生病了,Q:他出差了,R:我同意他不参加学习.那么命题如果他生病或出差了,我就同意他不参加学习符号化的结果为(P∨Q)→┐R(    )
选择一项:
题目:设P:昨天下雨,Q:今天下雨.那么命题昨天下雨,今天仍然下雨符号化的结果为P∧Q(    )
选择一项:
题目:设P(x)x是人,Q(x)x去上课,那么命题有人去上课.(x)(P(x)→Q(x))(    )
选择一项:
题目:命题公式┐P∧(P∨Q)Q成立. (    )
选择一项:
题目:设个体域D{a, b},则谓词公式(x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))(    )
选择一项:
题目:命题公式P→(Q∨P)的真值是T(   )
选择一项:
题目:命题公式┐P∧(P→┐Q)∨P为永真式.(    )
选择一项:
题目:谓词命题公式(x)((A(x)∧B(x))∨C(y))中的自由变元为x(   )
选择一项:
题目:含有三个命题变项PQR的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)(    )
选择一项:
题目:设个体域D{1,2, 3, 4}A(x)“x大于5”,则谓词公式(x)A(x)的真值为T(   )  
选择一项:
题目:设P(x)x是人,Q(x)x去上课,那么命题有人去上课.(x)(P(x)→Q(x))(    )
选择一项:
题目:命题公式┐(P→Q)的主析取范式是P∨┐Q(   )
选择一项:
题目:设个体域D{a, b},那么谓词公式(x)A(x)∨(y)B(y)消去量词后的等值式为A(a)∨B(b)(    )
选择一项:
题目:设P(x)x是人,Q(x)x学习努力,那么命题所有的人都学习努力.(x)(P(x)∧Q(x))(    )
选择一项:
题目:谓词命题公式(x)(P(x)→Q(x)∨R(xy))中的约束变元为x(    )
选择一项:



回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

 
 
代做客服
更新报错
下载问题
充值问题
交流合作
作业代做一群:
河南电大教学考代做
作业代做二群:
电大题库吧代做二群
工作时间:
0:00-24:00
官方微信扫一扫
快速回复 返回顶部 返回列表