基本信息

---

下载

文档摘要

---

2025年考试推理题及答案

一、单项选择题（每题2分，共10题）

1.如果A→B且B→C，那么A→C。

A.正确

B.错误

答案：A

2.一个集合的所有子集的集合称为该集合的幂集。

A.正确

B.错误

答案：A

3.在命题逻辑中，命题公式P为重言式当且仅当其否定公式P为矛

盾式。

A.正确

B.错误

答案：A

4.如果一个命题公式P在所有解释下都为真，则称P为可满足的。

A.正确

B.错误

答案：B

5.在谓词逻辑中，量词表示“对于所有”，量词表示“存在”。

A.正确

B.错误

答案：A