disjunction
Ein logischer Operator, der eine Verknüpfung von Aussagen darstellt, wobei die Verknüpfung wahr ist, wenn mindestens eine der Aussagen wahr ist.
A logical operation that connects statements using 'or'.
-
Die Disjunktion zweier Aussagen ist wahr, wenn eine davon wahr ist.— The disjunction of two statements is true if one of them is true.
-
In der Logik wird die Disjunktion oft mit dem Symbol $\lor$ dargestellt.— In logic, disjunction is often represented by the symbol $\lor$.
Синонимы