Disjunktion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein binärer wahrheitsfunktionaler Junktor (gewöhnlich mit ∨ bezeichnet), der genau dann wahr ist, wenn mindestens eine seiner Operandenformeln wahr ist; in der klassischen Logik entspricht dies dem inklusiven 'oder'.