查看“︁谓词公式分类”︁的源代码

[[分类:谓词逻辑]]
{{InfoBox
|name=有效式
|eng_name=effective formula
}}
{{InfoBox
|name=不可满足式
|eng_name=unsatisfiable formula
}}
{{InfoBox
|name=可满足式
|eng_name=satisfiable formula
}}

根据[[谓词公式]]在全部[[解释（谓词逻辑）|解释]]和[[赋值（谓词逻辑）|赋值]]下的[[真值]]，可以将谓词公式分为以下几类。
* '''有效式'''('''effective formula''')：任何赋值下，谓词公式的真值都为真。即，任意[[赋值（谓词逻辑）|赋值]]都[[满足（谓词逻辑）|满足]]这一谓词公式 <math>\phi</math> ，记作 <math>\vDash \phi</math> 。
* '''仅可满足式'''：谓词公式有些赋值为真，有些赋值下为假。
* '''不可满足式'''('''unsatisfiable formula''')：任何赋值下，谓词公式的真值都为假。即，任意[[赋值（谓词逻辑）|赋值]]都[[满足（谓词逻辑）|满足]]这一谓词公式的否定 <math>\lnot\phi</math> ，即 <math>\vDash \lnot\phi</math> 。

此外，前两者也称谓词公式是否'''可满足'''('''satisfiable''')，为'''可满足式'''。


{{谓词逻辑}}