基本信息

---

下载

文档摘要

---

1、单选题

“凡是命题演算的公理系统，都由三条公理模式、一条推演规则构成”。这一说法是否正确？

A正确

B不正确

正确答案：B

2、单选题

((p1→((p1→p1)→p1))→((p1→(p1→p1))→(p1→p1)))是：

AL中符合L1的公理

BL中符合L2的公理

CL中符合L3的公理

D不是L的公理

正确答案：B

3、多选题

命题演算的公理系统L包含L1、L2、L3、MP。已知L具有可靠性、完全性、公理独立性。在L中去掉L3得到公理系统L’。L’具有（可多选）：

A可靠性

B完全性

C公理独立性

正确答案：A,C

4、单选题

命题演算的公理系统L的定理集和复合命题推理