Question: I need help proving Exercise 8.35 -Fitch Proof for Language Proof Logic. All the steps are correct except for Step 12 and 13. Can someone
I need help proving Exercise 8.35 -Fitch Proof for Language Proof Logic. All the steps are correct except for Step 12 and 13. Can someone please help me figure out Step 12 and 13 I been working on it for a few hours now but I'm stuck.


1. -cube(b)Smal(b) 2. Smalkc) (Smal(d) v Smal(e)) 4. Cubeb)Smal(e) 15. -Smal(c) -Small(b) 7. -Cube(b) 8. Smalkb) Elim 7.1 Intro 9. 8,6 Intro 10. Cube(b 7-9 11. -Smake) Goals smal(c) Smal(b)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
