Q.Write the negation of the following statement: $\forall n \in N$, $n^2 + n + 2$ is divisible by 4.

Some statements assert a condition about every member of a collection, or about at least one member, rather than being a single fixed proposition; the words that express this are called quantifiers. 'For all' / 'for every' is the universal quantifier, written ∀; 'there exists' / 'for some' / 'there is at least one' is the existential quantifier, written ∃. A statement of the form '∀x ∈ A, condition on x' is TRUE only if every single object in the collection A satisfies the condition, and FALSE if even one object in A fails it. A statement of the form '∃x ∈ A such that condition …