可满足性（理论）
| 可满足性 | |
|---|---|
| 术语名称 | 可满足性 |
| 英语名称 | satisfiability |
| 别名 | 语义一致性, semantic consistency |
| 可满足 | |
|---|---|
| 术语名称 | 可满足 |
| 英语名称 | satisfiable |
| 别名 | 语义一致的, semanticly consistent |
一个语言的可满足(satisfiable)理论，指在该语言中存在一个模型满足这个理论，或者说该语言中存在一个该理论的模型，也称为这个理论是语义一致的(semanticly consistent)。
定义
对语言 [math]\displaystyle{ \mathcal{L} }[/math] 中的一个理论 [math]\displaystyle{ T }[/math] ，若存在 [math]\displaystyle{ T }[/math] 的一个模型 [math]\displaystyle{ \mathfrak{M} }[/math] ，即存在 [math]\displaystyle{ \mathcal{L} }[/math] 的一个模型 [math]\displaystyle{ \mathfrak{M} }[/math] 有 [math]\displaystyle{ \mathfrak{M}\vDash T }[/math] ，则称理论 [math]\displaystyle{ T }[/math] 是可满足的(satisfiable)，或理论 [math]\displaystyle{ T }[/math] 具有可满足性(satisfiability)。