爆炸原理

✍ dations ◷ 2024-12-23 01:20:43 #推理规则,拉丁语逻辑短语

爆炸原理(principle of explosion, "from falsehood, anything (follows)"),是经典逻辑中陈述从矛盾中可以得出任何事物的规则。用更加形式化的术语,从形如 ∧ ¬ 的命题可以推导出任何任意的 。 “爆炸”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。

除了矛盾平常的一目了然的不真实性之外,这是对在形式系统中不允许 ∧ ¬ 为真的主要逻辑论证: 在其中任何任意的公式都是定理的系统是琐碎的。所以爆炸原理证明了无矛盾律的正当性。

爆炸基于析取就是对应于英语的“或”的逻辑算子的一些基本形式性质。考虑下列证明:

以说谎者悖论例子:


次协调逻辑拒绝上述推理,通常声称要么析取介入要么选言三段论是无效的。一个特定的次协调逻辑双面真理,为了接受 ∧ ¬ 的特定实例而拒绝这种论证。

相关

  • 前南斯拉夫问题国际刑事法庭审理起诉1991年起发生于前南斯拉夫地区严重违反国际人道法罪行人物之国际法庭(英语:International Tribunal for the Prosecution of Persons Responsible for Serious Violat
  • 表睾酮表睾酮(英语:Epitestosterone)或称为异睾酮,英语:isotestosterone, 17α-睾酮,17α-testosterone,是一种内源性的甾体物质,是雄性性激素睾酮的17α-羟基差向异构体,是一种较弱的雄激素
  • 芳烃芳香.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger
  • 哈玛星台湾铁道馆高雄捷运  █ 橘线:盐埕埔站、西子湾站哈玛星台湾铁道馆是位于台湾高雄市鼓山区驳二艺术特区内的铁路博物馆,隶属于高雄市政府文化局,由高雄市立历史博物馆负责管理及营运,主
  • 1976年库比契克车祸身亡案阴谋论儒塞利诺·库比契克(葡萄牙语:Juscelino Kubitschek de Oliveira (JK);1902年9月12日-1976年8月22日),捷克裔巴西政治家,于1956年至1961年期间担任巴西总统。他出身于米纳斯吉拉斯,
  • 迪亚哥·德·兰达迭戈·德·兰达·卡尔德隆(西班牙语:Diego de Landa Calderón,1524年11月12日-1579年4月29日),西班牙方济各会传教士,出生在西班牙的瓜达拉哈拉。他在1549年被方济各会派到尤卡坦
  • 约翰·W·福斯特约翰·沃森·福斯特(John Watson Foster,1836年3月2日-1917年11月15日),又译为科士达、福斯达,美国律师、将军、政治家,于1892年6月29日至1893年2月23日任美国国务卿。1895年获清政
  • S级 (类型)S级(クラスS,Kurasu Esu),或"S kankei",缩写为S或Esu(エス),是20世纪早期的日本和制英语术语,专门用于表示女学生之间强烈的浪漫友情关系和描写这种关系的少女小说(少女小説,shōjo sh
  • 茎基茎基,是一种植物茎的变形,一般为木质,形态粗短,存活多年,生长在地下或地表,不进行光合作用。茎基有时为球块状,可储水;特别是旱生植物,茎基上可以长出枝叶。
  • 汪小壹汪小壹,1987年10月出生于中国大陆陕西省西安市。毕业于河北传媒学院,系中国大陆80后女演员、导演。其参演作品有《大学生同居的事儿》、《快乐的小2B》、《毛骗》、《闺中男蜜