* General resolution Method * General Resolution method in FOL Lesson 8 General resolution Method General resolution Method * * Typical problems to solve Proving logical…