可满足性

本条目可能指代几种不同含义，见对应词条：

• 命题公式的一个性质，见可满足式（命题逻辑）。
• 谓词公式的一个性质，见可满足式（谓词逻辑）。
• 理论的一个性质，见可满足性（理论）。