檢視爆炸原理的原始碼

{| class="wikitable" align="right"

|-

| style="background: #66CCFF" align= center|  '''<big>爆炸原理</big> '''

|-

|<center><img src=https://gimg2.baidu.com/image_search/src=http%3A%2F%2Fp5.itc.cn%2Fimages01%2F20200814%2F003c3593b3e843faa62a571fd5a7987d.jpeg&refer=http%3A%2F%2Fp5.itc.cn&app=2002&size=f9999,10000&q=a80&n=0&g=0n&fmt=auto?sec=1658466521&t=adc6f9fec08024fbb075de877d59dc44 width="300"></center>
<small>[https://m.sohu.com/a/413063330_457869 来自 搜狐网 的图片]</small>


|-

| style="background: #66CCFF" align= center|

|-

| align= light|

|}
'''[[爆炸原理]]'''
 
（英文： principle of explosion）是经典逻辑中陈述从矛盾中可以得出

任何事物的规则。<ref>[ https://m.sohu.com/a/413063330_457869],搜狐

网 ,</ref>

==定义==

爆炸原理
 
（拉丁文：ex contradictione quodlibet (ECQ)， 英文： principle of 

explosion）是经典逻辑中陈述从矛盾中可以得出任何事物的规则。用更加

形式化的术语，从形如 P ∧ ¬P 的命题可以推导出任何任意的 Q。 “爆炸

”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。

除了矛盾平常的一目了然的不真实性之外，这是对在形式系统中不允许 P
 
∧ ¬P 为真的主要[[逻辑论证]]: 在其中任何任意的公式都是定理的系统是

琐碎的。所以爆炸原理证明了[[无矛盾律]]的正当性。

==应用==

在一些非经典逻辑中，爆炸原理不成立。 比如， 次协调逻辑(Paraconsist

ent Logic)
 
和双面真理论(Dialetheism)
 
都是爆炸原理不成立的非经典逻辑系统。

== 参考来源 ==
{{reflist}}

[[Category:340 化學總論 ]]