oder (Logik)

bezeichnet den Junktor ∨, mit dessen Hilfe die Adjunktion definiert wird. Neben diesem nicht ausschließenden oder (lateinisch vel) gibt es auch das der Disjunktion zugrunde liegende ausschließende oder (lateinisch aut). ODER-Funktion