现代逻辑
- 拼音
- [ xiàn dài luó jí ]
- 注音
- [ ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ ]
- 简体
- 现代逻辑
- 繁体
- 現代邏輯
- 五笔
- gm wa lqp lkb
- 更新
词语解释
现代逻辑[ xiàn dài luó jí ]
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。