Hero Image
数理逻辑

在纯数学中,我们需要学习的是证明所提出的内容。每个数学家都像圣托马斯一样,也就是说,我们必须亲眼所见才能相信。然而,证明和说服之间是有区别的。 我们基本上使用的是写作技巧,更准确地说,是论文写作(或逻辑数学论文)。 向我们提出的任何论点,当该论点成立时,通常是这个人试图让我们相信这是真的。 在数学中,当我们证明某件事时,这样的空间并不存在。在演示(证明)中,我们假设某件事为真(假设),从而推断出其他陈述。 说服和证明有什么区别: 说服是试图证明它是真实的,许多步骤都需要讨论。 在演示中,只有我们认为正确的内容(假设)才需要进行此类讨论。 帮助我们建立数学网站。尽你所能捐赠。 通过 Mercado Pago 捐款。 通过 PagSeguro 捐赠。 三段论 在这里我们将学习三段论。为此,我们将使用几个例子来开始进入数理逻辑的世界。例如: 示例 1: 每只动物都会死(假设); 狮子是雄性(假设); 因此,狮子是会死的(结论)。 这里我们引用《动漫学院大乱斗》,并向作者Jin Kobayashi致敬。 播磨和动物们 播磨和动物们 1 狮子 我们如何解释这个构造?前两个陈述是我们假设为真的,而最后一个陈述是结论。我们甚至可以讨论假设是否正确,但一旦我们假设假设为真,除了假设也为真之外,就没有其他结论了。 一个重要的细节是三段论是一种构建假设的方法。在前面的例子中,我们可以注意到,我们不需要假设或了解术语“男性”、“凡人”甚至狮子来构建假设。 通过遵循这些论点,我们可以提出其他证明尝试。 示例 2:正确 没有老鼠飞(假设); 皮卡丘是一只电动老鼠(假设); 因此,皮卡丘不会飞(结论)。 下面是游戏Pokémon GO和动漫Pokémon的图形和参考。大部分数据取自Freepik。 飞鼠 皮卡丘 皮卡丘不会飞 假新数学 示例 3:错误 所有哺乳动物都是蓝色的(假设); 每只猫都是哺乳动物(假设); 因此,所有的猫都是蓝色的(结论)。