数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现(xiàn)
现(現)
⒈ 显露:出现。表现。发现。体现。现身说法。
⒉ 实有的,当时就有的:现金。现款。现货。现实(a.客观存在的事物;b.合于客观情况的)。
⒊ 目前,当时:现时。现在。现今。现场。现代。现买现卖。
cash、existing、on hand、present、show
隐
形声:从王、见声
appear, manifest, become visible
代(dài)
代
⒈ 替:代替。代办。代销。代序。代表。
⒉ 历史上划分的时期:时代。世代。古代。近代。现代。当(
)代。年代。⒊ 世系的辈分:下一代。
⒋ 姓。
era
会意:从亻、从弋
replace, replacement (of person or generation >); era, generation
逻(luó)
逻(邏)
⒈ 巡察:巡逻。逻吏(巡逻官)。逻骑。逻卒。
⒉ 遮拦:“蛛蝥结网工遮逻”。
patrol
形声:从辶、罗声
patrol; inspect; watch; patrol
辑(jí)
辑(輯)
⒈ 聚集,特指聚集材料编书:辑录。辑要。辑逸。编辑。纂辑。
⒉ 聚集很多材料而成的书刊:丛书第一辑。
⒊ 和,和睦:辑睦。
⒋ 敛,拖着不便脱落。
⒌ 古同“缉”,连缀。
⒍ 古代称协调驾车的众马。
collect、compile、edit、part、volume
形声:左形右声
gather up, collect; edit, compile