Negáció
Negáció, or negation, is the operation that inverts the truth value of a proposition. If P is true, the negation ¬P is false, and if P is false, ¬P is true. In natural language, negation expresses denial or contradiction; in formal systems, it is a precise logical operator.
Formally, negation is a unary operator applied to a statement or predicate. In classical propositional logic,
In mathematics and set theory, negation is closely linked to complementation. Given a universal set U, the
In linguistics, negation is realized by negative particles or affixes, words like not or no, and by
In computing, negation is implemented by the unary not operator (often written as ! or not) for booleans;