基本释义
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
汉语词典收录了近50万个词语，包含词语的解释、例句和翻译，词库仍在不断更新中。
词典数据主要来源于新华字典，以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语，用于补充词库，方便大家查询。
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
汉语词典收录了近50万个词语，包含词语的解释、例句和翻译，词库仍在不断更新中。
词典数据主要来源于新华字典，以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语，用于补充词库，方便大家查询。
