基本信息
文件名称:学堂在线 逻辑学概论 期末考试答案.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的定理集和复合命题推理