失败即否定

失败即否定（negation as failure），计算机科学技术名词，为了消解不允许推出否定信息的限制，基思·克拉克（Keith Clark）于1978年提出的一种对原子公式的否定的非经典解释：对原子公式 p ，若缺少充分的条件证明 p ，则可以推得not（ p ），即 p 不成立。