I need to prove the following:(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\forall x\forall y[(fy=x)\rightarrow Qx]\vdash \exists xQx[/tex].

I can't do it.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Prove this math logic

**Physics Forums | Science Articles, Homework Help, Discussion**