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