negation
Quick Summary
In logic, negation is a fundamental operation that reverses the truth value of a proposition. If a statement is true, its negation is false, and vice versa. This is often symbolized by a tilde (~). For example, if the proposition "It is raining" is true, then its negation, "~It is raining" (meaning "It is not raining"), is false. Negation is a key component in propositional logic, which deals with how simple propositions can be combined using logical connectives like "and," "or," and "if...then" to form more complex statements. The concept of negation is also used more broadly to mean denying something or putting an end to it by formal action.1234567
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
