数理逻辑(mathematical logic)又称数学逻辑,是符号逻辑在其它领域特别是领域的扩充
举一反三
- 根据维基百科全书英文版的观点,数理逻辑是( )在其他领域的扩充。 A: 三段论逻辑 B: 符号逻辑 C: 演绎逻辑 D: 现代逻辑
- 数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（集中地、大量地、系统地使用符号来研究和表述逻辑)。用(数学方法研究逻辑)，是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:(集合论、模型论、递归论和证明论)。
- 下列属于逻辑学的范例有 ( )。 A: 亚里士多德逻辑 B: 符号逻辑 C: 数理逻辑 D: 命题逻辑 E: 谓词逻辑
- 下列不属于形式逻辑范围的是( ) A: 亚里士多德三段论 B: 现代符号逻辑 C: 数理逻辑 D: 论辩逻辑
- 形式逻辑的经典范例是( )。 A: 亚里士多德逻辑 B: 亚里士多德三段论逻辑 C: 三段论逻辑 D: 现代符号逻辑 E: 符号逻辑