論理的帰結
ここでは、論理的帰結の典型的な記述について述べる。
Γ は任意の前提の集合、A は任意の結論とする。Γ/A は Γ を前提、A を結論とする論理的主張(Logical argument)である。Γ ⊨ {\displaystyle \vDash } A は、A が Γ の論理的帰結であることを意味する。