离散数学3.docx
《离散数学3.docx》由会员分享，可在线阅读，更多相关《离散数学3.docx（43页珍藏版）》请在冰豆网上搜索。
离散数学3
设个体域D是整数集合，则命题的真值是（）．
选择一项：
A.不确定
B.F
C.T
D.以上说法都不是反馈你的回答正确
正确答案是：
T
题目2
正确
获得5.00分中的5.00分
标记题目
题干
命题公式的主析取范式是（）．
选择一项：
A.
B.
C.
D.
反馈你的回答正确
正确答案是：
题目3
正确
获得5.00分中的5.00分
标记题目
题干
命题公式为（）
选择一项：
A.矛盾式
B.合取范式
C.可满足式
D.重言式
反馈
你的回答正确
正确答案是：
可满足式
题目4
不正确
获得5.00分中的0.00分
标记题目
题干
设A（x）：
x是人，B（x）：
x是教师，则命题“有人是教师”可符号化为（）．
选择一项：
A.
B.
C.
D.
反馈你的回答不正确正确答案是：
题目5不正确
获得5.00分中的0.00分
标记题目题干
表达式中的辖域是（）．
选择一项：
A.
B.
C.
D.
反馈你的回答不正确
正确答案是：
题目6
正确
获得5.00分中的5.00分
标记题目
题干下列公式成立的为（）．
选择一项：
A.┐P∧┐QP∨Q
B.┐P∧（P∨Q）Q
C.P→┐Q┐P→Q
D.
反馈
你的回答正确
正确答案是：
┐P∧（P∨Q）Q
题目7
正确
获得5.00分中的5.00分
标记题目
题干
谓词公式（x）（A（x）→B（x）∨C（x，y））中的（）。
选择一项：
A.x，y都是约束变元
B.x是约束变元，y都是自由变元
C.x是自由变元，y都是约束变元
D.x，y都是自由变元
反馈
你的回答正确
正确答案是：
x是约束变元，y都是自由变元
题目8
正确
获得5.00分中的5.00分
标记题目
题干
设命题公式G：
，则使公式G取真值为1的P，Q，R赋值分别是（）．
选择一项：
A.0,1,0
B.0,0,1
C.1,0,0
D.0,0,0
反馈你的回答正确
正确答案是：
1,0,0
题目9
正确
获得5.00分中的5.00分
标记题目题干命题公式（P∨Q）的合取范式是（）
选择一项：
A.（P∧Q）
B.┐（┐P∧┐Q）
C.（P∨Q）
D.（P∧Q）∨（P∨Q）反馈你的回答正确
正确答案是：
（P∨Q）
题目10
正确
获得5.00分中的5.00分
标记题目题干下列等价公式成立的为（）．
选择一项：
A.┐Q→PP→Q
B.P∧QP∨Q
C.┐P∧P┐Q∧Q
D.┐P∨PQ
反馈
你的回答正确
正确答案是：
┐P∧P┐Q∧Q
标记题目
信息文本
判断题
题目11
不正确
获得5.00分中的0.00分
标记题目
题干
谓词命题公式（?
x）（（A（x）∧B（x））∨C（y））中的自由变元为x．（）
选择一项：
对
错反馈正确的答案是“错”。
题目12
正确
获得5.00分中的5.00分
标记题目
题干
谓词公式┐（?
x）P（x）（?
x）┐P（x）成立．（）
选择一项：
对
错反馈正确的答案是“对”。
题目13
正确
获得5.00分中的5.00分
标记题目
题干
含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式（P∧Q∧R）∨（P∧Q∧┐R）．（）
选择一项：
对
错
反馈
正确的答案是“对”。
题目14
不正确
获得5.00分中的0.00分
标记题目
题干
下面的推理是否正确．（）
（1）（?
x）A（x）→B（x）前提引入
（2）A（y）→B（y）US
（1）
选择一项：
对
错
反馈
正确的答案是“错”。
题目15
不正确
获得5.00分中的0.00分
标记题目
题干
命题公式┐P∧P的真值是T．（）
选择一项：
对
错
反馈
正确的答案是“错”。
题目16
不正确
获得5.00分中的0.00分
标记题目
题干
设P：
我们下午2点去礼堂看电影，Q：
我们下午2点去教室看书．那么命题“我们下午2点或
者去礼堂看电影或者去教室看书”符号化的结果为P∨Q．（）
选择一项：
对错反馈正确的答案是“错”。
题目17
正确
获得5.00分中的5.00分
标记题目
题干
设P：
昨天下雨，Q：
今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为
P∧Q．（）
选择一项：
对错反馈正确的答案是“对”。
题目18
不正确
获得5.00分中的0.00分
标记题目
题干
命题公式┐（P→Q）的主析取范式是P∨┐Q．（）
选择一项：
对
错
反馈正确的答案是“错”。
题目19
正确
获得5.00分中的5.00分
标记题目
题干
命题公式┐P∧（P∨Q）Q成立．（）
选择一项：
对
错反馈正确的答案是“对”。
题目20
正确
获得5.00分中的5.00分
标记题目
题干
谓词命题公式（?
x）（P（x）→Q（x）∨R（x，y））中的约束变元为x．（）
选择一项：
对
错反馈正确的答案是“对”。
谓词公式（x）（A（x）→B（x）∨C（x，y））中的（）。
选择一项：
A.x是自由变元，y都是约束变元
B.x，y都是自由变元
C.x是约束变元，y都是自由变元
D.x，y都是约束变元
反馈你的回答正确
正确答案是：
x是约束变元，y都是自由变元
题目2
不正确
获得5.00分中的0.00分
标记题目
题干
下列公式（）为重言式．
选择一项：
A.（Q→（P∨Q））?
（┐Q∧（P∨Q））
B.Q→（P∨（P∧Q））?
Q→P
C.┐P∧┐Q?
P∨Q
D.（┐P∨（P∧Q））?
Q
反馈
你的回答不正确
正确答案是：
Q→（P∨（P∧Q））?
Q→P
题目3
正确
获得5.00分中的5.00分
标记题目
题干
表达式中的辖域是（）．
选择一项：
A.
B.
C.
D.
反馈
你的回答正确
正确答案是：
题目4
不正确
获得5.00分中的0.00分
标记题目
题干
下列等价公式成立的为（）．
选择一项：
A.┐P∨（P∧Q）Q
B.Q→（P∨Q）┐Q∧（P∨Q）
C.┐P∧┐QP∨Q
D.P→（┐Q→P）┐P→（P→Q）
反馈
你的回答不正确
正确答案是：
P→（┐Q→P）┐P→（P→Q）
题目5
正确
获得5.00分中的5.00分
标记题目
题干
设A（x）：
x是人，B（x）：
x是教师，则命题“有人是教师”可符号化为（）．
选择一项：
A.
B.
C.
D.反馈你的回答正确
正确答案是：
题目6
正确
获得5.00分中的5.00分
标记题目题干
的真值是（）．
设个体域D是整数集合，则命题选择一项：
A.以上说法都不是
B.T
C.F
D.不确定
反馈你的回答正确
正确答案是：
T
题目7
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D={a,b,c}，那么谓词公式消去量词后的等值式为
（）．
选择一项：
A.
B.
C.
D.
反馈
你的回答正确
正确答案是：
题目8
正确
获得5.00分中的5.00分
标记题目
题干
设A（x）：
x是书，B（x）：
x是数学书，则命题“不是所有书都是数学书”可符号化为（）．
选择一项：
A.
B.
C.
D.
反馈你的回答正确
正确答案是：
题目9
正确
获得5.00分中的5.00分
标记题目
题干
命题公式（P∨Q）的合取范式是（）．
选择一项：
A.（P∨Q）
B.（P∧Q）∨（P∨Q）
C.┐（┐P∧┐Q）
D.（P∧Q）
反馈
你的回答正确
正确答案是：
（P∨Q）
题目10
正确
获得5.00分中的5.00分
标记题目
题干
设P：
我将去打球，Q：
我有时间．命题“我将去打球，仅当我有时间时”符号化为（）．
选择一项：
信息文本
判断题
题目11
正确
获得5.00分中的5.00分
标记题目
题干
设P：
昨天下雨，Q：
今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为
P∧Q．（）
选择一项：
对错反馈正确的答案是“对”。
题目12
不正确
获得5.00分中的0.00分
标记题目
题干
设个体域D＝{a,b},那么谓词公式（?
x）A（x）∨（?
y）B（y）消去量词后的等值式为
A（a）∨B（b）．（）
选择一项：
对错反馈正确的答案是“错”。
题目13
不正确
获得5.00分中的0.00分
标记题目
题干
设个体域D＝｛a,b｝，则谓词公式（?
x）（A（x）∧B（x））消去量词后的等值式为
（A（a）∧B（a））∧（A（b）∧B（b））．（）
选择一项：
对错反馈正确的答案是“对”。
题目14
正确
获得5.00分中的5.00分
标记题目
题干
谓词公式┐（?
x）P（x）（?
x）┐P（x）成立．（）
选择一项：
对错反馈正确的答案是“对”。
题目15
不正确
获得5.00分中的0.00分
标记题目
题干
命题公式┐P∧（P∨Q）Q成立．（）
选择一项：
对错反馈正确的答案是“对”。
题目16
正确
获得5.00分中的5.00分
标记题目
题干
设P（x）：
x是人，Q（x）：
x去上课，那么命题“有人去上课．”为（?
x）（P（x）→Q（x））．（）
选择一项：
对错反馈正确的答案是“错”。
题目17
正确
获得5.00分中的5.00分
标记题目
题干
设P：
我们下午2点去礼堂看电影，Q：
我们下午2点去教室看书．那么命题“我们下午2点或
者去礼堂看电影或者去教室看书”符号化的结果为P∨Q．（）
选择一项：
对错反馈正确的答案是“错”。
题目18
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D＝{1,2,3}，A（x）为“x小于3”，则谓词公式（?
x）A（x）的真值为T．（）
选择一项：
对
错反馈正确的答案是“对”。
题目19
前提引入
US
（1）
）
）。
正确
获得5.00分中的5.00分
标记题目
题干
下面的推理是否正确．（）
（1）（?
x）A（x）→B（x）
（2）A（y）→B（y）
选择一项：
对
错
反馈
正确的答案是“错”。
题目20
正确
获得5.00分中的5.00分
标记题目
题干
命题公式┐P∧（P→┐Q）∨P为永真式．（
选择一项：
对
错
反馈
正确的答案是“对”。
谓词公式（x）（A（x）→B（x）∨C（x，y））中的
选择一项：
A.x，y都是自由变元
B.x是自由变元，y都是约束变元
C.x，y都是约束变元
D.x是约束变元，y都是自由变元
反馈
你的回答正确
正确答案是：
x是约束变元，y都是自由变元
题目2
正确
获得5.00分中的5.00分
标记题目
题干
下列等价公式成立的为（）．选择一项：
反馈
你的回答正确
正确答案是：
┐P∧P┐Q∧Q
题目3
正确
获得5.00分中的5.00分
标记题目
题干下列等价公式成立的为（）．
选择一项：
D.P→（┐Q→P）┐P→（P→Q）
反馈
你的回答正确
正确答案是：
P→（┐Q→P）┐P→（P→Q）
题目4
正确
获得5.00分中的5.00分
标记题目
题干
设A（x）：
x是人，B（x）：
x是教师，则命题“有人是教师”可符号化为（选择一项：
）．
A.
B.
C.
D.
反馈
你的回答正确
正确答案是：
题目5
正确
获得5.00分中的5.00分
标记题目题干命题公式（P∨Q）→R的析取范式是（）．
选择一项：
A.（P∧Q）∨R
B.（┐P∧┐Q）∨R
C.┐（P∨Q）∨R
D.（P∨Q）∨R
反馈
你的回答正确
正确答案是：
（┐P∧┐Q）∨R
题目6
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D={a,b,c}，那么谓词公式消去量词后的等值式为（）．
选择一项：
A.
B.
C.
D.
反馈你的回答正确
正确答案是：
题目7
不正确
获得5.00分中的0.00分
标记题目题干
下列公式中（）为永真式．
选择一项：
A.┐A∧┐B?
┐A∨┐B
B.┐A∧┐B?
┐（A∧B）
C.┐A∧┐B?
A∨B
D.┐A∧┐B?
┐（A∨B）
反馈你的回答不正确
正确答案是：
┐A∧┐B?
┐（A∨B）
题目8
不正确
获得5.00分中的0.00分
标记题目
题干
前提条件的有效结论是（）．
选择一项：
A.┐P
B.Q
C.┐Q
D.P
反馈
你的回答不正确
正确答案是：
┐Q
题目9
不正确
获得5.00分中的0.00分
标记题目
题干
设个体域为整数集，则公式的解释可为（）．
选择一项：
A.对任一整数x存在整数y满足x+y=0
B.任一整数x对任意整数y满足x+y=0
C.存在一整数x对任意整数y满足x+y=0
D.存在一整数x有整数y满足x+y=0
反馈
你的回答不正确
正确答案是：
对任一整数x存在整数y满足x+y=0
题目10
正确
获得5.00分中的5.00分
标记题目
题干
命题公式（P∨Q）的合取范式是（）．
选择一项：
A.（P∧Q）∨（P∨Q）
B.（P∧Q）
C.┐（┐P∧┐Q）
D.（P∨Q）
反馈你的回答正确
正确答案是：
（P∨Q）
标记题目信息文本判断题
题目11
正确
获得5.00分中的5.00分
标记题目
题干
含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式（P∧Q∧R）∨（P∧Q∧┐R）．（）
选择一项：
对
错
反馈
正确的答案是“对”。
题目12
正确
获得5.00分中的5.00分
标记题目
题干
命题公式┐P∧（P∨Q）Q成立．（）
选择一项：
对
错
反馈
正确的答案是“对”。
题目13
不正确
获得5.00分中的0.00分
标记题目
题干
设个体域D＝{1,2,3,4}，A（x）为“x大于5”，则谓词公式（?
x）A（x）的真值为T．（）
选择一项：
对
错
反馈
正确的答案是“错”。
题目14
不正确
获得5.00分中的0.00分
标记题目
题干
设P：
他生病了，Q：
他出差了，R：
我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为（P∨Q）→┐R．（）
选择一项：
对
错
反馈
正确的答案是“错”。
题目15
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D＝{a,b},那么谓词公式（?
x）A（x）∨（?
y）B（y）消去量词后的等值式为
A（a）∨B（b）．（）
选择一项：
对
错
反馈
正确的答案是“错”。
题目16
正确
获得5.00分中的5.00分
标记题目
题干
设P：
小王来学校，Q：
他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．（）
选择一项：
对
错反馈正确的答案是“对”。
题目17
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D＝｛a,b｝，则谓词公式（?
x）（A（x）∧B（x））消去量词后的等值式为
（A（a）∧B（a））∧（A（b）∧B（b））．（）
选择一项：
对错反馈正确的答案是“对”。
题目18
正确
获得5.00分中的5.00分
标记题目
题干
下面的推理是否正确．（）
（1）（?
x）A（x）→B（x）前提引入
（2）A（y）→B（y）US
（1）
选择一项：
对错反馈正确的答案是“错”。
题目19
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D＝{1,2,3}，A（x）为“x小于3”，则谓词公式（?
x）A（x）的真值为T．（）
选择一项：
对
错
反馈
正确的答案是“对”。
题目20
正确
获得5.00分中的5.00分
标记题目
题干
谓词公式┐（?
x）P（x）（?
x）┐P（x）成立．（）
选择一项：
对
错
反馈
正确的答案是“对”。
表达式中的辖域是（）．
选择一项：
题目2
正确
获得5.00分中的5.00分
标记题目
题干
设A（x）：
x是人，B（x）：
x是教师，则命题“有人是教师”可符号化为（）．
选择一项：
A.
B.
C.
D.反馈你的回答正确
正确答案是：
题目3
正确
获得5.00分中的5.00分
标记题目
题干
设A（x）：
x是书，B（x）：
x是数学书，则命题“不是所有书都是数学书”可符号化为（）．
选择一项：
A.
B.
C.
D.
反馈你的回答正确
正确答案是：
题目4
不正确
获得5.00分中的0.00分
标记题目题干谓词公式（x）（A（x）→B（x）∨C（x，y））中的（）。
选择一项：
A.x是自由变元，y都是约束变元
B.x是约束变元，y都是自由变元
C.x，y都是自由变元
D.x，y都是约束变元反馈你的回答不正确
正确答案是：
x是约束变元，y都是自由变元
题目5
不正确
获得5.00分中的0.00分
标记题目
题干
命题公式的主合取范式是（）．
选择一项：
A.
B.
C.
D.
反馈你的回答不正确
正确答案是：
题目6
正确
获得5.00分中的5.00分
标记题目
题干
命题公式（P∨Q）→R的析取范式是（）．
选择一项：
A.（┐P∧┐Q）∨R
B.（P∨Q）∨R
C.（P∧Q）∨R
D.┐（P∨Q）∨R
反馈你的回答正确
正确答案是：
（┐P∧┐Q）∨R
题目7
不正确
获得5.00分中的0.00分
标记题目
题干
下列等价公式成立的为（）．
选择一项：
A.P∧QP∨Q
B.┐P∧P┐Q∧Q
C.┐P∨PQ
D.┐Q→PP→Q
反馈你的回答不正确
正确答案是：
┐P∧P┐Q∧Q
题目8
正确
获得5.00分中的5.00分
标记题目题干命题公式为（）
选择一项：
A.重言式
B.矛盾式
C.合取范式
D.可满足式
反馈你的回答正确正确答案是：
可满足式
题目9
不正确
获得5.00分中的0.00分
标记题目题干
前提条件的有效结论是（）．
选择一项：
A.┐Q
B.┐P
C.Q
D.P
反馈你的回答不正确
正确答案是：
┐Q
题目10
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D是整数集合，则命题的真值是（）．
选择一项：
A.不确定
B.F
C.T
D.以上说法都不是
反馈
你的回答正确
正确答案是：
T
标记题目信息文本判断题
题目11
正确
获得5.00分中的5.00分
标记题目
题干
含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式
选择一项：
对错反馈正确的答案是“对”。
题目12
正确
获得5.00分中的5.00分
标记题目
题干
谓词公式┐（?
x）P（x）（?
x）┐P（x）成立．（）
选择一项：
对错反馈正确的答案是“对”。
题目13
正确
获得5.00分中的5.00分
标记题目题干设P（x）：
x是人，Q（x）：
x去上课，那么命题“有人去上课．
选择一项：
对错反馈正确的答案是“错”。
题目14
正确
获得5.00分中的5.00分
（P∧Q∧R）∨（P∧Q∧┐R）．（）
”为（?
x）（P（x）→Q（x））．（）
标记题目
题干
设个体域D＝{1,2,3,4}，A（x）为“x大于5”，则谓词公式（?
x）A（x）的真值为T．（）
选择一项：
对错反馈正确的答案是“错”。
题目15
正确
获得5.00分中的5.00分
标记题目
题干
设个体域D＝{1,2,3}，A（x）为“x小于3”，则谓词公式（?
x）A（x）的真值为T．（）
选择一项：
对错反馈正确的答案是“对”。
题目16
正确
获得5.00分中的5.00分
标记题目题干
命题公式┐P∧（P∨Q）Q成立．（）
选择一项：
对错反馈正确的答案是“对”。
题目17
正确
获得5.00分中的5.00分
标记题目
题干
命题公式┐（P→Q）的主析取范式是P∨┐Q．（）
选择一项：
对
错
反馈
正确的答案是“错”。
题目18
正确
获得5.00分中的5.00分
标记题目
题干
下面的推理是否正确．（）
（1）（?
x）A（x）→B（x）前提引入
（2）A（y）→B（
升级会员 