意味論的帰結

$\Gamma$ を文の集合、$\varphi$ を論理式とする。$\mathcal{M}\models\Gamma$ を満たすすべての構造 $\mathcal{M}$ とすべての割り当て $s$ について $\mathcal{M}\models\varphi[s]$ が成り立つとき、$\Gamma\models\varphi$ と書く。