Provide proofs for the following statements

a.The full resolution inference rule (on Slide 37) holds for any k, n1. During the lecture, we show the proof for the simple resolution inference rule. You can use a similar approach. b.Horn clauses are closed under resolution: if you resolve two Horn clauses with complementary literals in the two clauses, you get back a Horn clause.