Zdania składowe nazywane są składnikami alternatywy.

Alternatywa jest prawdziwa, jeżeli co najmniej jeden z jej składników jest prawdziwy. W przeciwnym razie alternatywa zdań jest fałszywa.

+ 0 0 00 1 11 0 11 1 1 gdzie: 1 – zdanie prawdziwe; 0 – zdanie fałszywe

Notacja Zestawienie symboli alternatywy, stosowanych przez różnych autorów: SchröderPeircePeano, RussellHilbertŁukasiewiczAlternatywa

W językach programowania dla oznaczenia alternatywy używany jest często angielski spójnik OR. W języku C/C++ i pochodnych oznacza się ją przez „||”.

Przykłady Alternatywa zdań: 12 dzieli się przez 3 lub Madryt jest stolicą Hiszpanii jest prawdziwa, bo oba jej zdania składowe są prawdziwe. Alternatywa zdań: jest prawdziwa, bo jeden z jej składników jest prawdziwy (prawdą jest, że 10 jest liczbą mniejszą niż 11). Alternatywa zdań: Kraków leży nad Odrą lub Wisła nie płynie w Polsce jest fałszywa, bo oba jej zdania składowe są fałszywe.

Własności Alternatywa charakteryzuje się następującymi cechami: przemienność

łączność

idempotentność

rozdzielność względem koniunkcji (i odwrotnie)

prawa De Morgana