版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
PAGE1.在直觉逻辑中，以下哪一项不是有效的推理规则？
-A.引入合取
-B.消解合取
-C.引入析取
-D.否定前件
**参考答案**:D
**解析**:否定前件是经典逻辑中的推理规则，但在直觉逻辑中无效。
2.在直觉逻辑中，以下哪一项是有效的推理规则？
-A.排中律
-B.双重否定消除
-C.引入蕴涵
-D.否定引入
**参考答案**:C
**解析**:引入蕴涵是直觉逻辑中的有效推理规则，而排中律和双重否定消除在直觉逻辑中无效。
3.在直觉逻辑中，以下哪一项推理规则允许从A和B推导出A∧B？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:A
**解析**:引入合取规则允许从A和B推导出A∧B。
4.在直觉逻辑中，以下哪一项推理规则允许从A∨B和¬A推导出B？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:D
**解析**:消解析取规则允许从A∨B和¬A推导出B。
5.在直觉逻辑中，以下哪一项推理规则允许从A→B和A推导出B？
-A.引入蕴涵
-B.消解蕴涵
-C.引入合取
-D.消解合取
**参考答案**:B
**解析**:消解蕴涵规则允许从A→B和A推导出B。
6.在直觉逻辑中，以下哪一项推理规则允许从A推导出A∨B？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:C
**解析**:引入析取规则允许从A推导出A∨B。
7.在直觉逻辑中，以下哪一项推理规则允许从A∧B推导出A？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:B
**解析**:消解合取规则允许从A∧B推导出A。
8.在直觉逻辑中，以下哪一项推理规则允许从A和A→B推导出B？
-A.引入蕴涵
-B.消解蕴涵
-C.引入合取
-D.消解合取
**参考答案**:B
**解析**:消解蕴涵规则允许从A和A→B推导出B。
9.在直觉逻辑中，以下哪一项推理规则允许从A推导出A→B？
-A.引入蕴涵
-B.消解蕴涵
-C.引入合取
-D.消解合取
**参考答案**:A
**解析**:引入蕴涵规则允许从A推导出A→B。
10.在直觉逻辑中，以下哪一项推理规则允许从A和B推导出A∨B？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:C
**解析**:引入析取规则允许从A和B推导出A∨B。
11.在直觉逻辑中，以下哪一项推理规则允许从A∨B和¬B推导出A？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:D
**解析**:消解析取规则允许从A∨B和¬B推导出A。
12.在直觉逻辑中，以下哪一项推理规则允许从A→B和¬B推导出¬A？
-A.引入蕴涵
-B.消解蕴涵
-C.否定引入
-D.否定消解
**参考答案**:C
**解析**:否定引入规则允许从A→B和¬B推导出¬A。
13.在直觉逻辑中，以下哪一项推理规则允许从A∧B推导出B？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:B
**解析**:消解合取规则允许从A∧B推导出B。
14.在直觉逻辑中，以下哪一项推理规则允许从A和B推导出B∧A？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:A
**解析**:引入合取规则允许从A和B推导出B∧A。
15.在直觉逻辑中，以下哪一项推理规则允许从A→B和B→C推导出A→C？
-A.引入蕴涵
-B.消解蕴涵
-C.引入合取
-D.消解合取
**参考答案**:A
**解析**:引入蕴涵规则允许从A→B和B→C推导出A→C。
16.在直觉逻辑中，以下哪一项推理规则允许从A→B和B→C推导出A→C？
-A.引入蕴涵
-B.消解蕴涵
-C.引入合取
-D.消解合取
**参考答案**:A
**解析**:引入蕴涵规则允许从A→B和B→C推导出A→C。
17.在直觉逻辑中，以下哪一项推理规则允许从A和B→C推导出B→C？
-A.引入蕴涵
-B.消解蕴涵
-C.引入合取
-D.消解合取
**参考答案**:A
**解析**:引入蕴涵规则允许从A和B→C推导出B→C。
18.在直觉逻辑中，以下哪一项推理规则允许从A→B和A推导出B？
-A.引入蕴涵
-B.消解蕴涵
-C.引入合取
-D.消解合取
**参考答案**:B
**解析**:消解蕴涵规则允许从A→B和A推导出B。
19.在直觉逻辑中，以下哪一项推理规则允许从A和B推导出A∧B？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:A
**解析**:引入合取规则允许从A和B推导出A∧B。
20.在直觉逻辑中，以下哪一项推理规则允许从A∨B和¬A推导出B？
-A.引入合取
-B.消解合取
-C.引入析取
-D.消解析取
**参考答案**:D
**解析**:消解析取规则允许从A∨B和¬A推导出B。
21.在直觉逻辑中，以下哪个推理规则允许从“如果A，那么B”和“A”推出“B”？
-A.合取引入
-B.析取消除
-C.假言推理
-D.否定引入
**参考答案**:C
**解析**:假言推理（ModusPonens）允许从“如果A，那么B”和“A”推出“B”。
22.在直觉逻辑中，以下哪个推理规则允许从“如果A，那么B”和“非B”推出“非A”？
-A.假言推理
-B.否定引入
-C.假言三段论
-D.否定消除
**参考答案**:B
**解析**:否定引入（ModusTollens）允许从“如果A，那么B”和“非B”推出“非A”。
23.在直觉逻辑中，以下哪个推理规则允许从“A”和“B”推出“A且B”？
-A.合取引入
-B.析取引入
-C.假言推理
-D.否定引入
**参考答案**:A
**解析**:合取引入（ConjunctionIntroduction）允许从“A”和“B”推出“A且B”。
24.在直觉逻辑中，以下哪个推理规则允许从“A且B”推出“A”？
-A.合取消除
-B.析取消除
-C.假言推理
-D.否定引入
**参考答案**:A
**解析**:合取消除（ConjunctionElimination）允许从“A且B”推出“A”。
25.在直觉逻辑中，以下哪个推理规则允许从“A”推出“A或B”？
-A.合取引入
-B.析取引入
-C.假言推理
-D.否定引入
**参考答案**:B
**解析**:析取引入（DisjunctionIntroduction）允许从“A”推出“A或B”。
26.在直觉逻辑中，以下哪个推理规则允许从“A或B”、“如果A，那么C”和“如果B，那么C”推出“C”？
-A.合取消除
-B.析取消除
-C.假言推理
-D.否定引入
**参考答案**:B
**解析**:析取消除（DisjunctionElimination）允许从“A或B”、“如果A，那么C”和“如果B，那么C”推出“C”。
27.在直觉逻辑中，以下哪个推理规则允许从“如果A，那么B”和“如果B，那么C”推出“如果A，那么C”？
-A.假言三段论
-B.合取引入
-C.析取消除
-D.否定引入
**参考答案**:A
**解析**:假言三段论（HypotheticalSyllogism）允许从“如果A，那么B”和“如果B，那么C”推出“如果A，那么C”。
28.在直觉逻辑中，以下哪个推理规则允许从“非非A”推出“A”？
-A.否定消除
-B.合取引入
-C.析取消除
-D.假言推理
**参考答案**:A
**解析**:否定消除（DoubleNegationElimination）允许从“非非A”推出“A”。
29.在直觉逻辑中，以下哪个推理规则允许从“A”和“非A”推出“B”？
-A.矛盾引入
-B.合取引入
-C.析取消除
-D.假言推理
**参考答案**:A
**解析**:矛盾引入（ExFalsoQuodlibet）允许从“A”和“非A”推出“B”。
30.在直觉逻辑中，以下哪个推理规则允许从“如果A，那么B”和“如果非A，那么B”推出“B”？
-A.析取消除
-B.合取引入
-C.假言推理
-D.否定引入
**参考答案**:A
**解析**:析取消除（DisjunctionElimination）允许从“如果A，那么B”和“如果非A，那么B”推出“B”。
31.在直觉逻辑中，以下哪个推理规则允许从“A”推出“如果B，那么A”？
-A.假言引入
-B.合取引入
-C.析取消除
-D.否定引入
**参考答案**:A
**解析**:假言引入（ConditionalIntroduction）允许从“A”推出“如果B，那么A”。
32.在直觉逻辑中，以下哪个推理规则允许从“如果A，那么B”和“如果A，那么非B”推出“非A”？
-A.否定引入
-B.合取引入
-C.析取消除
-D.假言推理
**参考答案**:A
**解析**:否定引入（ReductioadAbsurdum）允许从“如果A，那么B”和“如果A，那么非B”推出“非A”。
33.在直觉逻辑中，以下哪个推理规则允许从“A”和“B”推出“B且A”？
-A.合取引入
-B.析取引入
-C.假言推理
-D.否定引入
**参考答案**:A
**解析**:合取引入（ConjunctionIntroduction）允许从“A”和“B”推出“B且A”。
34.在直觉逻辑中，以下哪个推理规则允许从“A且B”推出“B”？
-A.合取消除
-B.析取消除
-C.假言推理
-D.否定引入
**参考答案**:A
**解析**:合取消除（ConjunctionElimination）允许从“A且B”推出“B”。
35.在直觉逻辑中，以下哪个推理规则允许从“A或B”和“非A”推出“B”？
-A.析取消除
-B.合取引入
-C.假言推理
-D.否定引入
**参考答案**:A
**解析**:析取消除（DisjunctiveSyllogism）允许从“A或B”和“非A”推出“B”。
36.在直觉逻辑中，以下哪个推理规则允许从“如果A，那么B”和“如果C，那么B”推出“如果A或C，那么B”？
-A.析取引入
-B.合取引入
-C.假言推理
-D.否定引入
**参考答案**:A
**解析**:析取引入（DisjunctionIntroduction）允许从“如果A，那么B”和“如果C，那么B”推出“如果A或C，那么B”。
37.在直觉逻辑中，以下哪个推理规则允许从“如果A，那么B”和“如果B，那么C”推出“如果A，那么C”？
-A.假言三段论
-B.合取引入
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 河北正定师范高等专科学校《中国城市发展与规划史》2023-2024学年第二学期期末试卷
- 重庆工程职业技术学院《建筑及周边环境设计》2023-2024学年第二学期期末试卷
- 2025武汉官方购房合同范本电子版
- 浙江艺术职业学院《水利水电工程施工》2023-2024学年第一学期期末试卷
- 2025工业设备采购合同范本简约版
- 2025年广东省简易服务合同范本
- 沈阳航空职业技术学院《医学科研与论文写作》2023-2024学年第二学期期末试卷
- 重庆对外经贸学院《统一建模语言及工具》2023-2024学年第二学期期末试卷
- 连云港职业技术学院《中国音乐史及作品欣赏2》2023-2024学年第一学期期末试卷
- 贵州电子科技职业学院《婴幼儿早期教育指导》2023-2024学年第二学期期末试卷
- 《合规管理培训》课件
- 2025年高考政治一轮复习知识清单必修四《哲学与文化》重难点知识
- 2021年4月17日江苏事业单位考试《综合知识和能力素质》（管理岗客观题）
- 计算与人工智能概论（湖南大学）知到智慧树章节答案
- 飞机构造基础(完整课件)
- 三年级上册劳动《立体贺卡》课件
- 12万吨年丁二烯抽提装置、10-3万吨年MTBE-丁烯-1装置总承包工程施工组织设计
- 骨盆骨折治疗新进展
- 防范电信诈骗安全教育共建平安校园宣传课件
- DFMEA-磷酸铁锂电池案例
- 消除“艾梅乙”医疗歧视-从我做起
评论
0/150
提交评论