2025年逻辑学专业题库——数理逻辑与智能科技的发展

考试时间：______分钟总分：______分姓名：______

一、选择题（本部分共20小题，每小题2分，共40分。请将正确答案的字母填在答题卡相应位置。）

1.在命题逻辑中，下列哪个公式是重言式？

A.(p∨q)→?p

B.(p∧q)→p

C.?(p→q)?(p∧?q)

D.(p∨?p)?q

2.下列哪个命题在自然推理系统中是不可证明的？

A.p∨?p

B.(p∧q)→q

C.(p→q)∧(q→p)

D.?(p∧?p)

3.在谓词逻辑