https://rio2016.5ch.net/test/read.cgi/math/1710632805/490
>(∃x.P)⇒Qと∀x.P⇒Qはほぼ同値

∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
そのことは正しい

しかし、Qを示したいのに∀x.P⇒Qだけ示しても意味ない

ましてや∀x.P⇒⊥（すなわち¬∃x.P）から、∀x.P⇒Qを示した場合
∃x.Pが成り立たないのだから無意味

こんな初歩からわからんターンエーは
やっぱり論理ド素人