意味論的矛盾
論理式の集合
$ \Gamma
が
意味論
的に矛盾しているとは、
$ \Gamma
に属する式を一斉に真にする真理値割り当て(
モデル
)が存在しないことを言う
$ \Gamma\vDash
と表記する
意味論的に矛盾していないとき、
$ \Gamma
は
充足可能
という