“数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（）。用（），是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科：（）。
举一反三
- 数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（集中地、大量地、系统地使用符号来研究和表述逻辑)。用(数学方法研究逻辑)，是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:(集合论、模型论、递归论和证明论)。
- ______是谓词逻辑， A: 亚里士多德逻辑 B: 现代数理逻辑
- 下列不属于形式逻辑范围的是( ) A: 亚里士多德三段论 B: 现代符号逻辑 C: 数理逻辑 D: 论辩逻辑
- 一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础
- 逻辑学是古代哲学三个核心要素之一，主要有三种形态，即_____、数理逻辑和辩证逻辑。 A: 符号逻辑 B: 理论逻辑 C: 形式逻辑 D: 演绎逻辑