論理学において、記号は広く論理的表現を表すのに用いられている。以下の表は多くの一般的な記号について、それらの名称と読み方、数学における関連分野について記している。加えて、非形式的な定義と単純な例を。Unicodeにおける符号位置や文字参照、LaTeXで使用可能なコマンドを記している。偽またはBが真であるときのみ、真となる。「→」は「⇒」と同じ意味である。(またこの記号は関数の定義域と終集合を表す。詳しくは数学記号の表を見よ)「⊃」も「⇒」と同じ意味である。