シェファーの棒記号

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

論理学を学ぶ記事です．本記事では，シェファーの棒記号について説明します．シェファーの棒記号下記の論理式\(X\)を考えます．\(A\)\(B\)\(X\)110101011001この論理式を\(X \Leftrightarrow A \mi...