出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 可满足性 |
| 释义 | 可满足性 可满足性 关于形式系统的语义性概念。通常指狭谓词演算公式的一种性质。一个公式是可满足的,当且仅当对某一个体域,至少有一特定个体常项、一个命题常项和一特定谓词常项,将它们代入公式中的相应变项后,得到的是一个真命题。一个公式可满足时,称为可满足公式。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 可满足性 数理逻辑中关于形式系统的语义概念。经典谓词逻辑系统中的一个公式是可满足的,当且仅当至少存在一个模型(即一种解释)中的一种赋值使该公式为真。正规模态逻辑系统中的一个公式是可满足的,当且仅当至少存在一个模型,使该公式在这个模型中的某个可能世界被赋值为真。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。