I'm in the process of learning fitch proofs and I've come across one I'm having trouble setting up.
Premise: ~(A > B)
Goal: (A & ~B)
In other words, it looks something like this:
1 | ~(A > B):PR . . . 2 | A:... (I've achieved this much) . . . 3 | ~B:? 4 |(A & ~B):&I 2,3
So far I've got logic for concluding A, but now I struggle to conclude ~B so that I can join the two.
How should I go about doing this?