否定为失败 否定为失败是对逻辑否定做的释义依据公式的否定为真当且仅当这个公式不能被证明为真否定为失败用于逻辑编程语言比如 Prolog 在逻辑中否定的标准解释是公式的否定为真当且仅当这个公式为假如果这个公式非真非假它的否定被当作是未知反过来依据否定为失败的解释这个公式的否定被当作为真 在 Prolog 中用的否定被解释器按否定为失败处理假如程序执行期间解释器必须求值 NOT ab它尝试证明 ab 为真如果这个尝试不成功则 NOT ab 被当作为真 否定为失败与把不知道为真的东西做为假的常见缺省假定有关这叫做封闭世界假定