基本解释：
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化, 就是用一套特制的表意符号去表示概念、判断、推理, 获得它们的形式结构, 从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
分解解释：
| 现 | (xiàn,)●现（現）xiànㄒㄧㄢˋ ◎显露：出现。表 | 查看详解 | | 代 | (dài,)代
dài
替：代替。代办。代销。代序。代表。
历史上划分的时期：时代。世代。古代。近代。现代。当（ | 查看详解 | | 逻 | (luó,)逻
（邏）
luó
巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。
遮拦：“蛛蝥结网工遮逻”。
笔画数： | 查看详解 | | 辑 | (ji,jí,)辑
（輯）
jí
聚集, 特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。
聚集很多材料而成的书刊：丛 | 查看详解 | |
