在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。

第1题：

第2题：

《几何原本》最主要的特色是建立了比较严格的几何体系，在这个体系中有四方面主要内容（）

A定义、公式、公设、命题

B定义、公理、公设、命题

C定义、公理、公设、推论

D定理、公理、公设、命题

B
略

第3题：

（）是按照一定的逻辑规定，即以若干定理、公理、定律为前提，直接推导出新结论的推理方法。

• A、信息交合法
• B、演绎法
• C、仿生法
• D、形态分析法

正确答案:B

第4题：

基础陈述（）

• A、是在没有特别理由的情况下作为判别其他观察陈述的前提的陈述
• B、构成科学发展的背景知识
• C、是判决性实验的结果
• D、是公理化体系科学中的基本假定或者公理

正确答案:B

第5题：

儿童几何学习的起点主要是（）

• A、已有概念
• B、生活经验
• C、公理体系
• D、几何命题

正确答案:B

第6题：

命题可以进行直接检验，而公理与定理则不可以进行检验。

正确答案:错误

第7题：

要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。

• A、矛盾
• B、命题
• C、结论
• D、前提

正确答案:A

第8题：

第9题：

第10题：

第11题：

第12题：

第13题：

命题是指社会上普遍存在的（）

A公理

B定理

C理论

D假设

E学说

F经验概括

A,B,D,F
略

第14题：

形式主义的公理化研究方法是（）。

A“对象---公理---演绎”方法

B“假设---演绎”方法

C“抽象---演绎”方法

D“归纳---演绎---推理”方法

B
略

第15题：

在一个逻辑证明中，可以作为基本论据的命题有（）。

• A、真实性明显的事实性命题
• B、真实性不言自明的公理或科学定理
• C、真实性尚未确定的命题
• D、经过实践反复检验的一般性理论和原则
• E、具有法律效力的法律规范

正确答案:A,B,D,E

第16题：

试由amstrong 公理系统推导出下面三条推理规则

正确答案: （l）合并规则：若X一Z，X一Y，则有X一YZ
（2）伪传递规则：由x一Y，明吟z有翔一z
（3）分解规则：x一Y，zcy，有x一z
证明
（l）已知X一Z，由增广律知哟，YZ，又因为X一Y，可得狱一X卜）YZ，最后根据传递律得x一YZ。
（2）已知X一Y，据增广律得翔一Wy，因为阴几）Z，所以X林协明，Z，通过传递律可知翔一Z。
（3）已知zcy，根据自反律知、吟z，又因为x一Y，所以由传递律可得x一Z。

第17题：

以下属于未经证实的命题的是（）

• A、公理
• B、定理
• C、经验概括
• D、假设

正确答案:D

第18题：

命题的类型主要有（）

• A、公理
• B、定理
• C、经验概括
• D、假设

正确答案:A,B,C,D

第19题：

毕达哥拉斯定理在《几何原本》中属于（）。

• A、定义
• B、公设
• C、公理
• D、命题

正确答案:D

第20题：

第21题：

第22题：

第23题：

第24题：