Alternatywa
Z Wikipedii
Alternatywa (suma logiczna) - w logice to:
- Działanie dwuargumentowe określone w dowolnym zbiorze zdań bądź w zbiorze funkcji zdaniowych, które zdaniom (funkcjom zdaniowym) p i q przypisuje zdanie (funkcję zdaniową) prawdziwe wtedy i tylko wtedy gdy prawdziwe jest przynajmniej jedno ze zdań (funkcji) p i q
- Dwuargumentowy spójnik zdaniowy, oznaczany
(łac. p vel q) o znaczeniu odpowiadającemu wyżej zdefiniowanemu działaniu określonemu w zbiorze 
. Od poprzedniej definicji różni się tym, że jest definiowany na poziomie syntaktycznym, dzięki czemu unika się określania jego dziedziny. - Zdanie logiczne postaci , gdzie p i q są zdaniami.
Potoczne znaczenie słowa alternatywa jako dwóch wykluczających się możliwości odpowiada matematycznemu pojęciu alternatywy wykluczającej, a nie klasycznej alternatywy przedstawianej w tym artykule.
Alternatywa 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.
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- rachunek zdań
- prawa rachunku zdań
- alternatywa wykluczająca
- dysjunkcja
- implikacja
- koniunkcja
- negacja
- równoważność
- algebra Boole'a
Warning: curl_setopt() [function.curl-setopt]: CURLOPT_FOLLOWLOCATION cannot be activated when in safe_mode or an open_basedir is set in /www/motocykle_www/spam/mo/richFeeds.php on line 59
| MON ściągnie zawodowców do armii z Wysp? |
|
"Rzeczpospolita": MON chce znaleźć ochotników do zawodowej armii wśród Polaków pracujących w Wielkiej Brytanii - dowiedziała się "Rzeczpospolita".
|
| Wzrost cen prądu spowoduje bankructwo miasta? |
|
"Nasz Dziennik": Upadek zakładów i gwałtowny wzrost bezrobocia w Stalowej Woli i okolicach - takie skutki w ocenie "Naszego Dziennika" przyniesie drastyczna podwyżka cen prądu dla zakładów przemysłowych działających w tamtejszej Specjalnej Strefie Ekonomicznej.
|
| Szczecin chce ściągnąć emigrantów do kraju |
|
"Metro": Władze Szczecina jadą dziś z misją specjalną do Wielkiej Brytanii. Przez weekend będą namawiać emigrantów z Polski, by osiedlili się na Pomorzu. Na podobną akcję zdecydowało się w sumie 12 polskich miast.
|
| Lewica uderzy w "dopalacze" |
|
Całkowity zakaz reklamy, konieczność uzyskania zezwolenia na sprzedaż, a także określenie miejsca, gdzie mogłyby być sprzedawane tzw. dopalacze określa przygotowany przez klub Lewicy projekt ustawy ograniczający sprzedaż tych legalnych substancji o działaniu podobnym do narkotyków.
|
| Sejm odrzuci weto prezydenta dot. konwencji ws. kontaktów z dziećmi? |
|
Sejmowe Komisje Sprawiedliwości i Praw Człowieka oraz Spraw Zagranicznych opowiedziały się za ponownym uchwaleniem w dotychczasowym brzmieniu zawetowanej przez prezydenta ustawy o ratyfikacji Konwencji ws. kontaktów z dziećmi.
|