Rylee M.

asked • 12/14/20

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 LaTeX: \vee -Elim (argument by cases) as your main strategy. However, in the second subproof of your main strategy you'll need to use 

LaTeX: \vee -Elim again (so you'll have nested subproofs).

1 Expert Answer


Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.


Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.