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
| Głażewski pełniącym funkcję prezydenta Olsztyna |
|
Premier Donald Tusk wyznaczył Tomasza Głażewskiego na pełniącego funkcję prezydenta Olsztyna. Będzie on pełnić swe obowiązki do czasu wyboru nowego prezydenta miasta - poinformowała w piątek rzeczniczka wojewody warmińsko- mazurskiego Edyta Wrotek.
|
| Niemcy: Restrykcje dla telewizji Hezbollahu |
|
Niemiecki minister spraw wewnętrznych wprowadził restrykcje dla telewizji satelitarnej libańskiego Hezbollahu, Al-Manar - poinformował rzecznik resortu.
|
| Tymoszenko ma pięć dni na spłacenie długów |
|
Prezydent Ukrainy Wiktor Juszczenko dał rządowi Julii Tymoszenko pięć dni na uregulowanie kwestii długów za gaz wobec rosyjskiego Gazpromu.
|
| Bezrobotny prześladował młodą dentystkę |
|
Proces bezrobotnego Sebastiana W., który przez ponad rok miał nękać dwudziestokilkuletnią dentystkę, a także jej ojca i znajomego rozpoczął się przed warszawskim sądem rejonowym. Oskarżony swe działania tłumaczył przed sądem "zakochaniem", nie przyznał się do przestępstw.
|
| TIR-y blokują drogę krajową nr 5 |
|
Opady śniegu sparaliżowały ruch w piątek na drodze krajowej nr 5 koło Trzebnicy (Dolnośląskie). Samochody ciężarowe, które nie mogą pokonać wzniesienia, blokują ruch w obie strony.
|