Thread: Derive (AVB)V(BVC)

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?

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.