数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
查单字代的意思辑的意思逻的意思现的意思
查组词含代的组词含辑的组词含逻的组词含现的组词
查成语含代的成语含辑的成语含逻的成语含现的成语