基本信息
文件名称:学堂在线 逻辑学概论 期末考试答案.docx
文件大小:20.4 KB
总页数:8 页
更新时间:2025-07-09
总字数:约1.63千字
文档摘要

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的定理集和复合命题推理