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:

p : For every positive real number x, the number (x – 1) is also positive.

is

~p : There exists a positive real number x, such that the number (x – 1) is not positive.