Negation (Logik)

ein einstelliger Junktor (Symbol ¬ oder ∼), der aus einer Aussage A deren Gegenteil ¬A, das Negat von A, bildet. Wenn A den Wahrheitswert wahr hat, hat ¬A den Wert falsch, und umgekehrt. Wichtige mit der Negation verbundene Prinzipien sind das Prinzip vom ausgeschlossenen Dritten, vom verbotenen Widerspruch und das