論理記号の一覧
右辺が左辺の論理的帰結であることを意味する2項演算子。例えば理論 T と論理式 φ について「T ⊨ φ」は、φ が T の論理的帰結である、すなわち φ が T の定理であることを意味する。
また「論理的に正しい」ことを意味する前置演算子。「∅ ⊧ φ」を「⊧ φ」と略記する、ここで ∅ は空集合。
数式の上に引かれたオーバーラインは、ゲーデル数を表すことがある。例えば A ∨ B は、論理式 A ∨ B のゲーデル数を意味する。
またオーバーラインで否定を表すこともある。例えば A ∨ B は、¬(A ∨ B) と等価。