数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现 [ xiàn ] 1. 显露。 如 出现。表现。发现。体现。现身说法。 2. 实有的，当时就有的。 如 现金。现款。现货。现实（①客观存在的事物；②合于客观情况的）。 3. 目前，当时。 如 现时。现在。现今。现场。现代。现买现卖。
代 [ dài ] 1. 替。 如 代替。代办。代销。代序。代表。 2. 历史上划分的时期。 如 时代。世代。古代。近代。现代。当（dāng ）代。年代。 3. 世系的辈分。 如 下一代。 4. 姓。
逻 [ luó ] 1. 巡察。 如 巡逻。逻吏（巡逻官）。逻骑。逻卒。 2. 遮拦。 如 “蛛蝥结网工遮逻”。
辑 [ jí ] 1. 聚集，特指聚集材料编书。 如 辑录。辑要。辑逸。编辑。纂辑。 2. 聚集很多材料而成的书刊。 如 丛书第一辑。 3. 和，和睦。 如 辑睦。 4. 敛，拖着不便脱落。 5. 古同“缉”，连缀。 6. 古代称协调驾车的众马。
版权声明：本文内容由互联网用户投稿及网络搜集，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请联系QQ：37996619（同微信）举报，一经查实，本站将立刻删除。