离散数学（上）
学校: 无
问题 1: 1. 设 R={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}，则关系R的逆关系
选项:
•
A. {<0,2>, <0,3>, <1,3>};
•
B. {<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>};
•
C. {<0,1>, <0,2>, <0,3>, <1,2>, <1,3>};
•
D. {2,3}.
答案: {<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>};
问题 2: 2. 下面关于集合的笛卡尔叉积，正确的是：
选项:
•
A. 若 A×B
•
A×C, 则一定有 B
•
C 成立；
•
B. (A∩B)×(C∩D)=(A×C)∩(B×D)；
•
C. (A∪B)×(C∪D)=(A×C)∪(B×D)；
•
D. (A-B)×(C-D)=(A×C) - (B×D)。
答案: (A∩B)×(C∩D)=(A×C)∩(B×D)；
问题 3: 3. 下面哪个是集合 A={2, 3, 4}上的全域关系：
选项:
•
A. {<2,2>,<3,3>,<4,4>};
•
B. {<2,2>,<2,3>,<2,4>,<3,2>,<3,3>,<3,4>,<4,2>,<4,3>,<4,4>};
•
C. {<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>}
•
D. {<2,2>,<2,4>,<3,3>,<4,4>}.
答案: {<2,2>,<2,3>,<2,4>,<3,2>,<3,3>,<3,4>,<4,2>,<4,3>,<4,4>};
问题 4: 4. 设 A = {<1, 2>, <2, 4>, <3, 3>}，B = {<1, 3>, <2, 4>, <4, 2>}，则交关系A∩B等于：
选项:
•
A. {<1,2>, <1,3>, <2,4>, <3,3>, <4,2>};
•
B. {<2,4>};
•
C. {<1,2>, <1,3>, <3,3>, <4,2>};
•
D. {<1,2>, <3,3>}.
答案: {<2,4>};
问题 5: 5. 设函数f: R+
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 是双射;
问题 6: 6. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R2={
选项:
•
A. {1,2,3,4}；
•
B. {2,3,4}；
•
C. { -1,0}；
•
D. { -2, -1}。
答案: { -2, -1}。
问题 7: 7. 设 f: A
选项:
•
A. f : A
•
B 是单射的；
•
B. g: B
•
C 是满射的；
•
C. f : A
•
B 是满射的；
•
D. 都有可能。
答案: 请关注ybaotk.com搜题查看答案
问题 8: 8. 设 A = {<1, 2>, <2, 4>, <3, 3>}，B = {<1, 3>, <2, 4>, <4, 2>}，则对称差关系A⊕B等于：
选项:
•
A. {<1,2>, <1,3>, <2,4>, <3,3>, <4,2>};
•
B. {<2,4>};
•
C. {<1,2>, <1,3>, <3,3>, <4,2>};
•
D. {<1,2>, <3,3>}.
答案: 请关注ybaotk.com搜题查看答案
问题 9: 9. 设 A={1, 2}, B={a, b, c}, 则下面哪些不是
选项:
•
A. f = {<1, a>, <2, a>};
•
B. f = {<1, b>, <2, c>};
•
C. f = {<1, b>, <2, a>};
•
D. f = {
答案: 请关注ybaotk.com搜题查看答案
问题 10: 10. 设 A = {<1, 2>, <2, 4>, <3, 3>}，B = {<1, 3>, <2, 4>, <4, 2>}，则差关系A-B的域fld(A-B)等于：
选项:
•
A. {1,3};
•
B. {1,2,4};
•
C. {1,2,3};
•
D. {2,3}.
答案: 请关注ybaotk.com搜题查看答案
问题 11: 11. 下面关于集合的笛卡尔叉积，不正确的是：
选项:
•
A. 若A×B=A×C, 则一定有 B=C成立；
•
B. (A∩B)×(C∩D)=(A×C)∩(B×D)；
•
C. 若A≠
•
， A×BÍ
•
A×C, 则 B
•
C；
•
D. 若 A×A=B×B, 则 A=B。
答案: 请关注ybaotk.com搜题查看答案
问题 12: 12. 设函数f: S
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 13: 13. 下面哪个不是从集合 A={1, 2}到 B={1}的二元关系：
选项:
•
A. R1=
•
;
•
B. R2={<1,1>};
•
C. R2={<2,1>};
•
D. R3={<1,2>}.
答案: 请关注ybaotk.com搜题查看答案
问题 14: 14. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈A
选项:
•
A. A×A - {<1,1>};
•
B. {<1,2>,<2,1>};
•
C. {<1,1>,<2,2>,<4,4>,<6,6>,<2,1>,<4,2>,<4,1>};
•
D. {<1,2>,<2,2>,<4,2>,<6,2>}.
答案: 请关注ybaotk.com搜题查看答案
问题 15: 15. 设函数f: N
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 16: 16. 设函数f: S
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 17: 17. 设 f: A
选项:
•
A. f : A
•
B 是单射的；
•
B. g: B
•
C 是满射的；
•
C. f : A
•
B 是满射的；
•
D. 都有可能。
答案: 请关注ybaotk.com搜题查看答案
问题 18: 18. 设 A={a,b,c,d}, A上的关系R1={,,}，R2={,,,}，则合成关系R2○R1等于：
选项:
•
A. {,,};
•
B. {};
•
C. {,,};
•
D. {,,}
答案: 请关注ybaotk.com搜题查看答案
问题 19: 19. 下面哪个是集合 A={2, 3, 4}上的小于等于关系：
选项:
•
A. {<2,2>,<3,3>,<4,4>};
•
B. {<2,2>,<2,3>,<2,4>,<3,2>,<3,3>,<3,4>,<4,2>,<4,3>,<4,4>};
•
C. {<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>}
•
D. {<2,2>,<2,4>,<3,3>,<4,4>}.
答案: 请关注ybaotk.com搜题查看答案
问题 20: 20. 设 A={1, 2}, B={a, b, c}, 则下面哪些不是
选项:
•
A. f = {<1, a>, <2, a>};
•
B. f = {<1, b>, <2, c>};
•
C. f = {<1, b>, <2, a>};
•
D. f = {,,}.
答案: 请关注ybaotk.com搜题查看答案
问题 21: 21. 设函数f: R+
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 22: 22. 设 A = {<1, 2>, <2, 4>, <3, 3>}，B = {<1, 3>, <2, 4>, <4, 2>}，则并关系A∪B等于：
选项:
•
A. {<1,2>, <1,3>, <2,4>, <3,3>, <4,2>};
•
B. {<2,4>};
•
C. {<1,2>, <1,3>, <3,3>, <4,2>};
•
D. {<1,2>, <3,3>}.
答案: 请关注ybaotk.com搜题查看答案
问题 23: 23. 设 A={a,b,c,d}, A上的关系R1={,,}，R2={,,,}，则合成关系R1○R2等于：
选项:
•
A. {,,};
•
B. {};
•
C. {,,};
•
D. {,,}.
答案: 请关注ybaotk.com搜题查看答案
问题 24: 24. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R1={|x, y∈X
选项:
•
A. {1,2,3,4}；
•
B. {2,3,4}；
•
C. { -1,0}；
•
D. { -2, -1}。
答案: 请关注ybaotk.com搜题查看答案
问题 25: 25. 设函数f: R+
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 26: 26. 设函数f: Z
选项:
•
A. f(1) = 1;
•
B. f({1}) = {1};
•
C. f({1, 3}) = {1};
•
D. f({1, 3}) = 1.
答案: 请关注ybaotk.com搜题查看答案
问题 27: 27. 设 R={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}，则关系R的逆关系
选项:
•
A. {<0,2>, <0,3>, <1,3>};
•
B. {<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>};
•
C. {<0,1>, <0,2>, <0,3>, <1,2>, <1,3>};
•
D. {2,3}.
答案: 请关注ybaotk.com搜题查看答案
问题 28: 28. 设函数f: R+
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 29: 29. 设 A = {<1, 2>, <2, 4>, <3, 3>}，B = {<1, 3>, <2, 4>, <4, 2>}，则交关系A∩B的值域ran(A∩B)等于：
选项:
•
A. {1,2};
•
B. {2,4};
•
C. {2};
•
D. {4}.
答案: 请关注ybaotk.com搜题查看答案
问题 30: 30. 设 A = {<1, 2>, <2, 4>, <3, 3>}，B = {<1, 3>, <2, 4>, <4, 2>}，则并关系A∪B的定义域dom(A∪B)等于：
选项:
•
A. {1,2,3};
•
B. {1,2,3,4};
•
C. {2,3,4};
•
D. {3,4,2}.
答案: 请关注ybaotk.com搜题查看答案
问题 31: 31. 设 X = {a, b, c, d}, Y = {1, 2, 3}, f = {, , }, 下面哪个命题是真的：
选项:
•
A. f 是从 X 到 Y 的二元关系, 但不是从 X 到 Y 的函数;
•
B. f 是从 X 到 Y 的函数, 但不是从满射, 也不是单射;
•
C. f 是从 X 到 Y 的满射, 但不是从单射;
•
D. f 是从 X 到 Y 的双射.
答案: 请关注ybaotk.com搜题查看答案
问题 32: 32. 设集合A={
选项:
•
A. 3
•
B. 6
•
C. 8
•
D. 16
答案: 请关注ybaotk.com搜题查看答案
问题 33: 33. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R2={|x, y∈X
选项:
•
A. {1,2,3,4}；
•
B. {2,3,4}；
•
C. { -1,0}；
•
D. { -2, -1}。
答案: 请关注ybaotk.com搜题查看答案
问题 34: 34. 设函数f: R+
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 35: 35. 设函数f: Z
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 36: 36. 设函数f: N
选项:
•
A. 是满射不是单射;
•
B. 是单射不是满射;
•
C. 是双射;
•
D. 都不是.
答案: 请关注ybaotk.com搜题查看答案
问题 37: 37. 设 R={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}，则{1,2}在关系R下的像R[{1,2}]等于：
选项:
•
A. {<0,2>, <0,3>, <1,3>};
•
B. {<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>};
•
C. {<0,1>, <0,2>, <0,3>, <1,2>, <1,3>};
•
D. {2,3}.
答案: 请关注ybaotk.com搜题查看答案
问题 38: 38. 下面关系运算中不正确的是：
选项:
•
A. F[A∪B]=F[A]∪F[B];
•
B. F† (A∪B)
•
F†A∪F†B;
•
C. F[A∩B]=F[A] ∩F[B];
•
D. F† (A∩B)
•
F†A∩F†B。
答案: 请关注ybaotk.com搜题查看答案
问题 39: 39. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R3={|x, y∈X
选项:
•
A. {0}；
•
B. {1}；
•
C.
•
；
•
D. { -1}。
答案: 请关注ybaotk.com搜题查看答案
问题 40: 1. 下列推理的形式结构中哪个不是有效推理:
选项:
•
A. (p
•
r)
•
p
•
r.
•
B. (p
•
r)
•
r
•
p
•
C. (p
•
q)
•
q
•
p
•
D. p
•
(p
•
r)
答案: 请关注ybaotk.com搜题查看答案
问题 41: 2. 用等值演算法推导公式“(p
选项:
•
A. (p
•
q)
•
(p
•
q)
•
B.
•
(p
•
q)
•
C.
•
((p
•
q)
•
(q
•
p))
•
D. (p
•
q)
•
(
•
p
•
q)
答案: 请关注ybaotk.com搜题查看答案
问题 42: 3. 用真值表判断公式“(p
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 43: 4. 用真值表判断公式“((p
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 44: 5. 公式“(p
选项:
•
A. 0.
•
B. 1
•
C. M0
•
D. M1.
答案: 请关注ybaotk.com搜题查看答案
问题 45: 6. 设前提:
选项:
•
A. t
•
(r
•
s)
•
B. r
•
s.
•
C. r
•
s
•
D. p
•
q
答案: 请关注ybaotk.com搜题查看答案
问题 46: 7. 用等值演算法判断公式“(p
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 47: 8. 设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 48: 9. 下面哪个不是公式“(p
选项:
•
A. 110
•
B. 001
•
C. 101
•
D. 010.
答案: 请关注ybaotk.com搜题查看答案
问题 49: 10. 设前提: p
选项:
•
A. p
•
s
•
B. s
•
q.
•
C. s
•
r
•
D. s
•
r
答案: 请关注ybaotk.com搜题查看答案
问题 50: 11. 下列哪个不是命题
选项:
•
A. 今天市区下雨；
•
B. x + y > 3；
•
C. 前天的雪是黑的；
•
D. 1+100=200。
答案: 请关注ybaotk.com搜题查看答案
问题 51: 12. 设前提: p
选项:
•
A. q
•
r
•
B. r.
•
C. r
•
s
•
D. r
•
s
答案: 请关注ybaotk.com搜题查看答案
问题 52: 13. 命题“若今天是星期一, 则明天是星期三”的真值为：
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 53: 14. 用等值演算法判断公式“(p
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 54: 15. 公式“(p
选项:
•
A. M0.
•
B. M4
•
C. M6
•
D. M0
•
M4
•
M6.
答案: 请关注ybaotk.com搜题查看答案
问题 55: 16. 设前提: p
选项:
•
A. q
•
B.
•
p.
•
C.
•
q
•
D. p
•
q
答案: 请关注ybaotk.com搜题查看答案
问题 56: 17. 用等值演算法判断公式“
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 57: 18. 设前提: p
选项:
•
A. r
•
s
•
B. r
•
s.
•
C. (p
•
q)
•
r
•
D. (p
•
q)
•
s
答案: 请关注ybaotk.com搜题查看答案
问题 58: 19. 公式“
选项:
•
A.
•
(0, 2).
•
B.
•
(1, 2).
•
C.
•
(0, 3).
•
D.
•
(2, 3).
答案: 请关注ybaotk.com搜题查看答案
问题 59: 20. 令 p: 今天是星期一; q: 明天是星期二，则“仅当今天是星期一, 明天才是星期二”可命题符号化为：
选项:
•
A. p
•
q
•
B. q
•
p
•
C. p
•
q
•
D. p
•
q
答案: 请关注ybaotk.com搜题查看答案
问题 60: 21. 下列推理的形式结构中哪个推理是正确的:
选项:
•
A. (p
•
q)
•
p
•
q
•
B. (p
•
q)
•
q
•
p.
•
C. (p
•
r)
•
r
•
p
•
D. p
•
p
•
r
答案: 请关注ybaotk.com搜题查看答案
问题 61: 22. 设命题p: 2+2＝4, q: 3+3＝6, “2+2＝4 的充要条件是 3+3＝6.”可命题符号化为：
选项:
•
A. p
•
q
•
B. p
•
q
•
C. p
•
q
•
D. p
•
q
答案: 请关注ybaotk.com搜题查看答案
问题 62: 23. 用真值表判断公式“(p
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 63: 24. 用等值演算法推导公式“p
选项:
•
A. (p
•
q)
•
(q
•
p)
•
B. (p
•
q)
•
(
•
p
•
q)
•
C. (
•
p
•
q)
•
(p
•
q)
•
D. (p
•
q)
•
(p
•
q)
答案: 请关注ybaotk.com搜题查看答案
问题 64: 25. 设前提: p
选项:
•
A. (p
•
•
q)
•
(r
•
q)
•
r
•
•
p.
•
B. (p
•
r
•
r
•
•
q
•
q
•
p).
•
C. (p
•
r
•
•
q
•
q)
•
(r
•
•
p).
•
D. (p
•
•
q)
•
(r
•
q)
•
(r
•
•
p).
答案: 请关注ybaotk.com搜题查看答案
问题 65: 26. 设前提: p
选项:
•
A. q
•
r
•
B. s
•
q.
•
C. s
•
r
•
D. r
•
s
答案: 请关注ybaotk.com搜题查看答案
问题 66: 27. 下面哪个是公式“q
选项:
•
A. 001
•
B. 011
•
C. 110
•
D. 111.
答案: 请关注ybaotk.com搜题查看答案
问题 67: 28. 用真值表判断公式“(p
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 68: 29. 设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(r
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 69: 30. 公式“p
选项:
•
A.
•
(p
•
q) .
•
B.
•
(q
•
p)
•
C. (q
•
p)
•
D. q
•
p
答案: 请关注ybaotk.com搜题查看答案
问题 70: 31. 设前提: p
选项:
•
A. r
•
s
•
B. r
•
s.
•
C. r
•
D. r
•
t
答案: 请关注ybaotk.com搜题查看答案
问题 71: 32. 用真值表判断公式“p
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 72: 33. 命题“若 3+2＝4, 则地球是静止不动的”的真值为：
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 73: 34. 公式“(
选项:
•
A.
•
(0, 2, 3).
•
B.
•
(0, 1, 2).
•
C.
•
(0, 1, 3).
•
D.
•
(1, 2, 3).
答案: 请关注ybaotk.com搜题查看答案
问题 74: 35. 命题“2+2
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 75: 36. 命题“若地球上没有水, 则3是无理数.”的真值为：
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 76: 37. 用真值表判断公式“
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 77: 38. 设p: 天下大雨, q: 他乘班车上班，则“只有天下大雨, 他才乘班车上班”可命题符号化为：
选项:
•
A. p
•
q
•
B. q
•
p
•
C. p
•
q
•
D. p
•
q
答案: 请关注ybaotk.com搜题查看答案
问题 78: 39. 下列推理的形式结构中哪个推理不正确:
选项:
•
A. (p
•
q)
•
p
•
q
•
B. (p
•
r)
•
p
•
r.
•
C. p
•
r
•
p
•
D. (p
•
r)
•
r
•
p
答案: 请关注ybaotk.com搜题查看答案
问题 79: 40. 设p: 天下大雨, q: 他乘班车上班，则“除非天下大雨, 他才乘班车上班”可命题符号化为：
选项:
•
A. p
•
q
•
B. q
•
p
•
C. p
•
q
•
D. p
•
q
答案: 请关注ybaotk.com搜题查看答案
问题 80: 41. 公式“
选项:
•
A. M0.
•
B. M0
•
M1
•
C. M0
•
M1
•
M2
•
D. M0
•
M1
•
M2
•
M3.
答案: 请关注ybaotk.com搜题查看答案
问题 81: 42. 设前提: p
选项:
•
A. p
•
(p
•
q)
•
B. p.
•
C. q
•
D. p
•
q
答案: 请关注ybaotk.com搜题查看答案
问题 82: 43. 下面哪个不是公式“(p
选项:
•
A. 000
•
B. 010
•
C. 100
•
D. 110.
答案: 请关注ybaotk.com搜题查看答案
问题 83: 44. 公式“(p
选项:
•
A.
•
(0, 1).
•
B.
•
(0, 1, 2, 3).
•
C.
•
(0, 1, 2, 3, 4, 5).
•
D.
•
(0,1,2,3,4,5,6,7).
答案: 请关注ybaotk.com搜题查看答案
问题 84: 45. 下面哪个是公式“q
选项:
•
A. 001
•
B. 011
•
C. 110
•
D. 111.
答案: 请关注ybaotk.com搜题查看答案
问题 85: 46. 设前提: p
选项:
•
A. q
•
r
•
B. q
•
p.
•
C. p
•
q
•
D. r
答案: 请关注ybaotk.com搜题查看答案
问题 86: 1. 将命题“小王学过英语和法语”用0 元谓词符号化不合适的是：
选项:
•
A. 令 F(x): x 学过英语; G(x): x 学过法语; a: 小王. 符号化为F(a)
•
G(a)
•
B. 令 F(x): 小王学过x; a: 英语; b: 法语. 符号化为F(a)
•
F(b)
•
C. 令 L(x, y): x 学过 y; a: 小王; b1: 英语; b2: 法语. 则符号化为L(a, b1)
•
L(a, b2).
•
D. 令 P: 小王学过英语; Q: 小王学过法语. 符号化为P
•
Q。
答案: 请关注ybaotk.com搜题查看答案
问题 87: 2. 令前提:
选项:
•
A.
•
xR(x)
•
B.
•
y((F(y)
•
G(y))
•
R(y))
•
C.
•
x(F(x)
•
G(x))
•
D.
•
x(F(x)
•
G(x))
答案: 请关注ybaotk.com搜题查看答案
问题 88: 3. 设个体域 D={0,1}, 谓词F(x):x≤1, G(x):x≤2。命题“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 89: 4. 令 F(x): x 是角, H(x, y): x 和 y 是相等的, L(x, y): x 与 y 是对顶角，则命题“相等的两个角未必都是对顶角”可符号化为：
选项:
•
A.
•
x(F(x)
•
(
•
y(F(y)
•
H(x, y)
•
•
L(x, y))).
•
B.
•
x
•
y(F(x)
•
F(y)
•
H(x, y)
•
•
L(x, y))
•
C.
•
x(F(x)
•
(
•
y(F(y)
•
H(x, y)
•
•
L(x, y))).
•
D.
•
x
•
y(F(x)
•
F(y)
•
H(x, y)
•
•
L(x, y))
答案: 请关注ybaotk.com搜题查看答案
问题 90: 5. 设个体域 D={a,b,c}, 消去谓词“
选项:
•
A. (F(a)
•
F(b)
•
F(c))
•
(G(a)
•
G(b)
•
G(c))；
•
B. (F(a)
•
F(b)
•
F(c))
•
(G(a)
•
G(b)
•
G(c))
•
C. (F(a)
•
F(b)
•
F(c))
•
(G(a)
•
G(b)
•
G(c))
•
D. (F(a)
•
F(b)
•
F(c))
•
(G(a)
•
G(b)
•
G(c))
答案: 请关注ybaotk.com搜题查看答案
问题 91: 6. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 92: 7. 判断公式“
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 93: 8. 将命题“除非李建是东北人, 否则他一定怕冷”用0 元谓词符号化不合适的是：
选项:
•
A. 令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为
•
F(a)
•
G(a)
•
B. 令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为
•
G(a)
•
F(a).
•
C. 令 H(x, y): x 是 y 地方人; G(x): x 怕冷; a: 小王; b: 东北. 则符号化为
•
H(a, b)
•
G(a) .
•
D. 令 P: 李建是东北人; Q: 他怕冷. 符号化为P
•
Q。
答案: 请关注ybaotk.com搜题查看答案
问题 94: 9. 谓词“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 95: 10. 在全总个体域下，用一阶逻辑将命题“火车都比轮船快”符号化为
选项:
•
A.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
•
B.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
•
C.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)),其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
•
D.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)),其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
答案: 请关注ybaotk.com搜题查看答案
问题 96: 11. 设个体域 D={3,4}，f (3)=4, f (4)=3，F(3,3)=F(4,4)=0, F(3,4)=⎯F(4,3)=1。则命题“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 97: 12. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的汽车比有的火车跑得快”可符号化为：
选项:
•
A.
•
x
•
y(F(x)
•
G( y)
•
H(x, y))
•
B.
•
x
•
y(F(x)
•
G( y)
•
H(x, y))
•
C.
•
x
•
y(F(x)
•
G( y)
•
H(x, y))
•
D.
•
x
•
y(F(x)
•
G( y)
•
H(x, y))
答案: 请关注ybaotk.com搜题查看答案
问题 98: 13. 谓词“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 99: 14. 个体域为整数集, 公式“
选项:
•
A. “任意两个整数的差是整数.”
•
B. “对于任意两个整数, 都存在第三个整数, 它等于这两个整数相减.”
•
C. “对于任意整数 x 和 y, 都存在整数 z, 使得 x - y = z.”
•
D. “存在一个整数, 对于任意两个整数, 第一个整数都等于这两个整数相减.”
答案: 请关注ybaotk.com搜题查看答案
问题 100: 15. 判断公式“
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 101: 16. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“说有的飞机比有的汽车慢是不对的”可符号化为：
选项:
•
A.
•
x
•
y(F(x)
•
G( y)
•
•
H(x, y))
•
B.
•
x
•
y(F(x)
•
G( y)
•
•
H(x, y))
•
C.
•
x
•
y(F(x)
•
(G( y)
•
H(x, y)))
•
D.
•
x
•
y(F(x)
•
G( y)
•
•
H(x, y)).
答案: 请关注ybaotk.com搜题查看答案
问题 102: 17. 在全总个体域下，用一阶逻辑将命题“不存在比所有火车都快的汽车”符号化，下面不正确的为
选项:
•
A.
•
x(F(x)
•
y(G(y)
•
H(x,y)))，其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
•
B.
•
x(F(x)
•
y(G(y)
•
H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
•
C.
•
x(F(x)
•
y(G(y)
•
H(x,y))) 或
•
x(F(x)
•
y(G(y)
•
H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
•
D.
•
x(F(x)
•
y(G(y)
•
H(x,y)))其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
答案: 请关注ybaotk.com搜题查看答案
问题 103: 18. 设个体域 D={0,1}, 谓词F(x):x<0, G(x):x<1。命题“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 104: 19. 设个体域 D={a,b,c}, 消去谓词“
选项:
•
A. (F(a)
•
F(b))
•
F(c))
•
(G(a)
•
G(b)
•
G(c))；
•
B. (F(a)
•
F(b)
•
F(c))
•
(G(a)
•
G(b)
•
G(c))
•
C. (F(a)
•
F(b)
•
F(c))
•
(G(a)
•
G(b)
•
G(c))
•
D. (F(a)
•
F(b)
•
F(c))
•
(G(a)
•
G(b)
•
G(c))
答案: 请关注ybaotk.com搜题查看答案
问题 105: 20. 在全总个体域下，用一阶逻辑将命题“有的人天天锻炼身体”符号化为
选项:
•
A.
•
x(G(x)), 其中, G(x): x 人天天锻炼身体.
•
B.
•
x(F(x)
•
G(x)), 其中, F(x): x 是人, G(x): x 天天锻炼身体.
•
C.
•
x(F(x)
•
G(x)), 其中, F(x): x 是人, G(x): x 天天锻炼身体.
•
D.
•
x(F(x)
•
G(x)), 其中, F(x): x 是人, G(x): x 天天锻炼身体.
答案: 请关注ybaotk.com搜题查看答案
问题 106: 21. 实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xx
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 107: 22. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“说所有的火车比所有的汽车跑得快是不对的”可符号化为：
选项:
•
A.
•
x
•
y(F(x)
•
G( y)
•
H(x, y))
•
B.
•
x
•
y(F(x)
•
G( y)
•
H(x, y))
•
C.
•
x
•
y(F(x)
•
(G( y)
•
H(x, y)))
•
D.
•
x
•
y(F(x)
•
G( y)
•
H(x, y)).
答案: 请关注ybaotk.com搜题查看答案
问题 108: 23. 在全总个体域下，用一阶逻辑将命题“在北京卖菜的人不全是外地人”符号化为
选项:
•
A.
•
x(G(x)),其中, G(x): x 是外地人.
•
B.
•
x(F(x)
•
G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
•
C.
•
x(F(x)
•
G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
•
D.
•
x(F(x)
•
G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
答案: 请关注ybaotk.com搜题查看答案
问题 109: 24. 个体域为整数集, 公式“
选项:
•
A. “每个整数都有一个倒数.”
•
B. “对于每个整数, 都能找到另一个整数, 它们相乘结果是1.”
•
C. “对任意非零整数, 都能找到另一个整数, 使得它们相乘结果等于1.”
•
D. “对于任意整数 x, 都存在整数 y, 使得 x×y = 1.”
答案: 请关注ybaotk.com搜题查看答案
问题 110: 25. 判断公式“F(x, y)
选项:
•
A. 重言式
•
B. 矛盾式
•
C. 可满足式
•
D. 无法确定
答案: 请关注ybaotk.com搜题查看答案
问题 111: 26. 在全总个体域下，用一阶逻辑将命题“没有不能表示成分数的有理数”符号化为
选项:
•
A.
•
x(
•
G(x)), 其中, G(x): x 能表示成分数.
•
B.
•
x(G(x)), 其中, G(x): x 能表示成分数.
•
C.
•
x(F(x)
•
G(x)), 其中, F(x): x 为有理数, G(x): x 能表示成分数.
•
D.
•
x(F(x)
•
G(x)), 其中, F(x): x 为有理数, G(x): x 能表示成分数.
答案: 请关注ybaotk.com搜题查看答案
问题 112: 27. 设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数，令前提:
选项:
•
A.
•
x(
•
(F(x)
•
G(x)))
•
B.
•
x(H(x)
•
(
•
F(x)
•
G(x)))
•
C.
•
x(H(x)
•
(
•
F(x)
•
G(x)))
•
D.
•
x(H(x)
•
•
(F(x)
•
G(x)))
答案: 请关注ybaotk.com搜题查看答案
问题 113: 28. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 114: 29. 令前提:
选项:
•
A.
•
x(F(x)
•
R(x))
•
B. G(a)
•
C.
•
xR(x)
•
D.
•
xR(x)
答案: 请关注ybaotk.com搜题查看答案
问题 115: 30. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 116: 31. 在全总个体域下，用一阶逻辑将命题“有的火车比有的汽车快”符号化为
选项:
•
A.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
•
B.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
•
C.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
•
D.
•
x
•
y(F(x)
•
G(y)
•
H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
答案: 请关注ybaotk.com搜题查看答案
问题 117: 32. 令前提:
选项:
•
A.
•
xF(x)
•
B.
•
x
•
G(x)
•
C.
•
xF(x)
•
D.
•
x(F(x)
•
G(x))
答案: 请关注ybaotk.com搜题查看答案
问题 118: 33. 实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xx
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 119: 34. 在全总个体域下，用一阶逻辑将命题“乌鸦都是黑色的”符号化为
选项:
•
A.
•
x(F(x)), 其中, F(x): x 乌鸦是黑色的.
•
B.
•
x(F(x)), 其中, F(x): x 乌鸦是黑色的.
•
C.
•
x(F(x)
•
G(x)), 其中, F(x): x 是乌鸦, G(x): x 是黑色的.
•
D.
•
x(F(x)
•
G(x)), 其中, F(x): x 是乌鸦, G(x): x 是黑色的.
答案: 请关注ybaotk.com搜题查看答案
问题 120: 35. 将命题“凡有理数都能被 2 整除”符号化，下面不合适的为：
选项:
•
A. 个体域为有理数集合，
•
xF(x), 其中, F(x): x 能被 2 整除；
•
B. 个体域为实数集合，
•
x(G(x)
•
F(x)), 其中, G(x): x 为有理数, F(x)同上；
•
C. 个体域为全总个体域，
•
x(G(x)
•
F(x)), 其中, G(x): x 为有理数, F(x)同上；
•
D. 个体域为复数域，
•
x(G(x)
•
F(x)), 其中, G(x): x 为有理数, F(x)同上；
答案: 请关注ybaotk.com搜题查看答案
问题 121: 36. 公式“
选项:
•
A.
•
x
•
y(F(x)
•
G(x, y))
•
B.
•
x
•
y(F(x)
•
G(x, y))
•
C.
•
y
•
x (F(x)
•
G(x, y))
•
D.
•
x
•
y(F(x)
•
G(x, y))
答案: 请关注ybaotk.com搜题查看答案
问题 122: 37. 公式“
选项:
•
A.
•
y(F(x, y)
•
G(y, z))
•
B. F(x, y)
•
C. H(x, y, z)
•
D. F(x, y) 和H(x, y, z)
答案: 请关注ybaotk.com搜题查看答案
问题 123: 38. 设个体域 D={3,4}，F(3,3)=F(4,4)=0, F(3,4)=F(4,3)=1。则命题“
选项:
•
A. 0
•
B. 1
•
C. 2
•
D. 不确定
答案: 请关注ybaotk.com搜题查看答案
问题 124: 39. 设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数，令前提:
选项:
•
A.
•
x(H(x)
•
G(x))
•
B.
•
x(H(x)
•
G(x))
•
C.
•
x(H(x)
•
G(x))
•
D.
•
x(H(x)
•
G(x))
答案: 请关注ybaotk.com搜题查看答案 |
发表于 2025-4-11 17:44:47
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
QQ登录
