数理逻辑
shù lǐ luó jí解释
亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
逐字解释
数 (形声。从攴,娄声。本义点数;计算) 同本义 數,计也。--《说文》 以岁之上下数邦用。--《周礼·廪人》 递数之不能终其物。--《礼记·儒行》 善数不用筹策。--《老子》 珠可历历数也。--明·魏学洢《核舟记》 自董卓以来,豪杰并起,跨州连郡者不可胜数。--《三国志·诸葛亮…
理〈动〉 (形声。从玉,里声。本义加工雕琢玉石) 同本义 理,治玉也。顺玉之文而剖析之。--《说文》 理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。--《韩非子·解老》 王乃使玉人理其璞而得宝焉,遂命曰和氏之璧。”--《韩非子·和氏》 郑人谓玉未理者璞。--《战国策·秦策…
逻 (形声。从辵,表示与行走有关,罗声。本义巡察,巡逻) 同本义 逻者数十骑。--宋·文天祥《指南录后序》 又如逻伺(巡罗侦察);逻弋(巡逻);逻守(巡逻守卫);逻役(巡逻的差役);逻捕(巡察搜捕) 遮拦 蛛蝥结网工遮逻。--黄庭坚《演雅》 又如逻打(拦截殴打);逻送(捕捉解送)…
辑 (形声。本义车箱) 同本义。泛指车子 辑,车和辑也。--《说文》 辑,合材为车,咸相得谓之辑。--《六书故》 推于御也,齐辑乎辔衔之际。--《列子·汤问》 整套书籍、资料等按内容或发表先后次序分成的各个部分 辑 聚集 甲辑而兵聚。--《韩非子·说林》 又如辑辑(群集的样子) …