I'm doing this by myself over the summer and I'm really confused about construct formal proof with Fitch. Currently stucked on a problem that is asking me to derive Dodec(f) from Dodec(e), ¬Small(e), and ¬Dodec(e) ∨ Dodec(f) ∨ Small(e). I have a partially constructed proof already. Please help me check my steps and let me know how can I conclude it. my proof
Edit: Because some lovely person commeneted on how the picture might not be viewable, here is a text version of my proof
- Dodec(e)
- ¬Small(e)
- ¬Dodec(e) ∨ Dodec(f) ∨ Small(e)
- -subproof ¬Dodec(e)
- ⊥ (Intro ⊥ 1, 4) - end subproof
- ¬¬Dodec(e) (¬ Intro 4-5)
- -subproof Dodec(f)
- Dodec(f) (Reit 7) - end subproof
- -subproof Small(e)
- ¬Small(e) (Reit 2)
- ⊥ (⊥ Intro 9, 10) - end subproof
- Dodec(f) (∨ Elim 3, 7-8, 9-11, 4-5)
Thank you guys so so much!!!