(相关资料图)
1、 在标准逻辑中从矛盾中可以推导出任何东西, 这叫做爆炸原理(英文:Principle of Explosion),常用的拉丁文缩写ECQ(ex contradictione quodlibet)来代表。
2、 次协调逻辑就是爆炸原理(ECQ)不成立的逻辑系统。
标签:
(相关资料图)
1、 在标准逻辑中从矛盾中可以推导出任何东西, 这叫做爆炸原理(英文:Principle of Explosion),常用的拉丁文缩写ECQ(ex contradictione quodlibet)来代表。
2、 次协调逻辑就是爆炸原理(ECQ)不成立的逻辑系统。
标签: