Oder
In der Aussagenlogik ist "oder" eine der drei Hauptverknüpfungen. Es gilt
\(A\) | \(B\) | \(Avee B\) |
W | W | W |
W | F | W |
F | W | W |
F | F | F |
Die Aussage "A oder B" ist nur dann falsch, wenn A und B beide falsch sind: ist A wahr oder B wahr, so ist die Aussage \(Avee B\) wahr.