每个湖南人都有一定的思想倾向，比如一个人的政治思想和你相反，那么你就是那个政治派别。主要是右/左政治极化，但这只是一个例子。 为了避免争议，我们将举出其他例子： “所有的猫都是黄色的。” “至少有一条绿色鳄鱼。” 这些是简单命题的例子。当我们使用连接词时，问题就开始出现。例如： p：“所有老鼠都是黑色的”； 问：“所有老鼠都是白色的。” 白老鼠 黑老鼠 连接词 当使用连接词“and”表示上述命题时，我们有$p$和$q$（$p\wedge q$）表示： 所有的老鼠都是黑色和白色的。 老鼠有两种颜色吗？ 现在，如果我们使用连接词“或”，则 $p$ 或 $q$ ($p\vee q$) 表示： 所有的老鼠都是黑色或白色的。 在这种情况下，如果满足以下条件，则该句子为真： 所有的老鼠都是黑色的或者都是白色的。 同时都是黑色和白色。 todos 一词是量词的一个例子，还有其他量词，例如： 一些 没有任何 其中 辅助连接器 还有其他量词可以帮助上述连接词充当概念词，例如： 有$(\exist)$ 对于所有 $(\forall)$ 值得记住的是，数学家不是计算器，而是概括思想的人。例如： 数学家没有计算$1 + 2 = 3$ 是的，给定 $x$、$y$ 两个自然数，其结果为 3 的和由下式给出： $x$ 可以是 1 或 2，就像 $y$ 可以是 1 或 2 一样。 假设$x$1，这样我们就得到$y$等于2，反之亦然。 由此，我们注意到 $x+y=y+x = 3$ 无论是 $x=2$ 还是 $x=1.$ 思维的概括 因此，以更通用的思维方式，我们必须：
在纯数学中，我们需要学习的是证明所提出的内容。每个数学家都像圣托马斯一样，也就是说，我们必须亲眼所见才能相信。然而，证明和说服之间是有区别的。 我们基本上使用的是写作技巧，更准确地说，是论文写作（或逻辑数学论文）。 向我们提出的任何论点，当该论点成立时，通常是这个人试图让我们相信这是真的。 在数学中，当我们证明某件事时，这样的空间并不存在。在演示（证明）中，我们假设某件事为真（假设），从而推断出其他陈述。 说服和证明有什么区别： 说服是试图证明它是真实的，许多步骤都需要讨论。 在演示中，只有我们认为正确的内容（假设）才需要进行此类讨论。 帮助我们建立数学网站。尽你所能捐赠。 通过 Mercado Pago 捐款。 通过 PagSeguro 捐赠。 三段论 在这里我们将学习三段论。为此，我们将使用几个例子来开始进入数理逻辑的世界。例如： 示例 1： 每只动物都会死（假设）； 狮子是雄性（假设）； 因此，狮子是会死的（结论）。 这里我们引用《动漫学院大乱斗》，并向作者Jin Kobayashi致敬。 播磨和动物们 播磨和动物们 1 狮子 我们如何解释这个构造？前两个陈述是我们假设为真的，而最后一个陈述是结论。我们甚至可以讨论假设是否正确，但一旦我们假设假设为真，除了假设也为真之外，就没有其他结论了。 一个重要的细节是三段论是一种构建假设的方法。在前面的例子中，我们可以注意到，我们不需要假设或了解术语“男性”、“凡人”甚至狮子来构建假设。 通过遵循这些论点，我们可以提出其他证明尝试。 示例 2：正确 没有老鼠飞（假设）； 皮卡丘是一只电动老鼠（假设）； 因此，皮卡丘不会飞（结论）。 下面是游戏Pokémon GO和动漫Pokémon的图形和参考。大部分数据取自Freepik。 飞鼠 皮卡丘 皮卡丘不会飞 假新数学 示例 3：错误 所有哺乳动物都是蓝色的（假设）； 每只猫都是哺乳动物（假设）； 因此，所有的猫都是蓝色的（结论）。