Please be explain about how the Davis-Putnam resolution strategy works for this question as well.... I don't understand how it's used here -- I'm a bit lost on learning what resolvents are and what makes a formula satisfiable and unsatisfiable. Thanks.

(b) "Sophia is either a college professor or a university professor. If Sophia is a college professor, then she has M.S (Master of Science) degree. If Sophia is a university professor and she has a M.S degree, then she is smart. Sophia is not smart, so (logical consequence) she is a college professor" Is the argument logically correct? Justify your answer using a Davis-Putnam resolution strategy and the following atomic propositions: P: Sophia is a college professor. Q: Sophia is a university professor. R: Sophia has a M.S. degree. S: Sophia is smart