「物理数学の直感的方法」とかいう本

[0480 ご冗談でしょう？名無しさん 2018/06/18(月) 08:48:12.81 ID:BMDra01S]

>>479
A|-Bと|-A→Bは同じことですよね
純粋な論理体系において、|A→Bが証明可能で、さらにカット除去定理が成り立つとすれば、|-A→Bをカット除去を使わずに証明することができて、移項すればA|-Bを得ます