现代逻辑
基本解释
词条：『现代逻辑』
拼音：xiàn dài luó jí
注音：ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
解释：数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
基本字义
现（現）xiàn（ㄒ一ㄢˋ）
1、显露：出现。表现。发现。体现。现身说法。
2、实有的，当时就有的：现金。现款。现货。现实（a.客观存在的事物；b.合于客观情况的）。
3、目前，当时：现时。现在。现今。现场。现代。现买现卖。
基本字义
代dài（ㄉㄞˋ）
1、替：代替。代办。代销。代序。代表。
2、历史上划分的时期：时代。世代。古代。近代。现代。当（dāng）代。年代。
3、世系的辈分：下一代。
4、姓。
基本字义
逻（邏）luó（ㄌㄨㄛˊ）
1、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。
2、遮拦：“蛛蝥结网工遮逻”。
基本字义
辑（輯）jí（ㄐ一ˊ）
1、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。
2、聚集很多材料而成的书刊：丛书第一辑。
3、和，和睦：辑睦。
4、敛，拖着不便脱落。
5、古同“缉”，连缀。
6、古代称协调驾车的众马。