否定为失败

✍ dations ◷ 2025-08-13 23:14:08 #计算机逻辑

否定为失败是对逻辑否定做的释义,依据公式的否定为真,当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。

在逻辑中,否定的标准解释是公式的否定为真,当且仅当这个公式为假。如果这个公式非真非假,它的否定被当作是未知。反过来,依据否定为失败的解释,这个公式的否定被当作为真。

在 Prolog 中用的否定被解释器按否定为失败处理。假如程序执行期间,解释器必须求值 NOT a(b),它尝试证明 a(b) 为真。如果这个尝试不成功,则 NOT a(b) 被当作为真。

否定为失败与把不知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。

相关

  • 斯利沃威茨斯利沃威茨(Slivovitz)是一种水果白兰地,以布拉斯李为原料,又称李白兰地。斯利沃威茨主要生产在中欧和东欧地区。在巴尔干地区,斯利沃威茨是拉基亚的一种。在匈牙利则是帕林卡的
  • 肯定推得否定肯定前提推得否定结论(英文:negative conclusion from affirmative premises)是一种形式谬误,是因三段论中前提皆为肯定,而结论为否定,导致论证无效。例句:推理规则:例句分析结果:有
  • 江岷钦江岷钦,台湾知名学者、时事评论员、电视节目主持人,台湾实践大学企业管理系讲座教授。2012年11月27日晚酒后驾车,行经台北市永吉路右转松信路口时,擦撞其他车辆,经警方到场后,发现
  • 处女膜处女膜(hymen)又称阴道冠,是一层位于阴道口的膜状组织。处女膜也被视为外阴部的一部分。普遍认为,处女膜并未具有特定的解剖或生理功能。 青少年时期,处女膜的形状相当多变,最常见
  • 工业所有权工业所有权(英语:industrial rights,德语:gewerblicher Rechtsschutz,法语:propriété industrielle)又称知识所有权,系指产业上对于不具备有体性之利益的排他性支配权,与著作权同
  • 美国宪法第六修正案宪法正文 I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII
  • 京都府第4区京都府第4区是日本众议院的选区,始于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4 | 岩
  • 成禄成禄(越南语:Thành Lộc,1961年11月3日-)是越南戏剧艺术家。越南金梅奖历史上获奖最多的艺术家之一。1961年出生西贡在传统艺术家庭,父亲是人民艺术家成尊(Thành Tôn),母亲是越南
  • 乔治·古尔维奇乔治·古尔维奇 (法语:Georges Gurvitch,1894年11月11日-1965年12月12日)是一位法国社会学家。原名格奥尔基·达维多维奇·古尔维奇 (俄语:Георгий Давидович Гу
  • 亚洲开放大学协会亚洲开放大学协会(英语:Asian Association of Open Universities,缩写:AAOU)成立于1987年,是由亚洲地区远程开放教育院校组成的非营利性的非政府学术组织,目前共有61个成员机构,其中