数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
繁体字：琭拼音：xiàn 注音: ㄒㄧㄢˋ
五笔86：GMQN五笔98：GMQN郑码：clr
繁体字：代拼音：dài 注音: ㄉㄞˋ
五笔86：WAY五笔98：WAYY郑码：nhs
繁体字：邏拼音：luó 注音: ㄌㄨㄛˊ
五笔86：LQPI五笔98：LQPI郑码：lkrw
繁体字：輯拼音：jí 注音: ㄐㄧˊ
五笔86：LKBG五笔98：LKBG郑码：hejc
请输入您想查找的中文词语（如：努力）