问题：
[单选题]命题演算的公理系统L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理独立性。
从L中去掉L3得到公理系统L’
在L中加上（ A → A ）作为L4得到公理系统L”
在这三个公理系统中，具有可靠性的是：
AL
BL 和L’
CL 和L”
DL，L’和L”
答案解析：
您可能感兴趣的问题
- 按照本讲的内容，本雅明的《历史哲学论纲》所主张的历史观的特点是：
- 拉斯韦尔提出“谁得到什么，何时和如何得到”是政治正当性的基本判断依据。（）
- 《独立宣言》中“造物者创造了平等的个人，并赋予他们若干不可剥夺的权利，其中包括生命权、自由权和追求幸福的权利。”这句话出自哪一位美国思想家（）
- 张宏杰认为，体现了制度的利他性是国家强盛的一个重要因素。（）
- 周公制度的设计是建立在人人机会均等的基础上的。（）
- 西方科学（自然哲学）在大约16世纪下半叶传入中国的时候，被译为：
- 自然与社会的互构模型的具体内涵是：
- 科学的社会建构论并没有触及科学的认识论内核。
- 现代科技诱发了诸多形式的生态问题，其中不包括：
- 罗马帝国的文化特征是______。