ABJUNKTION

[zu lateinisch abiungere »abspannen«]die, -/-en,mathematische Logik:Aussage oder Formel, die durch Verknüpfung zweier Aussagen oder Formeln mit demJunktor»aber nicht« (Zeichen [sc], auch ) entsteht. Die Abjunktion ist die Negation derSubjunktion.