爆炸原理

✍ dations ◷ 2025-04-16 19:15:34 #推理规则,拉丁语逻辑短语

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

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

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

以说谎者悖论例子:


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

相关

  • 克洛素n/an/an/an/an/an/an/an/an/an/a克洛素(Klotho)是一种由人类KL基因编码而成的酵素。该基因属于第一型跨膜蛋白,且具有β-葡萄糖醛酸苷酶(英语:beta-glucuronidase)活性。慢性肾衰
  • 野西瓜苗野西瓜苗(学名:Hibiscus trionum),又名香铃草、小秋葵、打瓜花、山西瓜秧,是一种锦葵科木槿属一年生草本植物。野西瓜苗的分枝横升或斜升,半空心,上有白色开叉的细毛,高约20-50cm,但
  • 行道树行道树是指在公路或街道两旁成行栽植的木本植物;选择原则主要为:1.生长特性选择原则;2.原生树种优先原则;3.环境调节功能原则;4.与本地主要农林业作物为不同科属,以减少共通病
  • 龙虎山坐标:28°05′N 116°58′E / 28.083°N 116.967°E / 28.083; 116.967龙虎山位于江西省鹰潭市境内,距鹰潭市区约20公里,以丹霞地貌峰林景观闻名于世,其中主峰龙虎山(龙虎峰)海拔2
  • ATC代码 (A12)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A12(矿物质补充剂)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collab
  • 蒙娜·哈娜-阿提沙蒙娜·哈娜-阿提沙(Mona Hanna-Attisha,1976年-),儿科医生、公共卫生倡议者,因为揭发美国密歇根州弗林特市的饮用水含铅量超标(佛林特水源危机(英语:Flint water crisis)),导致儿童健康
  • 欧仁·查理·卡特兰欧仁·夏尔·卡特兰(法语:Eugène Charles Catalan,1814年5月30日-1894年2月14日) 是法国 和 比利时 数学家。卡特兰是一位法国珠宝商的独子,1814年出生于比利时。1825年,他旅居巴
  • 柘植正时柘植正时(つげまさとき,天正13年-宽永19年,即1585年-1643年),日本江户幕府旗本。柘植正俊子。平右尉门。正时出生于摄津国。庆长5年(1600)出仕德川家康。庆长14年(1609)由父亲一方继任
  • AC-130空中炮艇洛克希德AC-130空中炮艇(Lockheed AC-130 Gunship)是一个由美国空军所操作的重型对地攻击机系列,是以洛克希德C-130“力士”式(Hercules)运输机为基础所进一步改装而成,主要用于密
  • 怪盗孤挺花《怪盗孤挺花》(日语:怪盗アマリリス)是日本漫画家和田慎二的漫画作品。原为怪盗漫画,但中间穿插主角迈向偶像名星的演艺过程,后期再把剧情拉回怪盗漫画。