查看“︁满足（命题逻辑）”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=满足
|eng_name=satisfy
}}
一个[[指派（命题逻辑）|指派]]'''满足'''('''satisfies''')一个[[命题公式]]，指指派使得这个公式变成真命题。

满足公式集中的每个公式时，也说满足这个公式集。

== 定义 ==

对命题公式 <math>\phi</math> 及指派 <math>\sigma</math> ，若公式在指派后的命题 <math>\phi^\sigma</math> 为真命题，则称指派 <math>\sigma</math> '''满足'''('''satisfies''')公式 <math>\phi</math>，记作 <math>\sigma \vDash \phi</math>。

* 若对公式集 <math>\Gamma</math> 及指派 <math>\sigma</math> ，对 <math>\Gamma</math> 中任意公式 <math>\phi</math> 都有 <math>\sigma \vDash \phi</math> ，则说指派 <math>\sigma</math> '''满足'''公式集 <math>\Gamma</math>，记为 <math>\sigma \vDash \Gamma</math>。


{{命题逻辑}}