现代逻辑

现代逻辑

词语解释

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

词语分字解释

现(xiàn)

基本字义
现（現）xiàn（ㄒ一ㄢˋ）
⒈ 显露：出现。表现。发现。体现。现身说法。
⒉ 实有的，当时就有的：现金。现款。现货。现实（a.客观存在的事物；b.合于客观情况的）。
⒊ 目前，当时：现时。现在。现今。现场。现代。现买现卖。
汉英互译
cash、existing、on hand、present、show
相关字词
隐
造字法
形声：从王、见声
English
appear, manifest, become visible

代(dài)

基本字义
代dài（ㄉㄞˋ）
⒈ 替：代替。代办。代销。代序。代表。
⒉ 历史上划分的时期：时代。世代。古代。近代。现代。当（dāng ）代。年代。
⒊ 世系的辈分：下一代。
⒋ 姓。
汉英互译
era
造字法
会意：从亻、从弋
English
replace, replacement (of person or generation >); era, generation

逻(luó)

基本字义
逻（邏）luó（ㄌㄨㄛˊ）
⒈ 巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。
⒉ 遮拦：“蛛蝥结网工遮逻”。
汉英互译
patrol
造字法
形声：从辶、罗声
English
patrol; inspect; watch; patrol

辑(jí)

基本字义
辑（輯）jí（ㄐ一ˊ）
⒈ 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。
⒉ 聚集很多材料而成的书刊：丛书第一辑。
⒊ 和，和睦：辑睦。
⒋ 敛，拖着不便脱落。
⒌ 古同“缉”，连缀。
⒍ 古代称协调驾车的众马。
汉英互译
collect、compile、edit、part、volume
造字法
形声：左形右声
English
gather up, collect; edit, compile

词语组词

相关词语