Negation - Notation

Notation

The negation of a proposition p is notated in different ways in various contexts of discussion and fields of application. Among these variants are the following:

Notation Vocalization
¬p not p
−p not p
~p not p
Np en p
p prime,
p complement
p bar,
bar p
bang p
not p

In Set Theory \ is also used to indicate 'not member of': U \ A is the set of all members of U that are not members of A.

No matter how it is notated or symbolized, the negation ¬p / −p can be read as "it is not the case that p", "not that p", or usually more simply (though not grammatically) as "not p".

Read more about this topic:  Negation