下载APP
【单选题】
命题演算的公理系统L与命题演算的自然演绎系统C相比：
A.
L系统的定理集更大
B.
C系统的定理集更大
C.
二者的定理集相同
D.
二者的定理集互不相干
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】下列关于Armstrong公理系统的叙述中，错误的是______。
A.
Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中
B.
Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来
C.
通常把自反律、传递律和增广律统称为Armstrong公理系统
D.
Armstrong公理系统中的传递律就是传递函数依赖