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

亦称“普通逻辑”。不同于数理逻辑的形式逻辑。它创立于古代，不断丰富发展而沿用迄今，故称。

数理逻辑。

数学的一门分科。主要研究计算方法、数理逻辑和程序设计等方面的问题。20世纪中期以后，高速大容量电子计算机的飞速发展，大大丰富了计算数学的研究内容。　【计算数学】数学的一门分科。主要研究计算方法、数理逻辑和程序设计等方面的问题。20世纪中期以后，高速大容量电子计算机的飞速发展，大大丰富了计算数学的研究内容。

研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。

研究现实世界数量关系和空间形式的科学。是在人类长期的实践活动中产生和发展的。发源于计数和度量，随着生产力的发展，越来越多地要求对自然现象作定量研究；同时由于数学自身的发展，使其具有高度的抽象性、严谨的逻辑性和广泛的适用性。现大致分成基础数学(也称纯粹数学)和应用数学两大类。前者包括数理逻辑、数论、代数学、几何学、拓扑学、函数论、泛函分析和微分方程等分支；后者包括概率论、数理统计、计算数学、运筹学和......更多

1.句子里谓语部分的主要的词。 2.数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。