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