*There is a shorter way to solve this problem by just joining A and B in conjunction and then using M.P. to get the consequent of line 1 and then using Distribution after that to get the answer.*
Our next part in this mini-intro to symbolic logic is going to introduce conditional and indirect proofs so stay tuned for that. See you guys next time and don’t be shy with any questions!