真

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

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

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