拼音xiàn dài luó jí
注音ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
繁体現代邏輯
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
CopyRight ©2026 字词典在线查询[www.dgqtyx.com.cn]版权所有 All Rights Reserved.
本网站部分内容来源于网友投稿及网络汇编,仅为交流学习之用,原作者保留权利。若有侵权,请及时告知,我们将立即处理。