根据维基百科全书英文版的观点,数理逻辑是( )在其他领域的扩充。
A: 三段论逻辑
B: 符号逻辑
C: 演绎逻辑
D: 现代逻辑
A: 三段论逻辑
B: 符号逻辑
C: 演绎逻辑
D: 现代逻辑
B
举一反三
- 形式逻辑的经典范例是( )。 A: 亚里士多德逻辑 B: 亚里士多德三段论逻辑 C: 三段论逻辑 D: 现代符号逻辑 E: 符号逻辑
- 数理逻辑(mathematical logic)又称数学逻辑,是符号逻辑在其它领域特别是领域的扩充
- 下列不属于形式逻辑范围的是( ) A: 亚里士多德三段论 B: 现代符号逻辑 C: 数理逻辑 D: 论辩逻辑
- 从严格意义上讲,下列不属于形式逻辑的是( )。 A: 演绎逻辑 B: 三段论 C: 符号逻辑 D: 归纳逻辑
- 逻辑学是古代哲学三个核心要素之一，主要有三种形态，即_____、数理逻辑和辩证逻辑。 A: 符号逻辑 B: 理论逻辑 C: 形式逻辑 D: 演绎逻辑
内容
- 0
______是谓词逻辑， A: 亚里士多德逻辑 B: 现代数理逻辑
- 1
数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（集中地、大量地、系统地使用符号来研究和表述逻辑)。用(数学方法研究逻辑)，是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:(集合论、模型论、递归论和证明论)。
- 2
下列属于逻辑学的范例有 ( )。 A: 亚里士多德逻辑 B: 符号逻辑 C: 数理逻辑 D: 命题逻辑 E: 谓词逻辑
- 3
一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础
- 4
古希腊人所承认的逻辑体系是（） A: 归纳逻辑体系 B: 数理逻辑体系 C: 辩证逻辑体系 D: 演绎逻辑体系