hey, what is wrong with the following? is there anything wrong at all?
1. ~(A -> B)
2. ~(~A v B)
3. A ? ~B
4. | A
5. | ~B
6. A -> ~B

Steps:
1. premisse 2. equivalence to implication 3. demorgan 4. hypothesis 5. from (3) 6. conclusion

idk, something feels off, i dont really know what

also: -> is implication and ~ is negation.