多分君は
P(x)は∀xP(x)の略記だとしか認識してないんだろうな