• (logic) The logical operation which obtains such (negated) propositions.
  • (logic, countable) 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".)
  • (countable) A denial or contradiction.
  • (uncountable) The act of negating something.

Leave a Reply

Your email address will not be published.