zweistellige extensionale Aussagenoperation, die mit „oder“ gekennzeichnet wird (Aussagenlogik), und die den gegebenen Aussagen A, B die Aussage „wenn A, so B“ zuordnet.

Häufig wird auch „A oder B“ als Alternative von A, B bezeichnet und mit A ∨ B abgekürzt. A ∨ B ist genau dann gültig, wenn wenigstens eine der beiden Teilaussagen A, B wahr ist. Die Alternative ist kommutativ und assoziativ, d.h., A ∨ B ↔ B ∨ A und (A ∨ B) ∨ C ↔ A ∨ (B ∨ C) sind gültige Aussagen. Für (A ∨ B) ∨ C kann somit kürzer A ∨ B ∨ C geschrieben werden.