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?
Printable View
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.