扫描下方二维码关注公众号：

关闭

×

作业辅导
扫码关注
论文指导
轻松解决学习难题!

安徽继续教育离散数学（上）作业答案

离散数学（上）

微信公众号:青鸟搜题

学校: 安徽继续教育

题目如下：

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×BA×C, 则一定有 BC 成立；

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+R+, f(x) = ，则它是：

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={|x, y∈Xy-1

A. {1,2,3,4}；

B. {2,3,4}；

C. { -1,0}；

D. { -2, -1}。

答案: { -2, -1}。

7. 7. 设 f: A B, g: B C, 且 f○g: A C 是双射。则下面结论不正确的是：

A. f : A B 是单射的；

B. g: B C 是满射的；

C. f : A B 是满射的；

D. 都有可能。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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 = {,,}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

11. 11. 下面关于集合的笛卡尔叉积，不正确的是：

A. 若A×B=A×C, 则一定有 B=C成立；

B. (A∩B)×(C∩D)=(A×C)∩(B×D)；

C. 若A≠， A×BÍA×C, 则 BC；

D. 若 A×A=B×B, 则 A=B。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

12. 12. 设函数f: SR+, S=(0, 1), f(x)=1/x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

13. 13. 下面哪个不是从集合 A={1, 2}到 B={1}的二元关系：

A. R1=;

B. R2={<1,1>};

C. R2={<2,1>};

D. R3={<1,2>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

14. 14. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈Ay 为素数}等于：

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

15. 15. 设函数f: NN, f(x)=2x+1，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

16. 16. 设函数f: SS, S=[0, 1], f(x)=x/2+1/4，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

17. 17. 设 f: A B, g: B C, 且 f○g: A C 是双射。则下面结论不正确的是：

A. f : A B 是单射的；

B. g: B C 是满射的；

C. f : A B 是满射的；

D. 都有可能。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

18. 18. 设 A={a,b,c,d}, A上的关系R1={,,}，R2={,,,}，则合成关系R2○R1等于：

A. {,,};

B. {};

C. {,,};

D. {,,}

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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 = {,,}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

21. 21. 设函数f: R+R, f(x)=x2-3x-5，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

23. 23. 设 A={a,b,c,d}, A上的关系R1={,,}，R2={,,,}，则合成关系R1○R2等于：

A. {,,};

B. {};

C. {,,};

D. {,,}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

24. 24. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R1={|x, y∈Xx

A. {1,2,3,4}；

B. {2,3,4}；

C. { -1,0}；

D. { -2, -1}。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

25. 25. 设函数f: R+R, f(x)=log x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

26. 26. 设函数f: ZZ, 若x为奇数f (x)=1, 若x为偶数f (x)= x/2，则下面错误的是：

A. f(1) = 1;

B. f({1}) = {1};

C. f({1, 3}) = {1};

D. f({1, 3}) = 1.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

28. 28. 设函数f: R+R+, f(x) = ，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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 的双射.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

32. 32. 设集合A={,{a},{a,b}}，则(A)有多少个元素？

A. 3

B. 6

C. 8

D. 16

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

33. 33. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R2={|x, y∈Xy-1

A. {1,2,3,4}；

B. {2,3,4}；

C. { -1,0}；

D. { -2, -1}。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

34. 34. 设函数f: R+R+, f(x)=2x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

35. 35. 设函数f: ZN, f(x)=|x|，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

36. 36. 设函数f: NN, f(x) = (x)mod 3, x 除以 3 的余数，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

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。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

39. 39. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R3={|x, y∈X≤y}，则R3(3) =

A. {0}；

B. {1}；

C. ；

D. { -1}。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

40. 40. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈Ax/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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

41. 41. 设函数f: SR, S=[0, +∞), f(x)=1/(x+1)，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

42. 42. 设函数f: RR, f(x)=x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

43. 43. 设 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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

44. 44. 下面哪个是集合 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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

45. 45. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈A|x-y|=1}等于：

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

46. 46. 设 R={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}，则关系R的二次合成R○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}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

47. 47. 下面哪个是集合 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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

48. 48. 下面关系运算中不正确的是：

A. F○ (G∪H)=F○G∪F○H;

B. (G∪H) ○F=G○F∪H○F;

C. (G∩H) ○FÍG○F∩H○F;

D. (G∩H) ○F=G○F∩H○F。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

49. 49. 设 A 是 n 元集(n>=1), 则从 A 到 A 的函数中，下面结论不对的是：

A. 双射函数有 n!个;

B. 单射函数有 n!个;

C. 满射函数有 n!个;

D. 函数有 n!个.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

50. 50. 设 R={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}，则关系R在{0,1}上的限制R†{0,1}等于：

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}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

