Language Proof and Logic Exercise 36 On Fitch Proofs
Premise 1: A v B
Premise 2: A v C
Goal: A v (B and C)
I'm having a very difficult time figuring out how to get the goal. Please explain step-by-step as to how I do so. Thank you.
Here are the directions from my professor: No Taut Con on this one.You will need to use -Elim (argument by cases) as your main strategy. However, in the second subproof of your main strategy you'll need to use
-Elim again (so you'll have nested subproofs).