“四色猜想”，最终在哪一年被人们用计算机得到证明（）

【名词&注释】

反证法、排中律(law of excluded middle)、矛盾律(law of contradiction)、西塞罗(marcus tullius)、几何学(geometry)、同一律(law of identity)

[单选题]“四色猜想”，最终在哪一年被人们用计算机得到证明（）

A. A、1970年
B. B、1971年
C. C、1972年
D. D、1973年

查看答案&解析 查看所有试题

学习资料：

[单选题]几何学^(geometry)是从什么应用中产生的（）

A. A、天文观测
B. B、土地测量
C. C、建筑建设
D. D、绘画艺术

[单选题]反证法的依据是逻辑里的（）。

A. A、充足理由律
B. B、同一律^{(law of identity)}
C. C、排中律
D. D、矛盾律

[单选题]西塞罗认为，“假如我们把（）看作我们的向导，她是决不会把我们领入歧途的”。

A. 科学
B. 理性
C. 数学
D. 自然

本文链接：https://www.51bdks.net/show/53987y.html