第1题:
在公理系统中任何非公理命题都不能()加以引用,没有经过()的命题都不能作为演绎推导的前提。
第2题:
下列关于Armstrong公理系统的叙述中,错误的是______。
A.Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中
B.Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来
C.通常把自反律、传递律和增广律统称为Armstrong公理系统
D.Armstrong公理系统中的传递律就是传递函数依赖
第3题:
形式主义的公理化研究方法是()。
A.“对象---公理---演绎”方法
B.“假设---演绎”方法
C.“抽象---演绎”方法
D.“归纳---演绎---推理”方法
第4题:
在一个逻辑证明中,可以作为基本论据的命题有()。
第5题:
形式主义的公理化研究方法是()。
A“对象---公理---演绎”方法
B“假设---演绎”方法
C“抽象---演绎”方法
D“归纳---演绎---推理”方法
第6题:
A.数理系统
B.逻辑系统
C.公理系统
D.形象系统
第7题:
《几何原本》最主要的特色是建立了比较严格的几何体系,在这个体系中有四方面主要内容()
A定义、公式、公设、命题
B定义、公理、公设、命题
C定义、公理、公设、推论
D定理、公理、公设、命题
第8题:
公理系统中的基本命题有两类:一类是(),另一类是()。所有的()都必须直接或间接地从()导出。
第9题:
()是按照一定的逻辑规定,即以若干定理、公理、定律为前提,直接推导出新结论的推理方法。
第10题:
基础陈述()