1 Answered Questions for the topic Propositional Equivalences
Can anyone help me with this? I'm suppose to use resolution to prove that [(p ? q) ^ (q ? (r ^ s))] ? (p ? s)
I have to use resolution to prove these inferences are valid [(p → q) ^ (q → (r ^ s))] → (p → s) ?