✨ ベストアンサー ✨
一番最初の変形のところで、x=0を考える必要があると思います。
また、二つ目の同値変形では代入したものは残さなくてはなりませんので2行目がx≠0ではなく、t=y/xとなります。
3つ目の同値変形を作って、最後のカッコの部分を書くと良いと思います
例えばf(x,t)=1(定数関数)なんかが反例になりますね~
x=0のとき、
∃t s.t. y=f(x,t)かつy=tx
⇒∃t, y=1かつy=0
⇒1=0
⇒矛盾
⇒∀t s.t. y≠f(x,t)またはt≠y/x

二つ目の同値変形は丁寧に書くならということです