Słownik pojęć matematycznych
Alternatywa
Symbol ∨. W logice relacja lub pomiędzy dwoma zdaniami logicznymi lub funktorami zdaniotwórczymi. Alternatywę traktujemy jako "jedno lub drugie lub oba". Dla dwóch zdań logicznych p i q zdanie p ∨ q jest fałszem tylko wtedy, gdy oba zdania składowe są fałszem, w innym przypadku jest ono prawdą.