>>54
∀x.P⇒Q　は　(∀x.P)⇒Q　ではない
したがって、∀x.Pを示す必要はない

∀x.P⇒Qは、¬(∃x.P∧¬Q)である

∃x.Pかつ¬(∃x.P∧¬Q)から、Qは導ける