51. 51. 设函数f: SR, S=[0, +∞), f(x)=1/(x+1)，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

52. 52. 设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R1={|x, y∈Xx

A. {1,2,3,4}；

B. {2,3,4}；

C. { -1,0}；

D. { -2, -1}。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

53. 53. 设 A={a,b,c,d}, A上的关系R1={,,}，R2={,,,}，则合成关系R1○R2等于：

A. {,,};

B. {};

C. {,,};

D. {,,}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

54. 54. 下面关系运算中不正确的是：

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。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

55. 55. 设集合A={,{a},{a,b}}，则(A)有多少个元素？

A. 3

B. 6

C. 8

D. 16

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

56. 56. 设函数f: R+R+, f(x)=2x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

57. 57. 设函数f: ZN, f(x)=|x|，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

58. 58. 设 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 的双射.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

59. 59. 设函数f: NN, f(x)=2x+1，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

60. 60. 设 A={a,b,c,d}, A上的关系R1={,,}，R2={,,,}，则合成关系R2○R1等于：

A. {,,};

B. {};

C. {,,};

D. {,,}

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

61. 61. 设函数f: R+R, f(x)=x2-3x-5，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

62. 62. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈Ax+y2}等于：

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

63. 63. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈Ax/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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

64. 64. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈Ay 为素数}等于：

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

65. 65. 下面关于集合的笛卡尔叉积，正确的是：

A. 若 A×BA×C, 则一定有 BC 成立；

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)。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

66. 66. 设函数f: NNxN, f(x)=，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

67. 67. 设函数f: SS, S=[0, 1], f(x)=x/2+1/4，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

68. 68. 设函数f: RR, f(x)=x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

69. 69. 设函数f: R x R R x R, f()=< (x+y)/2, (x-y)/2>，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

70. 70. 设函数f: NNxN, f(x)=，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

71. 71. 设 A={1, 2, 4, 6}, 则关系 R={|x, y∈Ax+y2}等于：

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>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

72. 72. 设函数f: R x R R x R, f()=< (x+y)/2, (x-y)/2>，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

73. 73. 下面哪个不是从集合 A={1, 2}到 B={1}的二元关系：

A. R1=;

B. R2={<1,1>};

C. R2={<2,1>};

D. R3={<1,2>}.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

74. 74. 设函数f: SR+, S=(0, 1), f(x)=1/x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

75. 75. 设函数f: R+R, f(x)=log x，则它是：

A. 是满射不是单射;

B. 是单射不是满射;

C. 是双射;

D. 都不是.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

76. 1. 下列推理的形式结构中哪个不是有效推理:

A. (pr) pr.

B. (pr) rp

C. (pq) qp

D. p (pr)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

77. 2. 用等值演算法推导公式“(pq) (qp)”和下面哪个公式不等价:

A. (pq) (pq)

B. (pq)

C. ((pq) (qp))

