How would you prove the following by disjunction elimination?
Premises: A ∨ B , A ∨ C
Conclusion: A ∨ (B ∧ C)
Asked
Active
Viewed 201 times
0
-
2What have you tried? – Tito Eliatron Nov 28 '18 at 21:07
-
Apply two "nested" Disjunction eliminations to the premises : three cases : 1) $A$; it's done. 2) $B$ : two sub-cases : 2.1) $A$ : done. 2.2) $C$. – Mauro ALLEGRANZA Nov 29 '18 at 07:50
