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.