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