🎃个人专栏:
🐬 算法设计与分析:算法设计与分析_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博客
欢迎收看,希望对大家有用!
目录
5. (单选题)设个体域为整数集,下列真值为真的公式是( )。
12. (单选题)命题“有的人喜欢所有的花”的逻辑符号化为( )。
一. 单选题(共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:对错