可满足性

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第55页（189字）

形式语言中一公式是可满足的，当且仅当至少存在一个解释，使该公式成为真命题。

例如：公式是可满足的，因为，如果令F(x)表示“X是人”，G(x)表示“x是要死的”，则在此解释下，该公式即为命题“所有的人都是要死的”，这是个真命题。而是不可满足的，因为不存在解释使该公式成为真命题。