In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition to another proposition "not ", written , , or . It is interpreted intuitively as being true when is false, and false when is true. For example, if is "The dog runs", then "not " is "The dog does not run". An operand of a negation is called a negand or negatum.