离散数学答案
离散数学答案 The following text is amended on 12 November 2020.
06任务_0001
试卷总分：100 测试时间：0
一、单项选择题（共10道试题，共100分。）
1.命题公式的析取范式是( )．
A.
B.
C.
D.
2.设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )．
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0
C. 对任一整数x存在整数y满足x+y=0
D.
存在一整数x对任意整数y满足x+y=0
3.下列公式成立的为( )．
A. PQ PQ
B. PQ PQ
C. QP P
D. P(PQ)Q
4.下列公式中 ( )为永真式．
A. AB AB
B. AB (AB)
C. AB AB
D. AB (AB)
5.设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号
化为( )．
A.
B.
C.
D.
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的主合取范式是()．
A. (PQ)
B. PQ
C. PQ
D. PQ
10.下列等价公式成立的为( )．
A. PP QQ
B. QPPQ
C. PQPQ
D. PP Q
06任务_0002
试卷总分：100 测试时间：0
一、单项选择题（共10道试题，共100分。）
1.命题公式(PQ)Q为( )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
2.设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )．
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0
C. 对任一整数x存在整数y满足x+y=0
D.
存在一整数x对任意整数y满足x+y=0
3.命题公式的析取范式是( )．
A.
B.
C.
D.
4.下列等价公式成立的为( )．
A. PP QQ
B. QPPQ
C. PQPQ
D. PP Q
5.设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是
( )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
6.在谓词公式(x)(A(x)→B(x)C(x，y))中，（）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
7.命题公式PQ的主合取范式是()．
A. (PQ)
B. PQ
C. PQ
D. 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. (x)(A(x)B(x))
9.设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号
化为( )．
A.
B.
C.
D.
10.命题公式(PQ)R的析取范式是 ( )
A. (PQ)R
B. (PQ)R
C. (PQ)R
D. (PQ)R
06任务_0003
试卷总分：100 测试时间：0
一、单项选择题（共10道试题，共100分。）
1.设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号
化为( )．
A.
B.
C.
D.
2.下列公式成立的为( )．
A. PQ PQ
B. PQ PQ
C. QP P
D. P(PQ)Q
3.下列公式 ( )为重言式．
A. PQPQ
B. (Q(PQ)) (Q(PQ))
C. (P(QP))(P(PQ))
D. (P(PQ)) Q
4.命题公式(PQ)R的析取范式是 ( )
A. (PQ)R
B. (PQ)R
C. (PQ)R
D. (PQ)R
5.命题公式PQ的主合取范式是()．
A. (PQ)
B. PQ
C. PQ
D. PQ
6.在谓词公式(x)(A(x)→B(x)C(x，y))中，（）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
7.下列公式中 ( )为永真式．
A. AB AB
B. AB (AB)
C. AB AB
D. AB (AB)
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. (x)(A(x)B(x))
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
试卷总分：100 测试时间：0
一、单项选择题（共10道试题，共100分。）
1.下列公式成立的为( )．
A. PQ PQ
B. PQ PQ
C. QP P
D. P(PQ)Q
2.命题公式(PQ)R的析取范式是 ( )
A. (PQ)R
B. (PQ)R
C. (PQ)R
D. (PQ)R
3.设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. (x)(A(x)B(x))
4.下列公式 ( )为重言式．
A. PQPQ
B. (Q(PQ)) (Q(PQ))
C. (P(QP))(P(PQ))
D. (P(PQ)) Q
5.表达式中的辖域是( )．
A. P(x, y)
B. P(x, y)Q(z)
C. R(x, y)
D. P(x, y)R(x, y)
6.命题公式（PQ）的合取范式是 ( )．
A. （PQ）
B. （PQ）（PQ）
C. （PQ）
D. （PQ）
7.下列等价公式成立的为( )．
A. PP QQ
B. QPPQ
C. PQPQ
D. PP Q
8.在谓词公式(x)(A(x)→B(x)C(x，y))中，（）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
9.命题公式(PQ)Q为( )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
10.设个体域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))
06任务_0005
试卷总分：100 测试时间：0
一、单项选择题（共10道试题，共100分。）
1.命题公式PQ的主合取范式是()．
A. (PQ)
B. PQ
C. PQ
D. PQ
2.设个体域D是整数集合，则命题"x$y (x×y = y)的真值是（）．
A. T
B. F
C. 不确定
D. 以上说法都不是
3.命题公式的析取范式是( )．
A.
B.
C.
D.
4.设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号
化为( )．
A.
B.
C.
D.
5.设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )．
A. 存在一整数x有整数y满足x+y=0