## NEGATION

### Negation

In logic,**negation**, also called

**logical complement**, is an operation that essentially takes a proposition

*p*to another proposition "not

*p*", written

*¬p*, which is interpreted intuitively as being true when

*p*is false and false when

*p*is true. Negation is thus a unary logical connective. It may be applied as an operation on propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truth function that takes

*truth*to

*falsity*and vice versa. In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov ...

*The above text is a snippet from Wikipedia: Negation*

and as such is available under the Creative Commons Attribution/Share-Alike License.

and as such is available under the Creative Commons Attribution/Share-Alike License.

### negation

#### Noun

- The act of negating something.
- A denial or contradiction.
- A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- The logical operation which obtains such (negated) propositions.

*The above text is a snippet from Wiktionary: negation*

and as such is available under the Creative Commons Attribution/Share-Alike License.

and as such is available under the Creative Commons Attribution/Share-Alike License.