不可满足公式

数理逻辑用语。与“可满足公式”相对。若狭谓词演算的一个公式不是可满足的，就称为不可满足公式。换言之，一个公式A是不可满足公式，当且仅当，对任何解释I下的任何赋值v,v都不满足A。