D. (pq) (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

78. 3. 用真值表判断公式“(pr) ( pq)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

79. 4. 用真值表判断公式“((pq) (qr)) (pr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

80. 5. 公式“(p (pq)) r”的主合取范式为:

A. 0.

B. 1

C. M0

D. M1.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

81. 6. 设前提: pr, qs, pq. 则下面哪个不是其有效结论：

A. t (rs)

B. rs.

C. rs

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

82. 7. 用等值演算法判断公式“(pq) (pr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

83. 8. 设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(r (pqr)”的真值为:

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

84. 9. 下面哪个不是公式“(pq) r”的成真赋值:

A. 110

B. 001

C. 101

D. 010.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

85. 10. 设前提: pq, pr, rs. 则下面哪个不是其有效结论：

A. ps

B. sq.

C. sr

D. sr

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

86. 11. 下列哪个不是命题

A. 今天市区下雨；

B. x + y > 3；

C. 前天的雪是黑的；

D. 1+100=200。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

87. 12. 设前提: p (qr), p, q. 则下面哪个不是其有效结论：

A. qr

B. r.

C. rs

D. rs

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

88. 13. 命题“若今天是星期一, 则明天是星期三”的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

89. 14. 用等值演算法判断公式“(p (pq)) (pr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

90. 15. 公式“(pq) (pr)”的主合取范式为:

A. M0.

B. M4

C. M6

D. M0M4M6.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

91. 16. 设前提: pq, rq, rs. 则下面哪个不是其有效结论：

A. q

B. p.

C. q

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

92. 17. 用等值演算法判断公式“ (pqq)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

93. 18. 设前提: pq, pr, qs. 则下面哪个不是其有效结论：

A. rs

B. rs.

C. (pq)r

D. (pq)s

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

94. 19. 公式“ (pq)”的主析取范式为:

A. (0, 2).

B. (1, 2).

C. (0, 3).

D. (2, 3).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

95. 20. 令 p: 今天是星期一; q: 明天是星期二，则“仅当今天是星期一, 明天才是星期二”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

96. 21. 下列推理的形式结构中哪个推理是正确的:

A. (pq) pq

B. (pq) qp.

C. (pr) rp

D. p p r

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

97. 22. 设命题p: 2+2＝4, q: 3+3＝6, “2+2＝4 的充要条件是 3+3＝6.”可命题符号化为：

A. pq

B. pq

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

98. 23. 用真值表判断公式“(pq) (qp)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

99. 24. 用等值演算法推导公式“pq”和下面哪个公式不等价:

A. (pq) (qp)

B. (pq) (pq)

C. (pq) (pq)

D. (pq) (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

100. 25. 设前提: p q, r q. 结论: r p. 则推理的形式结构为：

A. (p q) (r q) r p.

B. (p r r q qp).

C. (p r q q) (r p).

D. (p q) (r q) (r p).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

101. 26. 设前提: p (qr), sp, q. 则下面哪个是其有效的结论：

A. qr

B. sq.

C. sr

D. rs

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

102. 27. 下面哪个是公式“q (pr)”的成假赋值:

A. 001

B. 011

C. 110

D. 111.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

103. 28. 用真值表判断公式“(pq) (rs)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

104. 29. 设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(r (pq)) p”的真值为:

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

105. 30. 公式“p­q”和下面哪个公式不等价:

A. (pq) .

B. (qp)

C. (q­p)

D. qp

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

106. 31. 设前提: pr, qs, pq. 则下面哪个不是其有效结论：

A. rs

B. rs.

C. r

D. rt

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

107. 32. 用真值表判断公式“p (pqr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

108. 33. 命题“若 3+2＝4, 则地球是静止不动的”的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

109. 34. 公式“(pq) (qp)”的主析取范式为:

A. (0, 2, 3).

B. (0, 1, 2).

C. (0, 1, 3).

D. (1, 2, 3).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

110. 35. 命题“2+24 当且仅当 3+36.”的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

111. 36. 命题“若地球上没有水, 则3是无理数.”的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

112. 37. 用真值表判断公式“ (qr) r”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

113. 38. 设p: 天下大雨, q: 他乘班车上班，则“只有天下大雨, 他才乘班车上班”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

114. 39. 下列推理的形式结构中哪个推理不正确:

A. (pq) pq

B. (pr) pr.

C. pr p

D. (pr) rp

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

115. 40. 设p: 天下大雨, q: 他乘班车上班，则“除非天下大雨, 他才乘班车上班”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

116. 41. 公式“ (qp) p”的主合取范式为:

A. M0.

B. M0M1

C. M0M1M2

D. M0M1M2M3.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

117. 42. 设前提: pq. 则下面哪个是其有效结论：

A. p (pq)

B. p.

C. q

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

118. 43. 下面哪个不是公式“(pq) r”的成假赋值:

A. 000

B. 010

C. 100

D. 110.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

119. 44. 公式“(p (qr)) (pqr)”的主析取范式为:

A. (0, 1).

B. (0, 1, 2, 3).

C. (0, 1, 2, 3, 4, 5).

D. (0,1,2,3,4,5,6,7).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

120. 45. 下面哪个是公式“qpr”的成假赋值:

A. 001

B. 011

C. 110

D. 111.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

121. 46. 设前提: p (qr), s q, p, s. 则下面哪个不是其有效结论：

A. qr

B. qp.

C. p q

D. r

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

122. 47. 设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(pq)r”的真值为:

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

123. 48. 设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(pqr) (( pq) r)”的真值为:

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

124. 49. 设前提: pq r, p, q s, s. 则下面哪个不是其有效结论：

A. r

B. q.

C. qp

D. q

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

125. 50. 下列推理的形式结构中哪个是有效推理:

A. (pr) p

B. (pq) qp.

C. (pr) pr

D. (pq) pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

126. 51. 用等值演算法推导公式“(pq) (pq)”和下面哪个公式相等价:

A. p

B. q

C. q

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

127. 52. 令 p: 今天是星期一; q: 明天是星期二，则“若今天是星期一, 则明天是星期二”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

128. 53. 设前提: (pq) (rs), (st) u. 则下面哪个是其有效的结论：

A. rs

B. u.

C. up

D. pu

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

129. 54. 设p: 天下大雨, q: 他乘班车上班，则“如果天下大雨, 他就乘班车上班”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

130. 55. 用等值演算法推导公式“ (pq)”和下面哪个公式相等价:

A. (pq) (pq)

B. (pq) (pq)

C. (pq) (pq)

D. (pq) (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

131. 56. 设前提: pq. 则下面哪个不是其有效结论：

A. p (pq)

B. pq.

C. q

D. p (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

132. 57. 下列语句中不是命题的是

A. 马克思出生那天，杭州在下雪；

B. 这幅画很美；

C. 火星上有生命存在的迹象；

D. 现在是上午。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

133. 58. 设前提: pq, rq, rs. 则下面哪个不是其有效结论：

A. q

B. p.

C. q

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

134. 59. 公式“pq”和下面哪个公式不等价:

A. (pq) .

B. (qp)

C. (qp)

D. (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

135. 60. 设前提: pq, pr, qs. 则下面哪个不是其有效结论：

A. rs

B. rs.

C. (pq)r

D. (pq)s

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

136. 61. 设前提: pr, qs, pq. 则下面哪个不是其有效结论：

A. t (rs)

B. rs.

C. rs

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

137. 62. 用等值演算法推导公式“(pq) (qp)”和下面哪个公式不等价:

A. (pq) (pq)

B. (pq)

C. ((pq) (qp))

D. (pq) (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

138. 63. 用真值表判断公式“p (pqr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

139. 64. 公式“(p (pq)) r”的主合取范式为:

A. 0.

B. 1

C. M0

D. M1.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

140. 65. 用等值演算法推导公式“(pq) (pq)”和下面哪个公式相等价:

A. p

B. q

C. q

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

141. 66. 用等值演算法推导公式“pq”和下面哪个公式不等价:

A. (pq) (qp)

B. (pq) (pq)

C. (pq) (pq)

D. (pq) (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

142. 67. 设前提: p (qr), p, q. 则下面哪个不是其有效结论：

A. qr

B. r.

C. rs

D. rs

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

143. 68. 用真值表判断公式“(pq) (qp)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

144. 69. 下列推理的形式结构中哪个不是有效推理:

A. (pr) pr.

B. (pr) rp

C. (pq) qp

D. p (pr)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

145. 70. 下列推理的形式结构中哪个是有效推理:

A. (pr) p

B. (pq) qp.

C. (pr) pr

D. (pq) pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

146. 71. 令 p: 今天是星期一; q: 明天是星期二，则“若今天是星期一, 则明天是星期二”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

147. 72. 用等值演算法判断公式“(p (pq)) (pr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

148. 73. 设前提: pr, qs, pq. 则下面哪个不是其有效结论：

A. rs

B. rs.

C. r

D. rt

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

149. 74. 设前提: p (qr), sp, q. 则下面哪个不是其有效结论：

A. s (qr)

B. sr.

C. sq

D. sq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

150. 75. 用等值演算法判断公式“(pq) (pr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

151. 76. 公式“(pq) (pr)”的主合取范式为:

A. M0.

B. M4

C. M6

D. M0M4M6.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

152. 77. 公式“ (pq)”的主析取范式为:

A. (0, 2).

B. (1, 2).

C. (0, 3).

D. (2, 3).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

153. 78. 用真值表判断公式“(pr) ( pq)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

154. 79. 设p: 天下大雨, q: 他乘班车上班，则“如果天下大雨, 他就乘班车上班”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

155. 80. 用真值表判断公式“(pq) (rs)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

156. 81. 下面哪个是公式“qpr”的成假赋值:

A. 001

B. 011

C. 110

D. 111.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

157. 82. 设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(pq)r”的真值为:

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

158. 83. 用真值表判断公式“((pq) (qr)) (pr)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

159. 84. 设前提: p q, r q. 结论: r p. 则推理的形式结构为：

A. (p q) (r q) r p.

B. (p r r q qp).

C. (p r q q) (r p).

D. (p q) (r q) (r p).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

160. 85. 设前提: p (qr), sp, q. 则下面哪个不是其有效结论：

A. s (qr)

B. sr.

C. sq

D. sq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

161. 86. 下面哪个不是公式“(pq) (qr)”的成真赋值:

A. 000

B. 001

C. 110

D. 111.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

162. 87. 设前提: pq. 则下面哪个不是其有效结论：

A. p (pq)

B. pq.

C. q

D. p (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

163. 88. 公式“(p (qr)) (pqr)”的主析取范式为:

A. (0, 1).

B. (0, 1, 2, 3).

C. (0, 1, 2, 3, 4, 5).

D. (0,1,2,3,4,5,6,7).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

164. 89. 设前提: p (qr), s q, p, s. 则下面哪个不是其有效结论：

A. qr

B. qp.

C. p q

D. r

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

165. 90. 命题“2+24 当且仅当 3+36.”的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

166. 91. 设前提: p (qr), sp, q. 则下面哪个是其有效的结论：

A. qr

B. sq.

C. sr

D. rs

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

167. 92. 设p: 天下大雨, q: 他乘班车上班，则“只有天下大雨, 他才乘班车上班”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

168. 93. 下面哪个是公式“q (pr)”的成假赋值:

A. 001

B. 011

C. 110

D. 111.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

169. 94. 设前提: pq, pr, rs. 则下面哪个不是其有效结论：

A. ps

B. sq.

C. sr

D. sr

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

170. 95. 用真值表判断公式“(pq) q”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

171. 96. 设前提: pq, (qr), r. 则下面哪个不是其有效结论：

A. p

B. q.

C. qr

D. qr

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

172. 97. 设前提: pr, qp, r. 则下面哪个不是其有效结论：

A. qr

B. p.

C. p

D. q

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

173. 98. 下面哪个是公式“(pq) (pq)”的成真赋值:

A. 00

B. 01

C. 11

D. 没有

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

174. 99. 设命题p: 2+2＝4, q: 3+3＝6, “2+2＝4 的充要条件是 3+3＝6.”可命题符号化为：

A. pq

B. pq

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

175. 100. 用真值表判断公式“(pq) q”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

176. 101. 设前提: pr, qp, r. 则下面哪个不是其有效结论：

A. qr

B. p.

C. p

D. q

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

177. 102. 公式“pq”和下面哪个公式不等价:

A. (pq) .

B. (qp)

C. (qp)

D. (pq)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

178. 103. 下面哪个是公式“(pq) (pq)”的成真赋值:

A. 00

B. 01

C. 11

D. 没有

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

179. 104. 下列推理的形式结构中哪个推理是正确的:

A. (pq) pq

B. (pq) qp.

C. (pr) rp

D. p p r

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

180. 105. 令 p: 今天是星期一; q: 明天是星期二，则“仅当今天是星期一, 明天才是星期二”可命题符号化为：

A. pq

B. qp

C. pq

D. pq

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

181. 106. 设前提: pq, (qr), r. 则下面哪个不是其有效结论：

A. p

B. q.

C. qr

D. qr

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

182. 107. 下面哪个不是公式“(pq) (qr)”的成真赋值:

A. 000

B. 001

C. 110

D. 111.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

183. 108. 公式“p­q”和下面哪个公式不等价:

A. (pq) .

B. (qp)

C. (q­p)

D. qp

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

184. 109. 设前提: (pq) (rs), (st) u. 则下面哪个是其有效的结论：

A. rs

B. u.

C. up

D. pu

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

185. 110. 用等值演算法判断公式“ (pqq)”的类型:

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

186. 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: 小王学过法语. 符号化为PQ。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

187. 2. 令前提: xF(x) y((F(y) G(y)) R(y)), xF(x)，则下面不是其有效结论的是：

A. xR(x)

B. y((F(y) G(y)) R(y))

C. x(F(x) G(x))

D. x(F(x) G(x))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

188. 3. 设个体域 D={0,1}, 谓词F(x):x≤1, G(x):x≤2。命题“x(F(x) G(x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

189. 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. xy(F(x) F(y) H(x, y) L(x, y))

C. x(F(x) (y(F(y) H(x, y) L(x, y))).

D. xy(F(x) F(y) H(x, y) L(x, y))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

190. 5. 设个体域 D={a,b,c}, 消去谓词“xy(F(x) G(y))”中的量词后的形式为：

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))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

191. 6. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xyz(F(f(x,y),z)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

192. 7. 判断公式“x(F(x) y(G(y) H(x,y)))”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

193. 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。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

194. 9. 谓词“x(x+5 = 0)”在个体域为整数集时的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

195. 10. 在全总个体域下，用一阶逻辑将命题“火车都比轮船快”符号化为

A. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

B. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

C. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

D. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

196. 11. 设个体域 D={3,4}，f (3)=4, f (4)=3，F(3,3)=F(4,4)=0, F(3,4)=⎯F(4,3)=1。则命题“xy(F(x,y) F(f(x),f(y)))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

197. 12. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的汽车比有的火车跑得快”可符号化为：

A. xy(F(x) G( y) H(x, y))

B. xy(F(x) G( y) H(x, y))

C. xy(F(x) G( y) H(x, y))

D. xy(F(x) G( y) H(x, y))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

198. 13. 谓词“x(x+5 = 0)”在个体域为自然数集时的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

199. 14. 个体域为整数集, 公式“xyz(x - y = z)”翻译成自然语言，下面不合适的是

A. “任意两个整数的差是整数.”

B. “对于任意两个整数, 都存在第三个整数, 它等于这两个整数相减.”

C. “对于任意整数 x 和 y, 都存在整数 z, 使得 x - y = z.”

D. “存在一个整数, 对于任意两个整数, 第一个整数都等于这两个整数相减.”

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

200. 15. 判断公式“xy(F(x, y) F(y, x))”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

201. 16. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“说有的飞机比有的汽车慢是不对的”可符号化为：

A. xy(F(x) G( y) H(x, y))

B. xy(F(x) G( y) H(x, y))

C. xy(F(x) (G( y) H(x, y)))

D. xy(F(x) G( y) H(x, y)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

202. 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 快.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

203. 18. 设个体域 D={0,1}, 谓词F(x):x<0, G(x):x<1。命题“x(F(x) G(x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

204. 19. 设个体域 D={a,b,c}, 消去谓词“xF(x) yG(y)”中的量词后的形式为：

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))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

205. 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 天天锻炼身体.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

206. 21. 实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xxy(G(x,y) F(f(x,y),a))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

207. 22. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“说所有的火车比所有的汽车跑得快是不对的”可符号化为：

A. xy(F(x) G( y) H(x, y))

B. xy(F(x) G( y) H(x, y))

C. xy(F(x) (G( y) H(x, y)))

D. xy(F(x) G( y) H(x, y)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

208. 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 是外地人.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

209. 24. 个体域为整数集, 公式“xy(x×y = 1)”翻译成自然语言，下面不合适的是

A. “每个整数都有一个倒数.”

B. “对于每个整数, 都能找到另一个整数, 它们相乘结果是1.”

C. “对任意非零整数, 都能找到另一个整数, 使得它们相乘结果等于1.”

D. “对于任意整数 x, 都存在整数 y, 使得 x×y = 1.”

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

210. 25. 判断公式“F(x, y) (G(x, y) F(x, y))”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

211. 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 能表示成分数.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

212. 27. 设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数，令前提: x((F(x) G(x)) R(x)), x(H(x) R(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)))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

213. 28. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xF(g(x,a),x)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

214. 29. 令前提: x(F(x) (G(a) R(x))), xF(x)，则下面不是其有效结论的是：

A. x(F(x) R(x))

B. G(a)

C. xR(x)

D. xR(x)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

215. 30. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xy(F(f(x,a),y) F(f(y,a),x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

216. 31. 在全总个体域下，用一阶逻辑将命题“有的火车比有的汽车快”符号化为

A. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

B. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

C. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

D. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

217. 32. 令前提: x(F(x) G(x)), xG(x)，则下面不是其有效结论的是：

A. xF(x)

B. x G(x)

C. xF(x)

D. x(F(x) G(x))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

218. 33. 实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xxy(F(f(x,y),a) G(x,y))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

219. 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 是黑色的.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

220. 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)同上；

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

221. 36. 公式“xF(x) yG(x, y)”的前束范式为：

A. xy(F(x) G(x, y))

B. xy(F(x) G(x, y))

C. y x (F(x) G(x, y))

D. xy(F(x) G(x, y))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

222. 37. 公式“xy(F(x, y) G(y, z)) xH(x, y, z)”中的全称量词x的辖域为：

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)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

223. 38. 设个体域 D={3,4}，F(3,3)=F(4,4)=0, F(3,4)=F(4,3)=1。则命题“xyF(x,y)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

224. 39. 设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数，令前提: x(G(x) F(x)), x(H(x) F(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))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

225. 40. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xF(f(x,x),g(x,x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

226. 41. 设个体域 D={a,b,c}, 消去谓词“xy(F(x) G(y))”中的量词后的形式为：

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)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

227. 42. 在全总个体域下，用一阶逻辑将命题“凡是汽车就比火车慢，这是不对的”符号化，下面不正确的为

A. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

B. xy(F(x) G(y) 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

C. x (F(x) y (G(y) H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

D. xy(F(x) G(y) H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

228. 43. 设个体域 D={3,4}，F(3,3)=F(4,4)=0, F(3,4)=F(4,3)=1。则命题“xyF(x,y)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

229. 44. 判断公式“xy(F(x) G(y) H(x,y))”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

230. 45. 令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车，令前提:x(F(x) G(x)), x(G(x) H(y)), xH(x)，则下面不是其有效结论的是：

A. xF(x)

B. xG(x)

C. xF(x)

D. xG(x)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

231. 46. 设 F(x):x 为有理数, R(x):x 为实数, G(x):x 是整数，令前提: x(F(x) R(x)), x(F(x) G(x))，则下面不是其有效结论的是：

A. x(R(x) G(x))

B. xF(x)

C. xR(x)

D. xG(x)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

232. 47. 设个体域 D={1,2}, 谓词F(x):x≤2, G(x):x≤0。命题“x(F(x) G(x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

233. 48. 设个体域 D={1,2}, 谓词F(x):x≤2, G(x):x≤3。命题“x(F(x) G(x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

234. 49. 判断公式“xyF(x, y) xyF(x, y)”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

235. 50. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的火车比所有的汽车跑得快”可符号化为：

A. xy(F(x) G( y) H(x, y))

B. xy(F(x) G( y) H(x, y))

C. xy(F(x) (G( y) H(x, y)))

D. xy(F(x) G( y) H(x, y)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

236. 51. 令前提:x(F(x) G(x)), x(G(x) R(x)), xR(x)，则下面不是其有效结论的是：

A. xF(x)

B. xF(x)

C. xG(x)

D. xG(x)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

237. 52. 令前提:x(F(x) G(x)), x(G(x) R(x)), xR(x)，则下面不是其有效结论的是：

A. xF(x)

B. xF(x)

C. xG(x)

D. xG(x)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

238. 53. 在全总个体域下，用一阶逻辑将命题“凡是汽车就比火车慢，这是不对的”符号化，下面不正确的为

A. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

B. xy(F(x) G(y) 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

C. x (F(x) y (G(y) H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

D. xy(F(x) G(y) H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

239. 54. 令 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. xy(F(x) F(y) H(x, y) L(x, y))

C. x(F(x) (y(F(y) H(x, y) L(x, y))).

D. xy(F(x) F(y) H(x, y) L(x, y))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

240. 55. 设F(x): x 小于负数, G(x): x 是正数，则命题“没有小于负数的正数”可符号化为：

A. x(G(x) F(x)).

B. x(G(x) F(x)).

C. x(G(x) F(x)).

D. x(G(x) F(x)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

241. 56. 在全总个体域下，用一阶逻辑将命题“不存在比所有火车都快的汽车”符号化，下面不正确的为

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 快.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

242. 57. 设个体域 D={a,b,c}, 消去谓词“xy(F(x) G(y))”中的量词后的形式为：

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))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

243. 58. 实数集合里，F(x,y): x=y， G(x,y): xxy(G(x,y) F(x,y))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

244. 59. 设个体域 D={3,4}，F(3,3)=F(4,4)=0, F(3,4)=F(4,3)=1。则命题“xyF(x,y)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

245. 60. 将命题“小王学过英语和法语”用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: 小王学过法语. 符号化为PQ。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

246. 61. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的汽车比有的火车跑得快”可符号化为：

A. xy(F(x) G( y) H(x, y))

B. xy(F(x) G( y) H(x, y))

C. xy(F(x) G( y) H(x, y))

D. xy(F(x) G( y) H(x, y))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

247. 62. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xF(f(x,x),g(x,x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

248. 63. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xyz(F(f(x,y),z)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

249. 64. 判断公式“xy(F(x) G(y) H(x,y))”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

250. 65. 谓词“x(x+5 = 0)”在个体域为自然数集时的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

251. 66. 令前提: x(F(x) (G(a) R(x))), xF(x)，则下面不是其有效结论的是：

A. x(F(x) R(x))

B. G(a)

C. xR(x)

D. xR(x)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

252. 67. 个体域为整数集, 公式“xy(x×y = 1)”翻译成自然语言，下面不合适的是

A. “每个整数都有一个倒数.”

B. “对于每个整数, 都能找到另一个整数, 它们相乘结果是1.”

C. “对任意非零整数, 都能找到另一个整数, 使得它们相乘结果等于1.”

D. “对于任意整数 x, 都存在整数 y, 使得 x×y = 1.”

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

253. 68. 判断公式“x(F(x) y(G(y) H(x,y)))”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

254. 69. 实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xxy(G(f(x,y),a) F(x,y))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

255. 70. 在全总个体域下，用一阶逻辑将命题“火车都比轮船快”符号化为

A. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

B. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

C. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

D. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

256. 71. 谓词“x(x+5 = 0)”在个体域为整数集时的真值为：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

257. 72. 设个体域 D={3,4}，F(3,3)=F(4,4)=0, F(3,4)=F(4,3)=1。则命题“xyF(x,y)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

258. 73. 公式“xy(F(x, y) G(y, z)) xH(x, y, z)”中的全称量词x的辖域为：

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)

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

259. 74. 在全总个体域下，用一阶逻辑将命题“在北京卖菜的人不全是外地人”符号化为

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 是外地人.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

260. 75. 个体域为整数集, 公式“xyz(x - y = z)”翻译成自然语言，下面不合适的是

A. “任意两个整数的差是整数.”

B. “对于任意两个整数, 都存在第三个整数, 它等于这两个整数相减.”

C. “对于任意整数 x 和 y, 都存在整数 z, 使得 x - y = z.”

D. “存在一个整数, 对于任意两个整数, 第一个整数都等于这两个整数相减.”

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

261. 76. 将命题“有的有理数能被 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)同上；

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

262. 77. 实数集合里，F(x,y): x=y， G(x,y): xxy(G(x,y) F(x,y))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

263. 78. 判断公式“xy(F(x, y) F(y, x))”的类型：

A. 重言式

B. 矛盾式

C. 可满足式

D. 无法确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

264. 79. 在全总个体域下，用一阶逻辑将命题“没有不能表示成分数的有理数”符号化为

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 能表示成分数.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

265. 80. 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的火车比所有的汽车跑得快”可符号化为：

A. xy(F(x) G( y) H(x, y))

B. xy(F(x) G( y) H(x, y))

C. xy(F(x) (G( y) H(x, y)))

D. xy(F(x) G( y) H(x, y)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

266. 81. 将命题“除非李建是东北人, 否则他一定怕冷”用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。

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

267. 82. 公式“xF(x) yG(x, y)”的前束范式为：

A. xy(F(x) G(x, y))

B. xy(F(x) G(x, y))

C. y x (F(x) G(x, y))

D. xy(F(x) G(x, y))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

268. 83. 设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数，令前提: x(G(x) F(x)), x(H(x) F(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))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

269. 84. 设个体域 D={1,2}, 谓词F(x):x≤2, G(x):x≤0。命题“x(F(x) G(x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

270. 85. 设个体域 D={a,b,c}, 消去谓词“xy(F(x) G(y))”中的量词后的形式为：

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)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

271. 86. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xy(F(f(x,a),y) F(f(y,a),x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

272. 87. 实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xxy(F(f(x,y),a) G(x,y))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

273. 88. 设个体域 D={1,2}, 谓词F(x):x≤2, G(x):x≤3。命题“x(F(x) G(x))”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

274. 89. 在全总个体域下，用一阶逻辑将命题“有的火车比有的汽车快”符号化为

A. xy(F(x) G(y) H(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

B. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

C. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

D. xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

275. 90. 令前提: x(F(x) G(x)), xG(x)，则下面不是其有效结论的是：

A. xF(x)

B. x G(x)

C. xF(x)

D. x(F(x) G(x))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

276. 91. 自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xF(g(x,a),x)”的真值：

A. 0

B. 1

C. 2

D. 不确定

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

277. 92. 令前提: xF(x) y((F(y) G(y)) R(y)), xF(x)，则下面不是其有效结论的是：

A. xR(x)

B. y((F(y) G(y)) R(y))

C. x(F(x) G(x))

D. x(F(x) G(x))

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

278. 93. 在全总个体域下，用一阶逻辑将命题“乌鸦都是黑色的”符号化为

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 是黑色的.

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

279. 94. 设F(x): x 小于负数, G(x): x 是正数，则命题“没有小于负数的正数”可符号化为：

A. x(G(x) F(x)).

B. x(G(x) F(x)).

C. x(G(x) F(x)).

D. x(G(x) F(x)).

答案：请关注【青鸟搜题】微信公众号，发送题目获取正确答案。

打赏

如果觉得文章对您有用，请随意打赏。
您的支持是我们继续创作的动力！

微信扫一扫

支付宝扫一扫