| 词语: |  |
| 查字: | 现
代
逻
辑
|
| 拼音: |
空若网提示您：点击可以发音哦 |
| 含义解释: | ⒈数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。 |
| 词语: | |
| 查字: | 现
代
逻
辑
|
| 拼音: |
空若网提示您：点击可以发音哦 |
| 含义解释: | ⒈数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。 |