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
| Internauci wybiorą najlepszą stronę roku |
|
Webstarfestival, prestiżowy konkurs na najlepsze strony w polskim Internecie wyłoni swoich laureatów w SMS-owym głosowaniu.
|
| Program do hakowania Gmail'a |
|
Program umożliwiający włamanie się i przejęcie konta Gmail zostanie udostępniony w Internecie w ciągu dwóch najbliższych tygodni – zapowiedział jego autor, Mike Perry.
|
| Inspirion z Linuksem już wkrótce |
|
Firma Dell poinformowała, iż już niedługo na rynek trafią netbooki Inspirion 910 z przeinstalowanym systemem Ubuntu Linux.
|
| Szerokie ekrany firmy BenQ |
|
Firma BenQ wprowadziła na rynek nowe modele monitorów panoramicznych.
|
| iPody wybuchają |
|
Rzadka usterka w odtwarzaczach iPod Nano pierwszej generacji jest powodem paniki wśród ich japońskich właścicieli.
|