Following all conventions from the textbook, complete this formal proof. (Hint: There are several good ways to do this proof, but you have to figure out how we did it. We suggest experimenting with pen and paper or the proof machine to find different ways to do it. Then you can figure out which way is fastest, which is what we chose.) Try it in the proof machine. Links to an external site. 1. ~(A->B)Premise 2. | 3. | | 4. | | | 5. | | | 6. | | | 7. | | | 8. | | 9. | 10. | 11. ~(~AvB)