1
$\begingroup$

It's an FOL proof It's an FOL proof (you can take a look here) Thank you so much!

enter image description here

enter image description here

$\endgroup$
2
$\begingroup$

On line 3 you should assume $F(a)$

Remember you are setting up an $\exists$ Elim on $\exists x \ F(x)$ (Indeed, line 7 should refer to premise 2, not 1) and so you should take the formula $F(x)$ and substitute a constant for the $x$.

$\endgroup$
  • $\begingroup$ Hi Bram28! I took your advice about F(a) but I'm still not sure how to finish off the proof $\endgroup$ – notMW Dec 5 at 23:09
  • 1
    $\begingroup$ @user726371 Note that after assuming Fa, you can simply infer Fa v Ga using v Intro $\endgroup$ – Bram28 Dec 6 at 2:49

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.