>>457
とりあえずその説明は無視して、A,Bは仮定である、と考えれば良いかと思います
Cが成り立つのであれば、仮定Aを用いてA→Cを導いても良い
A∨B⊂Cという推論が成り立つのてあれば、A,Bを仮定すればCを導いても良い

私もその本ちょっとだけ読んだ気がするんですけど、難しくてよくわからなかった記憶がありますね