Theorem Proving Resolution
Theorem Proving (Resolution) "Resolution is proofs by refutation, in another word, to prove a goal statement must make it with negation. Resolution attempts to show that the negation of statement produce contradiction with known statements”.