1.寻绎追念。 2.推究思考。

1.犹布陈﹔陈述。语出《左传．宣公十二年》﹕"又作《武》﹐其卒章曰﹕'耆定尔功。'其三曰﹕'铺时绎思﹐我徂维求定。'"杨伯峻注﹕"今《诗》'铺'作'敷'﹐同音通用……敷﹐布也。绎﹐陈也。思﹐语末助词﹐无义。徂﹐往也。谓文王既有勤劳之德﹐我接受之﹐布陈此勤劳之德﹐我之往伐纣﹐惟求安定而已。铺与绎皆布陈之义﹐一再言之﹐重之也。"

亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。