否定为失败

✍ dations ◷ 2025-09-10 12:39:21 #计算机逻辑

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

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

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

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

相关

  • 松博尔松博尔(塞尔维亚语:Sombor,德语:Zombor)位于塞尔维亚北部,是西巴奇卡州的首府,面积1,178平方公里,人口51,471人(2002年)。
  • HbHB可以指下列事物:
  • 1691年重要事件及趋势重要人物
  • 柯瑞·蒙特斯柯瑞·艾伦·蒙特斯(Cory Allan Monteith、1982年5月11日-2013年7月13日)是加拿大演员、歌手。他的代表作是福克斯电视台播出中的电视剧《欢乐合唱团》。出生在卡尔加里。柯瑞
  • 朴南基朴南基(谚文:박남기,1934年2月21日-2010年3月12日),黄海南道海州市人、原朝鲜劳动党计划财政部部长。他毕业于金策工业综合大学、列宁格勒工业大学,曾担任劳动党第二经济事业部部长
  • 信息不对称信息不对称(英语:information asymmetry),指参与交易各方所拥有、可影响交易的资讯不同。一般而言,卖家比买家拥有更多关于交易物品的信息,但相反的情况也可能存在。前者例子可见
  • 2008年亚足联U-16锦标赛2008年亚足联U-16锦标赛是由亚洲足球联合会组织的AFC U-17锦标赛的第13场比赛,于2008年10月4日至19日在乌兹别克斯坦塔什干举行。亚足联U-17锦标赛2008年资格赛于2007年10月1
  • Under the Ladder《Under the Ladder》是乌克兰歌手梅洛文(英语:Mélovin)(Mélovin)于2018年3月5日发行的单曲,并收录在Mélovin第二张个人正规专辑《Octopus》当中。歌曲以《Vidbir 2018》冠军得
  • 费扬武费扬武(满语:ᡶᡳᠶᠠᠩᡤᡡ,穆麟德:,太清:;1605年-1643年),音译名又作芬古、芳古、费扬古等,满洲爱新觉罗氏。清太祖努尔哈赤的侄儿、和硕庄亲王舒尔哈齐第八子、郑献亲王济尔哈朗之弟
  • 台湾桑梭螺台湾桑梭螺(学名:)为梭螺科桑梭螺属的动物。分布于日本、台湾等地,模式标本采集于水深300ft的海底。该物种的模式产地在台湾西南。