/sci/ - Science & Math

If i am proving a series of statements like
Premise 1
Premise 2
Premise 3
________
Conclusion

and the conclusion is of the form A or B, can i turn this into ~A -> B, and then assume ~A is true, like the hypothesis, and use this to prove C?