逻辑语
luó jí yǔ
邏輯語
逻辑语的意思
词语解释
逻辑语
◎一种基于谓词逻辑的人工语言。
国语辞典
逻辑语
◎一种基于谓词逻辑的人工语言。
网络解释
逻辑语 (汉语词语)
一种基于谓词逻辑的人工语言。
字义分解
逻
拼音 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. ⒋收敛~杖(收起拐杖)。 [更多解释]
语
拼音 yǔ 部首 讠 总笔画 9语 [ yǔ ] 1. 语 2. (形声。从言,吾声。本义谈论;议论;辩论) 3. 同本义 4. 语,论也。--《说文》 5. 于时语语。--《诗·大雅·公刘》。传论难曰语。” 6. 旦日,卒中往往语。--《史记》 7. 子不语怪、力、乱、神。--《论语·述而》 8. 夏虫不可以语于冰者,笃于时也。--《庄子·秋水》 9. 又如语怪(谈论怪物);语冰(谈论冰);语议(言谈议论) 10. 交谈,说话 11. 语,言也。--《广雅》 12. 语使能也。--《礼记·文王世子》。注语,言也。” 13. 又 14. 既歌而语。 15. 可与晤语。--《诗·陈风·东门之池》 16. 笑 17. 语yǔ 18. ⒈说,谈寡言少~。自言自~。 19. ⒉话,言论~言『~。外~。成~。 20. ⒊代替说话的动作手~。旗~。 21. ⒋简单的俗话或古句谚~。古~。~曰。 22. ⒌虫、鸟的鸣声蝉~。鸟~。 23. 语yù告诉莫~人。 24. 语yù 1.告诉。 2.通"悟"。 [更多解释]
