(logic) The principle or axiom of classical logic and some other logical systems stating that if a contradiction or a false proposition is proven to be true, then it proves that everything is true. In symbols: ⊥→P
principle of explosion
古典論理では、爆発原理(矛盾からは何でも導ける規則)は、矛盾が真であると証明されれば任意の命題が導かれることを主張する。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★