論理記号の一覧
シェファーの棒記号 (Sheffer stroke) とも呼ばれ、否定論理積 NAND 演算子である。
論理記号の一覧(ろんりきごうのいちらん)では、論理学における記号について解説する。論理記号は、当学問分野で広く論理的表現を表すのに用いられている。
以下の表は多くの一般的な記号について、それらの名称と読み方、数学における関連分野について記している。加えて、非形式的な定義と単純な例を示す。そしてUnicodeにおける符号位置や文字参照、LaTeXで使用可能なコマンドを記している。