形式論理学

命題について【形式論理学1‐2】

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

複雑な論証【形式論理学】

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

論証について【形式論理学】

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

命題について【形式論理学】

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