Q.Write the truth values of the following statement: $\forall\, n \in N,\ n^2 + n$ is an even number while $n^2 - n$ is an odd number.

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 …