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