Rewrite section 2 about propositional resolution calculus
Rewrite section 2 about propositional resolution calculus