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.

negation

Noun

  1. The act of negating something.
  2. A denial or contradiction.
  3. 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".)
  4. 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.

Need help with a clue?
Try your search in the crossword dictionary!