0459132人目の素数さん垢版 | 大砲2018/02/23(金) 12:06:49.15ID:Xeww/rOc >>457 とりあえずその説明は無視して、A,Bは仮定である、と考えれば良いかと思います Cが成り立つのであれば、仮定Aを用いてA→Cを導いても良い A∨B⊂Cという推論が成り立つのてあれば、A,Bを仮定すればCを導いても良い 私もその本ちょっとだけ読んだ気がするんですけど、難しくてよくわからなかった記憶がありますね