Prawo wyłączonego środka
Z Wikipedii
Prawo wyłączonego środka (łac. tertium non datur) jedno z podstawowych praw klasycznego rachunku zdań.
Prawo to mówi, że dla dowolnego zdania w sensie logiki p albo ono samo jest prawdziwe, albo prawdziwe jest jego zaprzeczenie. Symbolicznie:
Jednakże interpretacja ta jest poprawna jedynie w logice dwuwartościowej - czyli takiej, w której przyjmuje się, że każde zdanie jest albo prawdziwe, albo fałszywe - i na gruncie takiej logiki jest ono powyższej zasadzie równoważne.
Właściwsze jest następujące odczytanie prawa wyłączonego środka:
- dla dowolnego zdania p prawdą jest, że p lub nie p.
Tak odczytane prawo wyłączonego środka obowiązuje również w wielu logikach wielowartościowych, mimo że żadne ze zdań p i nie p nie musi być prawdziwe.
Niektóre logiki, na przykład logika intuicjonistyczna, nie akceptują prawa wyłączonego środka jako znajdującego zastosowanie do wszystkich form twierdzeń. Na przykład twierdzenia o istnieniu obiektu zdaniem intuicjonistów wymagają nie tylko wykazania sprzeczności wynikającej z jego nieistnienia, ale także jego jawnej konstrukcji.
Zobacz też:
| Chronić polski majątek w czasie kryzysu |
Zanosi się na wielką wyprzedaż majątku narodowego - uważa Aleksandra Natalii-Świat z PiS, wiceprzewodnicząca sejmowej komisji finansów publicznych. |
| Proces dr G. kontra "Fakt" bez Ziobry: poseł został ukarany |
Zbigniew Ziobro bez usprawiedliwienia nie stawił się na procesie cywilnym dr. Mirosława G. z "Faktem" (za tekst pt. "Doktor śmierć"). Sąd Okręgowy w Warszawie wymierzył mu 300 zł grzywny. |
| Polak i Brytyjczyk wywołali burdę na pokładzie samolotu |
26-letni Polak i 24-letni Brytyjczyk wywołali burdę na pokładzie nocnego samolotu rejsowego linii Wizzair do Gdańska. Kapitan samolotu zgłosił zakłócenie porządku publicznego na pokładzie. Obaj kompletnie pijani pasażerowie zostali w kajdankach wyprowadzeni z samolotu. |
| Członkowie PiS opuszczą komisję Palikota |
Prawo i Sprawiedliwość mówi "dość" poczynaniom Janusza Palikota. Paweł Poncyliusz zapowiedział w radiu TOK FM, że wraz z członkami PiS zamierzają w tym tygodniu opuścić sejmową komisję "Przyjazne Państwo", której przewodniczy Palikot. |
| Protest w Koninie: Negocjatorzy próbują nawiązać kontakt z ekologami |
11 ekologów Greenpeace z 5 krajów wspina się na 150-metrowy komin zespołu elektrowni Pątnów-Adamów-Konin w Koninie(Wielkopolska). Na miejscu jest już grupa negocjatorów policyjnych, którzy starają się z nimi skontaktować. |
| TV Puls rezygnuje z redakcji katolickiej |
PRZEGLĄD PRASY. W telewizji Puls nie ma już redakcji katolickiej - informuje "Dziennik". Dziennikarze ją tworzący i dwadzieścia innych osób dostało wypowiedzenia. Dariusz Dąbski, prezes Pulsu, zapewnia jednak, że programy katolickie będą i z anteny na pewno nie znikną. |
| Lech Kaczyński doktorem honoris causa uniwersytetu w Ułan Bator |
Prezydent Lech Kaczyński otrzymał tytuł doktora honoris causa Mongolskiego Uniwersytetu Państwowego. Uroczystość na uniwersytecie jest ostatnim punktem oficjalnej wizyty polskiego prezydenta w stolicy Mongolii - Ułan Bator. |
| Za co nagradza Kochanowski |
Z okazji Międzynarodowego Dnia Praw Człowieka rzecznik praw obywatelskich dr Janusz Kochanowski uhonoruje swoją nagrodą zwolennika m.in. kary śmierci dla nieletnich i umysłowo upośledzonych |
| Władze Katowic nie chcą u siebie Czeczenów |
300 Czeczenów zostanie rozwiezionych po Polsce, w tym 50 ciężarnych kobiet i 125 dzieci. Władze Katowic chcą zlikwidować ośrodek dla cudzoziemców |
| Wojna PiS i przystawek o media publiczne |
Krzysztof Czabański za Andrzeja Urbańskiego? O takim wariancie huczy w telewizji. |
