量化逻辑
liàng huà luó ji
量化邏輯
量化逻辑的意思
词语解释
量化逻辑
◎quantificational logic (i.e. first-order logic);繁体:量化邏輯
国语辞典
量化逻辑
◎quantificational logic (i.e. first-order logic);繁体:量化邏輯
网络解释
量化逻辑 (汉语词语)
quantificational logic (i.e. first-order logic);繁体:量化邏輯
字义分解
量
拼音 liàng 部首 里 总笔画 12量 [ liàng ] 1. 量〈动〉 2. (形声。本义用量器计算容积或长度) 3. 同本义 4. 量,称轻重也。--《说文》。段注称者,铨也『志曰量者,所以量多少也♀权者,所以均物平轻重也。此训量为称轻重者,有多少斯有轻重,视其多少可辜搉其重轻也,其 5. 字之所以从重也。” 6. 苦称量之不审也兮。--《楚辞·惜誓》 7. 为之斗斛以量之。--《庄子·胠箧》 8. 不量凿而正枘兮。--《楚辞·离骚》 9. 量入以为出。--《礼记·王制》 10. 又如比量(不用尺而用手、绳、棍等大概地量一量;比试);量柴头数米角比喻做事小气吝啬,斤斤计较;量地(丈量土地);量酒(量酒人,量酒博士。都 11. 量liàng 12. ⒈量具,计算东西体积多少的器具,如升、斗、量杯等。 13. ⒉限度限~。饭~。气~。力~。胆~。 14. ⒊数的多少数~。质好~多。批~生产。 15. ⒋估计,审度~材录用。~入为出。 16. ⒌ 17. ⒍ 18. 量liáng 19. ⒈用器物测定东西的大小、长短、多少等~布。~米。~温度。~血压。 20. ⒉斟酌,研讨思~。商~。估~。 [更多解释]
化
拼音 huà 部首 亻 总笔画 4化 [ huà ] 1. 化〈动〉 2. (古字为匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义变化,改变) 3. 同本义 4. 匕,变也。--《说文》。徐灏曰匕化古今字。” 5. 知变化之道。--《易·系辞传》。虞注在阳称变,在阴称化,四时变化。”荀注春夏为变,秋冬为化,坤化为物。” 6. 和故百物化焉。--《礼记·乐记》 7. 若欲其化也。--《周礼·柞氏》。注犹生也。” 8. 状态而实无别而为异者谓之化。--《荀子·正名》。注化者改旧形之名。” 9. 胜败若化。--《国语·晋语》。注言转化无常也。” 10. 因时而化。--《吕氏 11. 化huà 12. ⒈改变大变~。感~人。蛹~为蛾。~为乌有。顽固不~。 13. ⒉融解雪~了。 14. ⒊消除,消食~痰清热。~食消积。 15. ⒋大自然的功能造~。 16. ⒌僧、道祈求布施~缘的。去~斋。 17. ⒍烧火~。 18. ⒎习俗,风气风~(也指物体被风腐蚀)。 19. ⒏放于名词或形容词后,〈表〉变成或使成为某种性质或状态绿~。革命~。科学~。现代~。工业~。 20. ⒐《化学》的简称数理~。 21. ⒑ 22. ⒒ 23. ⒓ 24. ⒔也作"花"。用掉,耗费~时间。莫乱~钱。 25. 化huā 1.用掉;消耗。 2.见"化子"。 3.见"化化"。 26. 化é 1.见"化言"。 [更多解释]
逻
拼音 luó 部首 辶 总笔画 11逻 [ luó ] 1. 逻 2. (形声。从辵,表示与行走有关,罗声。本义巡察,巡逻) 3. 同本义 4. 逻者数十骑。--宋·文天祥《指南录后序》 5. 又如逻伺(巡罗侦察);逻弋(巡逻);逻守(巡逻守卫);逻役(巡逻的差役);逻捕(巡察搜捕) 6. 遮拦 7. 蛛蝥结网工遮逻。--黄庭坚《演雅》 8. 又如逻打(拦截殴打);逻送(捕捉解送);逻惹(招惹);逻楂儿(找岔子) 9. 用同捋” 10. 又只见那洞外跳出几个小妖,在外边吆吆喝喝,伸拳逻袖,弄棒拈枪,依旧喜喜欢欢耍了。--《西游记》 11. 又如逻袖(捋起袖子) 12. 逻 13. 逻卒;巡行兵 14. 逻(邏)luó 15. ⒈巡察巡~。 16. ⒉ 17. ①思维的规律讲得有理,符合~辑。 18. ②研究思维的形式和规律的科学,叫逻辑学,也叫"伦理学"。 19. ③有时义同"规律"这是什么~辑? [更多解释]
辑
拼音 ji 部首 车 总笔画 13辑 [ ji ] 1. 辑 2. (形声。本义车箱) 3. 同本义。泛指车子 4. 辑,车和辑也。--《说文》 5. 辑,合材为车,咸相得谓之辑。--《六书故》 6. 推于御也,齐辑乎辔衔之际。--《列子·汤问》 7. 整套书籍、资料等按内容或发表先后次序分成的各个部分 8. 辑 9. 聚集 10. 甲辑而兵聚。--《韩非子·说林》 11. 又如辑辑(群集的样子) 12. 敛,拖着不使脱落 13. 望于山川,遍于群神,辑五瑞。--《书·舜典》 14. 有饿者,蒙袂辑屦,贸贸然来。--《礼记》 15. 把各种来源的书面材料或项目经加工汇编成一个文件或 16. 辑jí 17. ⒈〈古〉车厢。泛指车子。 18. ⒉聚集甲~而兵聚。特指编书报等或编成的书编~。丛书第四~。 19. ⒊和睦~睦。〈引〉安抚,安定以~一方。 20. ⒋收敛~杖(收起拐杖)。 [更多解释]
