🎃个人专栏：

🐬 算法设计与分析：算法设计与分析_IT闫的博客-CSDN博客

🐳Java基础：Java基础_IT闫的博客-CSDN博客

🐋c语言：c语言_IT闫的博客-CSDN博客

🐟MySQL：数据结构_IT闫的博客-CSDN博客

🐠数据结构：​​​​​​数据结构_IT闫的博客-CSDN博客

💎C++：C++_IT闫的博客-CSDN博客

🥽C51单片机：C51单片机（STC89C516）_IT闫的博客-CSDN博客

💻基于HTML5的网页设计及应用：基于HTML5的网页设计及应用_IT闫的博客-CSDN博客​​​​​​

🥏python：python_IT闫的博客-CSDN博客

🐠离散数学：离散数学_IT闫的博客-CSDN博客

欢迎收看，希望对大家有用！

目录

一. 单选题（共16题，88分）

1. (单选题)

2. (单选题)

3. (单选题)

4. (单选题)

5. (单选题)设个体域为整数集，下列真值为真的公式是（    ）。

6. (单选题)

7. (单选题)

8. (单选题)下面谓词公式是永真式的是（    ）。

9. (单选题)

10. (单选题)

11. (单选题)

12. (单选题)命题“有的人喜欢所有的花”的逻辑符号化为（    ）。

13. (单选题)

14. (单选题)

15. (单选题)

16. (单选题)

二. 判断题（共2题，12分）

17. (判断题)

18. (判断题)R(x)：“x是大学生。” 是命题。

🎯答案： 

---

一. 单选题（共16题，88分）

1. (单选题)

设F（x）：x是人，G（x）：x早晨吃面包。

命题“有些人早晨吃面包”在谓词逻辑中的符号化公式是（   ）。

• A. 

  ​

• B. 

  ​

• C. 

  ​

• D. 

  ​

2. (单选题)

设F（x）：x是火车，G（x）：x是汽车，H（x，y）：x比y快。

命题“某些汽车比所有火车慢”的符号化公式是（    ）。

• A. 

  ​

• B.

  ​

• C.

  ​

• D. 

  ​

3. (单选题)

​

• A. 1
• B. 2
• C. 3
• D. 4

4. (单选题)

​

• A.

  1和4和5

• B. 2和4
• C. 2和3和5
• D. 2和5

5. (单选题)设个体域为整数集，下列真值为真的公式是（    ）。

• A. 

  ​

• B. 

  ​

• C. 

  ​

• D. 

  ​

6. (单选题)

​

• A. 1
• B. 2
• C. 3
• D. 4

7. (单选题)

​

• A. 

  ​

• B. 

  ​

• C. 

  ​

• D. 

  ​

8. (单选题)下面谓词公式是永真式的是（    ）。

• A. 

  ​

• B. 

  ​

• C. 

  ​

• D. 

  ​

9. (单选题)

​

• A. 1
• B. 2
• C. 3
• D. 4

10. (单选题)

​

• A. u
• B. x
• C. y
• D. z

11. (单选题)

​

• A. 1
• B. 2
• C. 3
• D. 4

12. (单选题)命题“有的人喜欢所有的花”的逻辑符号化为（    ）。

• A. 

  ​

• B. 

  ​

• C. 

  ​

• D. 

  ​

13. (单选题)

​

• A. 永真的
• B. 永假的
• C. 可满足的
• D. 前束范式

14. (单选题)

​

• A. 1
• B. 2
• C. 3
• D. 4

15. (单选题)

设S（x）：x是运动员，J（y）：y是教练员，L（x，y）：x钦佩y。

命题“所有运动员都钦佩一些教练员”的符号化公式是（   ） 。

• A.

  ​

• B. 

  ​

• C. 

  ​

• D. 

  ​

16. (单选题)

​

• A. 1和4和5
• B. 2和4
• C. 1和3
• D. 2和5

二. 判断题（共2题，12分）

17. (判断题)

R(x)：“x是大学生。”

a：小明

R（a） 是命题。

• A. 对
• B. 错

18. (判断题)R(x)：“x是大学生。” 是命题。

• A. 对
• B. 错

🎯答案： 

1-5：DBBCC

6-10：DCBCB

11-16：DDCACC

17-18：对错