定律与定理 › 定理

爆炸原理

principle of explosion

理论

爆炸原理,是经典逻辑中实质条件陈述从矛盾中可以得出任何事物的规则。用更加形式化的术语,从形如 P ∧ ¬P 的命题可以推导出任何任意的 Q。 “爆炸”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。

摘自维基百科「爆炸原理」,CC BY-SA 4.0

类型
定理
研究学科
命题逻辑
学科
数学