論理的帰結(命題論理)
論理式$ \phi_1 \cdots \phi_n, \psiについて，
$ \{ \phi_1 \cdots \phi_n \} \vDash \psiと表記する
$ \phi_1 \cdots \phi_nを前提とすると結論$ \psiが論理的に帰結する
と読む
論理的帰結$ \{ \phi_1 \cdots \phi_n \} \vDash \psiの定義は次である
$ \phi_1 \cdots \phi_nを真にする任意の解釈関数(命題論理)$ I_iについて，$ I_iが$ \psiを真にする