现代逻辑
xiàn dài luó jí
現代邏輯
现代逻辑的意思
词语解释
现代逻辑
◎数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
国语辞典
现代逻辑
◎数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
网络解释
现代逻辑 (汉语词语)
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
字义分解
现
拼音 xiàn 部首 见 总笔画 8现 [ xiàn ] 1. 现 2. (形声。从玉,见声。本义出现) 3. 同本义(明显看得见) 4. 现,俗见字。--《广韵》 5. 东坡现右足。--明·魏学洢《核舟记》 6. 又如现弄(在人面前炫示自己);现化(佛教所称佛或菩萨在人间显现的化身);现示(显示) 7. 见 8. 帝宣,三人借袍现帝。--《三国志平话》 9. 现 10. 玉光 11. 现,玉光。--《集韵》 12. 次于玉的石 13. 现,石之次玉者。--《集韵》 14. 现 15. 现在,眼前 16. 那世里造的孽,这会子现世现报。--《红楼梦》 17. 又如现时报(现世报);现 18. 现xiàn 19. ⒈显出,出现,显露表~。华佗再~。昙花一~。 20. ⒉目前,现时~在。~代。~任。 21. ⒊当时,临时,当场~有的。~买~卖。~场表演。 22. ⒋实有的,当时可拿的~金。~货。 23. ⒌ [更多解释]
代
拼音 dài 部首 亻 总笔画 5代 [ dài ] 1. 代 2. (形声。小篆字形,从人,弋声。本义更迭,代替) 3. 同本义 4. 代,更也。凡以此易彼,以后续前,皆曰代。--《说文》 5. 县壶以代哭者。--《周礼·挈壶氏》 6. 与君代兴。--《左传·昭公十二年》。注更也。” 7. 使子父代处。--《国语·晋语》。注更也。” 8. 岁代处,故曰代田。--《汉书·食货志》。注易也。” 9. 韩地代相干也。--《汉书·地理志》 10. 四时迭代。--张衡《东京赋》 11. 转相攻伐,代为雌雄。--《汉书·刑法志》 12. 日月迭炤,四时代御。--《荀子·天论》 13. 孝成王使括(赵括)代廉颇为 [更多解释]
逻
拼音 luó 部首 辶 总笔画 11逻 [ luó ] 1. 逻 2. (形声。从辵,表示与行走有关,罗声。本义巡察,巡逻) 3. 同本义 4. 逻者数十骑。--宋·文天祥《指南录后序》 5. 又如逻伺(巡罗侦察);逻弋(巡逻);逻守(巡逻守卫);逻役(巡逻的差役);逻捕(巡察搜捕) 6. 遮拦 7. 蛛蝥结网工遮逻。--黄庭坚《演雅》 8. 又如逻打(拦截殴打);逻送(捕捉解送);逻惹(招惹);逻楂儿(找岔子) 9. 用同捋” 10. 又只见那洞外跳出几个小妖,在外边吆吆喝喝,伸拳逻袖,弄棒拈枪,依旧喜喜欢欢耍了。--《西游记》 11. 又如逻袖(捋起袖子) 12. 逻 13. 逻卒;巡行兵 14. 逻(邏)luó 15. ⒈巡察巡~。 16. ⒉ 17. ①思维的规律讲得有理,符合~辑。 18. ②研究思维的形式和规律的科学,叫逻辑学,也叫"伦理学"。 19. ③有时义同"规律"这是什么~辑? [更多解释]
辑
拼音 jí 部首 车 总笔画 13辑 [ jí ] 1. 辑 2. (形声。本义车箱) 3. 同本义。泛指车子 4. 辑,车和辑也。--《说文》 5. 辑,合材为车,咸相得谓之辑。--《六书故》 6. 推于御也,齐辑乎辔衔之际。--《列子·汤问》 7. 整套书籍、资料等按内容或发表先后次序分成的各个部分 8. 辑 9. 聚集 10. 甲辑而兵聚。--《韩非子·说林》 11. 又如辑辑(群集的样子) 12. 敛,拖着不使脱落 13. 望于山川,遍于群神,辑五瑞。--《书·舜典》 14. 有饿者,蒙袂辑屦,贸贸然来。--《礼记》 15. 把各种来源的书面材料或项目经加工汇编成一个文件或 16. 辑jí 17. ⒈〈古〉车厢。泛指车子。 18. ⒉聚集甲~而兵聚。特指编书报等或编成的书编~。丛书第四~。 19. ⒊和睦~睦。〈引〉安抚,安定以~一方。 20. ⒋收敛~杖(收起拐杖)。 [更多解释]
