离散数学(本)形考任务作业3答案.doc(166 KB, : 76, : 4.00 元)2020-10-11 11:12 上传
点击文件名下载附件
题目顺序是随机的,请使用查找功能(Ctrl+F)进行搜索答案。
单项选择题
题目:设个体域D是整数集合,则命题的真值是( ).
选择一项:
A. 不确定
B. F
C. 以上说法都不是
D. T
题目:下列公式 ( )为重言式.
选择一项:
A. (Q→(P∨Q)) ↔(┐Q∧(P∨Q))
B. ┐P∧┐Q↔P∨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取真值为1的P,Q,R赋值分别是 ( ).
选择一项:
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(x,y))中的( )。
选择一项:
A. x,y都是约束变元
B. x是约束变元,y都是自由变元
C. x是自由变元,y都是约束变元
D. x,y都是自由变元
题目:命题公式 (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
题目:设A(x):x是书,B(x):x是数学书,则命题“不是所有书都是数学书”可符号化为( ).
选择一项:
A.
B.
C.
D.
题目:设A(x):x是人,B(x):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.( )
选择一项:
对
错
题目:含有三个命题变项P,Q,R的命题公式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(x,y))中的约束变元为x.( )
选择一项:
对
错 |