数理逻辑

数 [ shù ] 1. 数 2. (形声。从攴,娄声。本义点数;计算) 3. 同本义 4. 數,计也。--《说文》 5. 以岁之上下数邦用。--《周礼·廪人》 6. 递数之不能终其物。--《礼记·儒行》 7. 善数不用筹策。--《老子》 8. 珠可历历数也。--明·魏学洢《核舟记》 9. 自董卓以来,豪杰并起,跨州连郡者不可胜数。--《三国志·诸葛亮传》 10. 又如从一数到十;数拾(查点;收拾);数白道黑(卖弄口舌);数白论黄(计较银钱。白白银。黄黄金);数筹定点(数筹码计算时间);数东瓜,道茄子(尽情谈论各种事情);数米而 11. 炊,称柴而爨(比喻吝啬之极);数数儿;数不胜数;数课(计算并予登记); 12. 数（數）shuò 13. ⒈屡次，经常频～。～见不鲜。～犯边境。 14. 数（數）shǔ 15. ⒈查点，计算当面～清。不可胜～。 16. ⒉指责，列举过失～落。～说。 17. ⒊比较起来最突出就～她勤奋。 18. 数(數) shù 19. ⒈指数目，数量岁～。基～。回～。人～太多，这屋容纳不了。 20. ⒉几，几个（指不确定的数目）～个。～年。～百种。 21. ⒊迷信者所谓的"天运"、"命运"天～、气～、劫～等都是胡编瞎说。 22. ⒋ 23. 数cù 1.细密;稠密。 2.细小。参见"数目"。 [更多解释]

理 [ lǐ ] 1. 理〈动〉 2. (形声。从玉,里声。本义加工雕琢玉石) 3. 同本义 4. 理,治玉也。顺玉之文而剖析之。--《说文》 5. 理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。--《韩非子·解老》 6. 王乃使玉人理其璞而得宝焉,遂命曰和氏之璧。”--《韩非子·和氏》 7. 郑人谓玉未理者璞。--《战国策·秦策三》 8. 治理;管理 9. 不可胜理。--《战国策·秦策一》 10. 圣人之所在,则天下理焉。--《吕氏春秋·劝学》 11. 夫能理三苗。--《淮南子·原道》 12. 以昭陛下平明之理。--诸葛亮《出师表》 13. 贫困如故时,始复上街头理 14. 理lǐ 15. ⒈条纹。条理纹～。条～。有条有～。 16. ⒉事物的原由、规律、原则～由。道～。讲～∠～合法。 17. ⒊雕琢，加工玉石～璞（璞玉石）。〈引〉 18. ①办，治理，管理办～。～财。～家。～农事。 19. ②修整，整理修～。整～。～发。～书籍。 20. ⒋答，顾～睬。答～。置之不～。 21. ⒌注意，领会，了解～会。～解。 22. ⒍指自然科学，特指物理学～科。～学院。数～化。 23. ⒎ 24. ⒏ 25. ①反映事物本质和内在联系的认识，也指判断和推理等的能力～性认识。 26. ②指理智，道德丧失～性。 27. ⒐ 28. ①关于自然界和人类社会的规律性的系统的知识。它是人们从实践中概括出来的，又转过来为实践服务，能动地去改造世界正确的～论。 29. ②讨论，辩论是非曲直这事要～论清楚。 30. 理lài 1.赐予。 [更多解释]

逻 [ luó ] 1. 逻 2. (形声。从辵,表示与行走有关,罗声。本义巡察,巡逻) 3. 同本义 4. 逻者数十骑。--宋·文天祥《指南录后序》 5. 又如逻伺(巡罗侦察);逻弋(巡逻);逻守(巡逻守卫);逻役(巡逻的差役);逻捕(巡察搜捕) 6. 遮拦 7. 蛛蝥结网工遮逻。--黄庭坚《演雅》 8. 又如逻打(拦截殴打);逻送(捕捉解送);逻惹(招惹);逻楂儿(找岔子) 9. 用同捋” 10. 又只见那洞外跳出几个小妖,在外边吆吆喝喝,伸拳逻袖,弄棒拈枪,依旧喜喜欢欢耍了。--《西游记》 11. 又如逻袖(捋起袖子) 12. 逻 13. 逻卒;巡行兵 14. 逻（邏）luó 15. ⒈巡察巡～。 16. ⒉ 17. ①思维的规律讲得有理，符合～辑。 18. ②研究思维的形式和规律的科学，叫逻辑学，也叫"伦理学"。 19. ③有时义同"规律"这是什么～辑？ [更多解释]

辑 [ jí ] 1. 辑 2. (形声。本义车箱) 3. 同本义。泛指车子 4. 辑,车和辑也。--《说文》 5. 辑,合材为车,咸相得谓之辑。--《六书故》 6. 推于御也,齐辑乎辔衔之际。--《列子·汤问》 7. 整套书籍、资料等按内容或发表先后次序分成的各个部分 8. 辑 9. 聚集 10. 甲辑而兵聚。--《韩非子·说林》 11. 又如辑辑(群集的样子) 12. 敛,拖着不使脱落 13. 望于山川,遍于群神,辑五瑞。--《书·舜典》 14. 有饿者,蒙袂辑屦,贸贸然来。--《礼记》 15. 把各种来源的书面材料或项目经加工汇编成一个文件或 16. 辑jí 17. ⒈〈古〉车厢。泛指车子。 18. ⒉聚集甲～而兵聚。特指编书报等或编成的书编～。丛书第四～。 19. ⒊和睦～睦。〈引〉安抚，安定以～一方。 20. ⒋收敛～杖（收起拐杖）。 [更多解释]