离散数学答案Word格式文档下载.docx
《离散数学答案Word格式文档下载.docx》由会员分享,可在线阅读,更多相关《离散数学答案Word格式文档下载.docx(17页珍藏版)》请在冰豆网上搜索。
2.设个体域为整数集,则公式"
x$y(x+y=0)的解释可为().
A.存在一整数x有整数y满足x+y=0
B.任一整数x对任意整数y满足x+y=0
C.对任一整数x存在整数y满足x+y=0
存在一整数x对任意整数y满足x+y=0
3.下列公式成立的为().
A.PQPQ
B.PQPQ
C.QPP
D.P(PQ)Q
4.下列公式中()为永真式.
A.ABAB
B.AB(AB)
C.ABAB
D.AB(AB)
5.设P:
我将去打球,Q:
我有时间.命题“我将去打球,仅当我有时间时”符号化为().
6.命题公式(PQ)R的析取范式是()
A.(PQ)R
B.(PQ)R
C.(PQ)R
D.(PQ)R
7.命题公式(PQ)的合取范式是().
A.(PQ)
B.(PQ)(PQ)
C.(PQ)
D.(PQ)
8.设命题公式G:
,则使公式G取真值为1的P,Q,R赋值分别是().
A.0,0,0
B.0,0,1
C.0,1,0
D.1,0,0
9.命题公式PQ的主合取范式是().
B.PQ
C.PQ
D.PQ
10.下列等价公式成立的为().
A.PPQQ
B.QPPQ
C.PQPQ
D.PPQ
06任务_0002
1.命题公式(PQ)Q为()
A.矛盾式
B.可满足式
C.重言式
D.合取范式
3.命题公式
4.下列等价公式成立的为().
5.设命题公式G:
6.在谓词公式(x)(A(x)→B(x)C(x,y))中,().
A.x,y都是约束变元
B.x,y都是自由变元
C.x是约束变元,y都是自由变元
D.x是自由变元,y都是约束变元
7.命题公式PQ的主合取范式是().
8.设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.(
9.设P:
10.命题公式(PQ)R的析取范式是()
06任务_0003
1.设P:
2.下列公式成立的为().
3.下列公式()为重言式.
A.PQPQ
B.(Q(PQ))(Q(PQ))
C.(P(QP))(P(PQ))
D.(P(PQ))Q
4.命题公式(PQ)R的析取范式是()
5.命题公式PQ的主合取范式是().
7.下列公式中()为永真式.
x是书,B(x):
x是数学书,则命题“不是所有书都是数学书”可符号化为().
A.┐(x)(A(x)→B(x))
B.(
9.设个体域D={a,b,c},那么谓词公式
消去量词后的等值式为.
A.(A(a)A(b)A(c))(B(a)B(b)B(b))
B.(A(a)A(b)A(c))(B(a)B(b)B(b))
C.(A(a)A(b)A(c))(B(a)B(b)B(b))
D.(A(a)A(b)A(c))(B(a)B(b)B(b))
10.前提条件
的有效结论是().
A.P
B.P
C.Q
D.Q
06任务_0004
1.下列公式成立的为().
2.命题公式(PQ)R的析取范式是()
3.设A(x):
4.下列公式()为重言式.
5.表达式
中
的辖域是().
A.P(x,y)
B.P(x,y)Q(z)
C.R(x,y)
D.P(x,y)R(x,y)
6.命题公式(PQ)的合取范式是().
7.下列等价公式成立的为().
8.在谓词公式(x)(A(x)→B(x)C(x,y))中,().
9.命题公式(PQ)Q为()
10.设个体域D={a,b,c},那么谓词公式
06任务_0005
1.命题公式PQ的主合取范式是().
2.设个体域D是整数集合,则命题"
x$y(x×
y=y)的真值是().
A.T
B.F
C.不确定
D.以上说法都不是
4.设P:
5.设个体域为整数集,则公式"
7.下列公式成立的为().
8.设个体域D={a,b,c},那么谓词公式
9.下列公式中()为永真式.