I'm lost on this example problem. My professor did not explain it very well and the book is no help either. Any help would be appreciated. Here goes:
For each of the following cases, you are given a set of prepositional logic statements that is true. Using resolution, determine which of the individual statement is true or not.
Example (A OR NOT B), (A OR NOT C), (C OR D), (A OR NOT D) – by resolution, you can show that A must be true (but nothing about B, C, D individually)
a. (A OR B OR C), (NOT A OR NOT B), (NOT C OR NOT D)
b. (NOT A OR B), (C OR NOT D), (NOT C OR NOT D), (A OR B OR D)