Alternatywa
Z Wikipedii
Najbardziej powszechnie, alternatywa to dwie wykluczające się możliwości lub sytuacja wymagająca wyboru pomiędzy dwiema możliwościami.
W logice alternatywa to zdanie złożone mające postać p lub q, gdzie p lub q są zdaniami. W rachunku zdań dla alternatywy stosowany jest zapis 
(łac. p vel q). Przez alternatywę rozumie się też zdanie mające postać p1 lub p2 lub ... lub pn, które ma sens z powodu łączności tego działania. Alternatywę można zdefiniować bardziej formalnie jako dwuargumentowe działanie określone w zbiorze zdań, które zdaniom p,q przyporządkowuje zdanie p lub q i jest to funkcja boolowska.
Działanie to pozostaje w ścisłym związku z dodawaniem zbiorów (patrz algebra zbiorów). Dlatego zdanie utworzone z innych zdań przy użyciu alternatywy jest też nazywane sumą logiczną. Alternatywa jest prawdziwa, jeżeli którekolwiek z jej zdań składowych jest prawdziwe. W przeciwnym razie alternatywa zdań jest fałszywa.
Symbol alternatywy jako bramki logicznej:
Tablica prawdy dla alternatywy (0 oznacza zdanie fałszywe, 1 - zdanie prawdziwe):
| p | q | p ∨ q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Alternatywa jest:
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 " | | ".
[edytuj] 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ń: 10 > 12 lub 10 < 11 jest prawdziwa, bo 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.
