真

形式論理学についての解説の記事です。トートロジー、真理関数、シェファーの棒記号について解説します。トートロジートートロジー（tautology）とは、どのような命題の真偽値においても常に「真」である論理式を指します。命題論理におけるトートロ...

形式論理学についての解説の記事です。ここでは命題論理の意味論について解説します。命題論理の意味論の基本概念命題論理の意味論は、命題がどのようにして「真」か「偽」かを定義し、それをもとに複雑な論理式を評価する仕組みを扱います。これを通じて、論...

形式論理学についての解説の記事です。論証は論理的な関係を利用して、ある命題から別の命題を導き出すプロセスです。本記事では、論証の手法や妥当性、健全性、さらに数学における具体的な応用について考察します。論証とは？論証とは、ある命題 \(A\)...

形式論理学についての解説の記事です。形式論理学で取り扱う命題について説明します。命題とはなにか？命題とは、「真」か「偽」のいずれかに定まる主張を指します。形式論理学において、命題は論理的な推論や証明の基本単位です。命題が命題と呼ばれるために...

形式論理学についての解説の記事です．ここでは複数の命題が組み合わされた複雑な論証について解説します．複雑な論証論証は根拠となる命題から結論となる命題を導く，\(A\Rightarrow B\)というものでした．他方で，実際は根拠となる命題は...

形式論理学についての解説の記事です．ここではある命題を根拠に他の命題を主張する「論証」について解説します．論証論証というのは，ある命題を根拠にしてある主張を行うことです．例えば，「Aさんを駅前で見かけた，だから今はAさんは家にいない」，とい...

形式論理学についての解説の記事です．初めに論理学の対象となる「命題」について解説します．命題命題とは，真偽が確定する主張を含む文です．例えば，「田中さんは数学が好きである」，という文です．この場合，実際に田中さんが数学が好きならばこの命題は...