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.

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

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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!