数理逻辑。

逻辑：

①思维的规律、规则：这个想法似乎不合逻辑。

②研究思维规律的科学，即逻辑学。

③客观事物的规律：历史的逻辑｜生活的逻辑。

④观点，主张。多用于贬义：霸权主义的逻辑。

数理逻辑：

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

符号：

①记号；标记：标点符号ㄧ文字是记录语言的符号。

②佩带在身上表明职别、身分等的标志。