In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition to another proposition "not ", standing for " is not true", written, or. It is interpreted intuitively as being true when is false, and... Wikipedia