Negation of the proposition $\exists \: x \: H(x)$ is
Simple statement question:
Negation of the proposition ⱻ x H(x)= Ɐ x ¬H(x) // ~ⱻ x =Ɐ x