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
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
