This is a question about knowledge representation and reasoning. About proof system K.So could you explain why each line is correct or incorrect in both proof, proof1 and proof2 ? The answer is the second picture but it's not detailed.

(a) Below you will find one correct proof in K and one incorrect proof. Write down which proof is correct, and all line numbers of the lines where the incorrect proof contains errors. (8 marks) \begin{tabular}{lll} & \multicolumn{1}{c}{ Proof 1: } & \\ 1. & pp & T \\ 2. & q(pp) & T(1) \\ 3. & (q(pp))(q(pp)) & K \\ 4. & (q(pp)) & MP(2,3) \\ 5. & (q(pp)) & Necc(4) \end{tabular} Solution. (a) Proof 2 is correct. Proof 1 contains errors in lines 2,3 and 4