数理逻辑是啥？

数理逻辑是啥？

语言智能和数学—逻辑智能一起组成了学业性智能。这两种智能在学校里受到了绝对的重视，这是因为从传统角度看，在这两种智能上的成功可以获得最向往的职业。

有时，人们认为数学—逻辑智能是一种加减乘除的能力。这是一种计算的能力，但是，它所包含的远远不止这些。数学—逻辑智能的定义是：“处理一连串的推理，识别模式和顺序的能力。”除了计算之外，数学—逻辑智能还包含逻辑和推理、模式、可能性和科学的分析。有时，数学—逻辑智能还包括一种倾向，去建构问题、发现问题，这比语言智能包含的要多。具有很强的数学—逻辑智能的人可以成为会计师、财务分析员、科学家、工程师、发明家和生物学家。

但是，如果不考虑他们的职业，具有很强的数学—逻辑智能的人也是一些喜欢保持自己收支平衡的人，是一些能很快的决定是租车合算还是买车合算的人，是一些经常依据事实判断做决策而不是感情用事的人。

数数

对一个年幼的孩子来说，数数几乎和呼吸一样自然。孩子们需要早点开始数数，并且经常数数。家长应该抓住机会和孩子一起在有趣的方式下进行数数和比较。

当孩子只能听的时候，就像你在讲故事或哼歌一样，你也应该数数：当你带着他走路的时候，可以数台阶；当你打开购物袋，往冰箱里塞东西的时候，可以数一下买了多少食品；数一数你递给孩子多少积木。当孩子长大一些后，他能够开始简单地数数。不管数的是积木，还是袜子、汤匙，不管数到3还是数到10，无论如何这些事情要经常发生。

在一种具有更多指导的方式中，你可以在餐桌上摆汤匙的时候，数“1…2…3…4…5…6”，然后让孩子把汤匙收拾起来，让他再一边数一边把汤匙放回去，“1…2…3…4…5…6”。当然，孩子大些后，数字可以增加。对更大些的孩子，汤匙可以两个一数或3个一数。

比较

比较是一种孩子能经常发现乐趣的事情。家长可以成为一个“假装的魔术师”，然后用一块手帕或一块装饰物，问孩子左手里的糖多还是右手里的多。等孩子猜完后，把糖放在桌子上，数数看他是否猜对了。

比较并不仅仅局限在数字中：可以问“红汽车大呢，还是蓝汽车大？”或者“奶奶的房子大呢，还是我们的大？”或者“爸爸是去商店呢，还是去学校？”或者“鸡蛋重呢，还是一片面包重？”当然这些问题的答案并不重要。重要的是孩子习惯对不同事物的相关成分进行比较和对照，然后作出判断。

计算

计算，在小时候一般仅仅指加法。对5岁以下的孩子来说，把简单的阿拉伯数字加起来（数字要小于10，和也要小于10）这是一个很好的目标。有时，这个年龄段的孩子会从一个阿拉伯数字中减去1或2。

家长对孩子的挫败感水平的了解是很重要的；这些活动都应该看成是一种游戏，一件有趣的事情。就是说，让孩子在绝大多数情况下都能取得成功，这很必要。让孩子在容易成功的水平中计算，保持他的学习热情，这比推着孩子，督促他们学习，然后孩子体验到失败和挫折要好得多。

记录

记录，也就是保持发生的事情的痕迹，是一种很好的方法；但是，给予孩子这种能力时，实际的记录、记录的保持都需要成人来做。

人们经常拿事物来做测试和实验。“我想知道如果我们把冰淇淋放在餐桌上，多久会化掉？”这种问题很有趣而且能发展孩子的数学—逻辑智能。过了几天，家长可以说：“让我们来看看冰淇淋放在冰箱里，但不是冷冻室，它会化得更快还是更慢？”或者“吃多少口才能把整个苹果吃完？所用的时间是比吃一个梨多还是少？”

在数学—逻辑智能和自然智能中有很多的交叉（分类和归类是很有用的自然智能中的技巧），因此，你可以一起训练发展孩子的这两种智能。例如，你可以帮助孩子观察两盆花的变化，将一盆放在有充足光照的窗台上，另一盆放在阴暗的角落。可以记录植物的高度长得有多快，也可以记录植物看上去是否健康、强壮。还可以用厨房里的工具或种植的工具做其他简单又有趣的实验。重要的是帮助孩子养成记录信息的习惯，从而根据这些信息进行比较并得出结论。

数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。 所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑包括:“命题演算”和“谓词演算”。 如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。 这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。例如满足交换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三段论定律等等。利用这些定律，我们可以进行逻辑推理，可以简化复和命题，可以推证两个复合命题是不是等价，也就是它们的真值表是不是完全相同等等。 命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。 逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。 利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门电路，就是逻辑元件。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。 谓词演算也叫做命题涵项演算。在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。 命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或者确定的属性和关系；变项是指一定范围内的任何一个，这个范围叫做变项的变域。命题涵项和命题演算不同，它无所谓真和假。如果以一定的对象概念代替变项，那么命题涵项就成为真的或假的命题了。 命题涵项加上全程量词或者存在量词，那么它就成为全称命题或者特称命题了。 这么说你能理解吗?希望对你有帮助 ^_^