定律与定理 › 定理
principle of explosion
理论
爆炸原理,是经典逻辑中实质条件陈述从矛盾中可以得出任何事物的规则。用更加形式化的术语,从形如 P ∧ ¬P 的命题可以推导出任何任意的 Q。 “爆炸”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。
摘自维基百科「爆炸原理」,CC BY-SA 4.0
中文维基百科英文维基百科Wikidata