满足（命题逻辑）
| 满足 | |
|---|---|
| 术语名称 | 满足 |
| 英语名称 | satisfy |
一个指派满足(satisfies)一个命题公式，指指派使得这个公式变成真命题。
满足公式集中的每个公式时，也说满足这个公式集。
定义
对命题公式 [math]\displaystyle{ \phi }[/math] 及指派 [math]\displaystyle{ \sigma }[/math] ，若公式在指派后的命题 [math]\displaystyle{ \phi^\sigma }[/math] 为真命题，则称指派 [math]\displaystyle{ \sigma }[/math] 满足(satisfies)公式 [math]\displaystyle{ \phi }[/math]，记作 [math]\displaystyle{ \sigma \vDash \phi }[/math]。
- 若对公式集 [math]\displaystyle{ \Gamma }[/math] 及指派 [math]\displaystyle{ \sigma }[/math] ，对 [math]\displaystyle{ \Gamma }[/math] 中任意公式 [math]\displaystyle{ \phi }[/math] 都有 [math]\displaystyle{ \sigma \vDash \phi }[/math] ，则说指派 [math]\displaystyle{ \sigma }[/math] 满足公式集 [math]\displaystyle{ \Gamma }[/math]，记为 [math]\displaystyle{ \sigma \vDash \Gamma }[/math]。