注意：此页面搜索的是所有试题
国家开放大学离散数学（本）
设A（x）：x是学生，B（x）：x去跑步，则命题“所有人都去跑步”可符号化为（ ）．
单选题 (5 分) 5分
A.
($x)(A(x)∧B(x))
B.
("x)(A(x) →B(x))
C.
($x)(A(x)∧┐B(x))
D.
("x)(A(x)∧B(x))
设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）．
单选题 (5 分) 5分
A.
┐("x)(A(x)→B(x))
B.
┐($x)(A(x)∧B(x))
C.
("x)(A(x)∧B(x))
D.
┐($x)(A(x)∧┐B(x))
("x)( P(x，y)∨Q(z))∧($y) (R(x, y) → ("z) Q(z))中量词“"”的辖域是( )．
单选题 (5 分) 5分
A.
P(x, y)
B.
P(x, y)∨Q(z)
C.
R(x, y)
D.
P(x, y)∧R(x, y)
设个体域D={a, b, c}，那么谓词公式($x)A(x)∨("y)B(y)消去量词后的等值式为( )．
单选题 (5 分) 5分
A.
(A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(c))
B.
(A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(c))
C.
(A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(c))
D.
(A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(c))
若无向图G的边数比结点数少1，则G是树．
判断题 (5 分) 5分
A.
正确
B.
错误
无向图G是树当且仅当无向图G是连通图．
判断题 (5 分) 5分
A.
正确
B.
错误
无向图G是棵树，结点度数之和是20，则G的边数是9
判断题 (5 分) 5分
A.
正确
B.
错误
设G是有8个结点的连通图，结点的度数之和为24，则可从G中删去5条边后使之变成树．
判断题 (5 分) 5分
A.
正确
B.
错误
设个体域D＝{1,2,3}，则谓词公式("x)A(x)消去量词后的等值式为A(1)∧A(2)∧A(3)．
判断题 (5 分) 5分
A.
正确
B.
错误
设个体域D＝{1, 2, 3, 4}，则谓词公式($x)A(x)消去量词后的等值式为A(1 ) ∨A(2) ∨ A(3) ∨ A(4)
判断题 (5 分) 5分
A.
正确
B.
错误
设个体域D＝{1, 2}，则谓词公式("x)P(x) ∨（$x）Q（x）消去量词后的等值式为(P (1)∧P (2)) ∨(Q（1）∨Q（2)).
判断题 (5 分) 5分
A.
正确
B.
错误
("x)(P(x)∧Q(y)→R(x))中量词 “"” 的辖域为(P(x)∧Q(y))．
判断题 (5 分) 5分
A.
正确
B.
错误
("x)(P(x)∧Q(y))→R(x)中量词 “"” 的辖域为(P(x)∧Q(y))．
判断题 (5 分) 5分
A.
正确
B.
错误
设A（x）：x是人，B（x）：x是学生，则命题“有的人是学生”可符号化为┐(Imagex)(A(x)∧┐B(x))
判断题 (5 分) 5分
A.
正确
B.
错误
单选题 (5 分) 5分
A.
($x)(A(x)∧B(x))
B.
("x)(A(x) →B(x))
C.
($x)(A(x)∧┐B(x))
D.
("x)(A(x)∧B(x))
设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）．
单选题 (5 分) 5分
A.
┐("x)(A(x)→B(x))
B.
┐($x)(A(x)∧B(x))
C.
("x)(A(x)∧B(x))
D.
┐($x)(A(x)∧┐B(x))
("x)( P(x，y)∨Q(z))∧($y) (R(x, y) → ("z) Q(z))中量词“"”的辖域是( )．
单选题 (5 分) 5分
A.
P(x, y)
B.
P(x, y)∨Q(z)
C.
R(x, y)
D.
P(x, y)∧R(x, y)
设个体域D={a, b, c}，那么谓词公式($x)A(x)∨("y)B(y)消去量词后的等值式为( )．
单选题 (5 分) 5分
A.
(A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(c))
B.
(A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(c))
C.
(A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(c))
D.
(A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(c))
若无向图G的边数比结点数少1，则G是树．
判断题 (5 分) 5分
A.
正确
B.
错误
无向图G是树当且仅当无向图G是连通图．
判断题 (5 分) 5分
A.
正确
B.
错误
无向图G是棵树，结点度数之和是20，则G的边数是9
判断题 (5 分) 5分
A.
正确
B.
错误
设G是有8个结点的连通图，结点的度数之和为24，则可从G中删去5条边后使之变成树．
判断题 (5 分) 5分
A.
正确
B.
错误
设个体域D＝{1,2,3}，则谓词公式("x)A(x)消去量词后的等值式为A(1)∧A(2)∧A(3)．
判断题 (5 分) 5分
A.
正确
B.
错误
设个体域D＝{1, 2, 3, 4}，则谓词公式($x)A(x)消去量词后的等值式为A(1 ) ∨A(2) ∨ A(3) ∨ A(4)
判断题 (5 分) 5分
A.
正确
B.
错误
设个体域D＝{1, 2}，则谓词公式("x)P(x) ∨（$x）Q（x）消去量词后的等值式为(P (1)∧P (2)) ∨(Q（1）∨Q（2)).
判断题 (5 分) 5分
A.
正确
B.
错误
("x)(P(x)∧Q(y)→R(x))中量词 “"” 的辖域为(P(x)∧Q(y))．
判断题 (5 分) 5分
A.
正确
B.
错误
("x)(P(x)∧Q(y))→R(x)中量词 “"” 的辖域为(P(x)∧Q(y))．
判断题 (5 分) 5分
A.
正确
B.
错误
设A（x）：x是人，B（x）：x是学生，则命题“有的人是学生”可符号化为┐(Imagex)(A(x)∧┐B(x))
判断题 (5 分) 5分
A.
正确
B.
错误