Abjunktion (mathematische Logik)

Aussage oder Formel, die durch Verknüpfung zweier Aussagen oder Formeln mit dem Junktor »aber nicht« (Zeichen ≻, auch ⊅) entsteht. Die Abjunktion ist die Negation der Subjunktion.