Alternatywa - Google

Alternatywa

Z Wikipedii

(Przekierowano z Suma logiczna)
Skocz do: nawigacji, szukaj

Alternatywa (suma logiczna) - w logice to:

  1. 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
  2. Dwuargumentowy spójnik zdaniowy, oznaczany p\,\or\,q (łac. p vel q) o znaczeniu odpowiadającemu wyżej zdefiniowanemu działaniu określonemu w zbiorze A\ni p,q . Od poprzedniej definicji różni się tym, że jest definiowany na poziomie syntaktycznym, dzięki czemu unika się określania jego dziedziny.
  3. Zdanie logiczne postaci p\,\or\,q, 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.

Uproszczony schemat bramki logicznej OR - sumy bitowej
Uproszczony schemat bramki logicznej OR - sumy bitowej

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:

Grafika:Bramka log OR.svg

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:

p\, \or\, q = q\, \or\, p
p\, \or\, (q\, \or\, r) = (p\, \or\, q)\, \or\, r

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ż

Wikibooks
Zobacz podręcznik na Wikibooks: Matematyka dla liceum - Logika

W.Brytania: minister finansów ostrzega!
Brytyjski minister finansów (kanclerz skarbu) Alistair Darling ostrzegł wywiadzie dla sobotniego "Timesa", że spowolnienie brytyjskiej gospodarki jest głębsze niż sądził wcześniej i potrwa lata, a nie miesiące; on sam nie wie, jak długo.
W Hiszpanii alarm kryzysowy - rośnie bezrobocie
W Hiszpanii po raz pierwszy od 1996 roku w czerwcu wzrosło bezrobocie, a premier Jose Luis Rodriguez Zapatero zwołał w sobotę na przyszły tydzień pilne posiedzenie grupy wybitnych ekonomistów, aby wypowiedzieli się na temat objawów kryzysu w gospodarce hiszpańskiej.
Amerykanie nie mają na Coca-Colę
Coca-Cola i inne napoje amerykańskiego giganta od września podrożeją. Coca-Cola Enterprises, dystrybuująca produkty koncernu w Stanach, zapowiedziała, że podniesie ceny - informuje "Rzeczpospolita".
TV Puls zostanie sprzedany?
Kontrolowany przez Ruperta Murdocha koncern medialny News Corp. może sprzedać stacje telewizyjne w Europie Środkowej - informuje "Gazeta Wyborcza".
Najnowsze trendy w PR prosto z europejskiego rynku
W dniach 18-19 września w Hotelu Holiday Inn w Warszawie odbędzie się IV Kongres Public Relations Trendy 2009. Jest to już jego czwarta edycja, skupiająca co roku ponad 150 uczestników z polskiego środowiska PR.
Linki: Strona gwna