To be clear, I'm just struggling to understand why Fitch won't let me use EE. From other examples I've seen, I've set it up correctly for EE. I've also tried using BotE and EE on the desired sentence, various variants of the proof, but it always comes down to Fitch not allowing me to do EE. What am I doing wrong? I'm a noob at Fitch, I can prove this so many ways but Fitch frustrates me to no end.enter image description here


'EE 2, 3-13'

Existential elimination requires an existential to eliminate, and a subproof where a witness is assumed that derives a statement that does not include the assumed term.

3-13 is that subproof, but you missed referencing line 2, the existence you wanted to eliminate.

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.