Nv(X->~K)~I->(K->X)Iv~N/K->~KSo far I have lines 5 and 65 ~N6 K->~KThe -> stands for the horseshoe of implication

Rules of implication- natural deduction proofs

Nv(X->~K)

~I->(K->X)

Iv~N

/K->~K  -------------- this is the conclusion

So far I have lines 5 and 6

5 ~N

6 K->~K

The -> stands for the horseshoe of implication