前回の投稿では、結果を正式に実証することなく、公準と公理について説明しました。ここで、正式なデモンストレーションの概念を開始します。このために、トピックを開始するためにいくつかの基本的な概念を示します。 コンセプト 数学における最初の非常に重要な概念は定義です。 定義: は数学用語の意味を説明する文です。 命題 以前の投稿でこの概念を定義しましたが、今回はより簡単な方法で説明します。 命題: は平叙文です。 シンプルであれば、それ自体に意味があるもの。 すべての論理的可能性において真である場合、それはトートロジーであると言われます。 すべての論理的可能性において真である場合、それはトートロジーであると言われます。 これまでの可能性以外に他の可能性はありません。 口論 次の定義は、良好な結果を構築するために同様に重要です。 引数: は有限数列 $n+1$ 命題です: 仮説のセット: $\mathcal{H} = \\{H_1, H_2, \dots, H_n\\}$ 仮説: $T$、仮説の結果です。 推測 推測: は、これまで実証も反駁もされていない命題です。 このように、予想はこれまで証明されていない命題ですが、結果を定理にするためには証明する必要があります。 定理 非常に重要な概念は定理という論理命題、 つまりトートロジーです。トートロジー数学において最も重要な結果は、条件接続詞および/または二条件接続詞を使用した結果です。 定理: は証明によって保証された命題です。 結果を実証するということは、基本的には論文エッセイをまとめるということです。このために、真理値表を使用して、命題が実際にはトートロジーであることを示します。 前回の投稿では、公理と公準は証明なしで受け入れられる事実であることを見ました。 今後、結果を実証するために、次のような暫定的な結果を使用します。 補題: は、より優れた結果を実証するために使用されることを目的とした結果です。 提案: は、より大きな結果を実証するために使用されることを目的とした結果です。 前述したように、 これらのトートロジーは定理や帰結としてより大きな結果を示すために使用されます。 当然のこと 結果: は、証明された定理から直接確立できる定理です。 より具体的には、定理が他のステートメントを簡単に結論付けるのに役立つ場合、この結果は定理の必然と呼ばれます。 論理的な含意と二重含意 トートロジーの概念では、$p$ および $q$ 命題と $p \rightarrow q$ トートロジーを定義するときに次のように言うことをこれまで見てきました。 $p \rightarrow q$ は暗示です。 $p \Rightarrow q$ は論理的な意味合いです。 同様に、$p$ と $q$ を命題、$p \leftrightarrow q$ をトートロジーとすると、次のようになります。