I am having trouble solving the following problem:
follows from the premisesCode:A -> (C /\ D)
My first question is:Code:(A V D) -> C (A /\ C) -> D
Are there any rules regarding what can you do when you have something of the form
Like, is it possible to decompose it in something likeCode:(A V B) -> C?
? It seems like you can't. I've triedCode:(A -> C) V (B -> C)
But then I don't know what to do with that, too.Code:-(A V B) V C
Any guidance here would be appreciated