Derive (AVB)V(BVC) 1| (AVC)VB ASS So far I have: 1| (AVC)VB ASS 2| Yeah, I can't even get to the next line :/ I suck at these....is the answer just too obvious?
Follow Math Help Forum on Facebook and Google+
Use disjunction elimination on 1.
hey did you ever get the answer, divinelogos
Is the problem to derive (A ∨ B) ∨ (B ∨ C) from the assumption (A ∨ C) ∨ B? One needs to do disjunction elimination on the assumption, then again disjunction elimination on A ∨ C.
View Tag Cloud