Negation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein unärer logischer Junktor, der den entgegengesetzten Wahrheitswert seiner Operandenformel liefert; üblicherweise als ¬A geschrieben und so definiert, dass ¬A genau dann wahr ist, wenn A falsch ist (in der klassischen Aussagenlogik).