Negation of statement p is "not p." The negation of p is symbolized by "~p." The truth value of ~p is the opposite of the truth value of p.

The negation of the statement:

r : There exists a number x such that 0 < x < 1.

is

~r : For every real number x,either x ≤ 0 or x ≥ 1.