純粋数学において私たちが学ぶ必要があるのは、提案されたものを証明することです。すべての数学者は聖トマスのようなものです。つまり、それを信じるには実際に見なければなりません。ただし、証明することと説得することには違いがあります。 私たちが基本的に使用するのは文章作成テクニック、より正確にはエッセイライティング（または論理数学エッセイ）です。 私たちに与えられた議論は、その議論が真実である場合、通常、その人はそれが真実であると私たちに納得させようとしているということになります。 数学で何かを証明するとき、そのような空間は存在しません。実証（証明）では、何かが真実であると仮定し（仮説）、その結果として他の命題を推測します。 説得と証明の違いは何ですか: 説得とは、それが真実であることを証明する試みであり、多くのステップが議論の対象となります。 実証では、私たちが真実であると想定しているもの (仮説) のみがこの種の議論の対象となります。 数学 Web サイトの構築にご協力ください。できる限り寄付してください。 メルカド・パゴ経由で寄付。 PagSegura 経由で寄付。 三段論法 ここでは三段論法を学びます。これを行うために、いくつかの例を使用して、数理論理学の世界に入り始めます。例えば： 例 1: すべての動物は死ぬ（仮説）。 ライオンは雄です（仮説）。 ・したがって、ライオンは死すべき存在である（結論）。 ここではアニメ『スクールランブル』を参照し、 作者の小林尽に敬意を表します。 播磨と動物たち ハリマと動物たち 1 ライオン この構造をどのように解釈できますか?最初の 2 つのステートメントは真実であると想定されるものであり、最後のステートメントは結論です。仮説が正しいかどうかについて議論することもできますが、仮説が正しいと仮定すると、それもまた正しいという以外の結論はありません。 重要な詳細は、三段論法が仮説を構築する方法であるということです。前の例では、仮説を構築するために「男性」、「定命の者」、さらにはライオンという用語を想定したり知ったりする必要がないことがわかります。 これらの議論に従うことで、他の証明の試みを提案できます。 例 2: True ネズミは飛ばない（仮説）。 ピカチュウは電気ネズミです（仮説）。 ・だからピカチュウは飛ばない（結論）。 以下に、ゲームのポケモン GO とアニメのポケットモンスターの図と参照を示します。数値のほとんどはFreepikから取得しました。 フライングマウス ピカチュウ ピカチュウは飛ばない 偽の新しい数学 例 3: False すべての哺乳類は青色です (仮説)。 すべての猫は哺乳類です (仮説)。 ・だから猫はみんな青い（結論）。