I got a logic question. The premise is $(A \lor ( \bot \lor B))$
The goal is $A \lor B$.
I can only use intro elim and reit as rules. I know that the contradiction sign can be used stand alone to show that there is a contradiction obviously but how does that work in this case. What does it do here?
Also I am guessing that for the proof I have to proof that the contradiction sign is Always false so I can say that B is Always true so I can use if an only if to equal the right side to B. But because I don't fully understand how the contradiction sign works in this case I don't know how to do that.