Negation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A unary logical connective that yields the opposite truth value of its operand formula; typically written ¬A and defined so that ¬A is true exactly when A is false (in classical propositional logic).