网站首页 词典首页
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现 [ xiàn ] 1. 显露。 如 出现。表现。发现。体现。现身说法。 2. 实有的,当时就有的。 如 现金。现款。现货。现实(①客观存在的事物;②合于客观情况的)。 3. 目前,当时。 如 现时。现在。现今。现场。现代。现买现卖。 [更多解释]
代 [ dài ] 1. 替。 如 代替。代办。代销。代序。代表。 2. 历史上划分的时期。 如 时代。世代。古代。近代。现代。当(dāng )代。年代。 3. 世系的辈分。 如 下一代。 4. 姓。 [更多解释]
逻 [ luó ] 1. 巡察。 如 巡逻。逻吏(巡逻官)。逻骑。逻卒。 2. 遮拦。 如 “蛛蝥结网工遮逻”。 [更多解释]
辑 [ jí ] 1. 聚集,特指聚集材料编书。 如 辑录。辑要。辑逸。编辑。纂辑。 2. 聚集很多材料而成的书刊。 如 丛书第一辑。 3. 和,和睦。 如 辑睦。 4. 敛,拖着不便脱落。 5. 古同“缉”,连缀。 6. 古代称协调驾车的众马。 [更多解释]
现代逻辑的拼音是:xiàn dài luó jí点击 图标播放现代逻辑的发音。
现代逻辑的意思是:数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
汉语字词典共收录619831条汉语词条,基本涵盖了全部常用汉语字词的释义及用法,是语文学习的必备工具。