Adjunktion (mathematische Logik)

Verknüpfung zweier (oder mehrerer) Aussagen A und B mit dem nicht ausschließenden Junktor »oder« (lateinisch vel; Zeichen ∨) zu einer als Adjungat oder Adjugat bezeichneten Aussage »A ∨ B«. Diese ist dann wahr, wenn mindestens eine der beiden Aussagen A oder B wahr ist (Wahrheitsfunktion). Die Adjunktion