H(x): There exists some x for which H(x) is true¬∃x H(x): The negation for ꓱ x H(x) will be for all x H(x) is not true.∴ ¬∃x H(x) = ∀x ¬H(x)THEREFORE option (2) is CORRECT.