chinese-xinhua 开源字词库
简体整理词头：现代逻辑
版本 fe6d6c2e8baa
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
查看完整资料与来源
- 词头
- 现代逻辑
- 释义
- 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
来源：pwxcoo/chinese-xinhua；本站作简体转换、去重与格式整理。 数据说明与许可