打乱认字 不认识 基本释义 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。 词语接龙 辑刊辑刻辑印辑合辑和辑宁辑安辑定辑屦辑录辑志协力辑本辑柔辑校辑治辑洽辑濯辑熙辑理辑瑞辑着辑睦辑矢辑穆辑绥辑补辑褫辑译辑谐辑辑辑里丝辑録辑集辑首
