可满足性

关于*形式系统的语义性概念。形式系统中一个公式A在某个模型中可满足是指：当且仅当存在一个模型，使得A在这个模型中的值为真。可满足公式是至少在一种解释下为真的公式。