Twierdzenie
Z Wikipedii
Twierdzenie to sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji. Pierwszy zbiór zdań określa ściśle warunki dla których dane twierdzenie jest spełnione i nazywa się założeniem twierdzenia, a drugi zbiór zdań jest sądem właściwym, będącym istotną treścią wypowiadanego twierdzenia i zwany jest tezą twierdzenia.
Twierdzenie od sylogizmu, który posiada podobną strukturę zdaniową, odróżnia to, że teza twierdzenia nie wynika bezpośrednio z założeń i wymaga osobnego dowodu, w którym trzeba się odnieść do wcześniejszych twierdzeń przyjętych w ramach danej teorii. Sylogizmy wywiedzione z danego twierdzenia są z kolei często nazywane wnioskami z twierdzenia. Czasami nazywa się je także twierdzeniami trywialnymi.
Nie wszystkie twierdzenia przyjęte za prawdziwe w danej teorii posiadają dowód. Część z nich ma charakter twierdzeń pierwotnych, które z natury rzeczy nie mogą być dowiedzione. Takie twierdzenia nazywane są aksjomatami. Inne z kolei twierdzenia są przyjęte w pewnym sensie "na wiarę", gdyż mimo braku dowodu wydają się być prawdziwe we wszystkich znanych przypadkach. Kurt Gödel dowiódł, że w ramach każdej wystarczająco złożonej teorii składającej się z pojęć pierwotnych i aksjomatów występuje zawsze pewien zbiór twierdzeń, które są prawdziwe, ale nie można ich w ramach danej teorii dowieść. Dodajmy, że "wystarczająco złożonej" oznacza tu zwykle "wystarczającej do zapisania pełnej arytmetyki liczb naturalnych". Jest to tzw. twierdzenie Gödla.
Dla uproszczenia część twierdzeń jest podawana w formie jednego zdania złożonego, jednak odróżnienie takiego zdania od zdań trywialnych jest możliwe poprzez rozwinięcie ich do pełnej postaci twierdzenia. Rozważmy dla przykładu następujące twierdzenie sformułowane w postaci jednego zdania: "jeżeli liczba naturalna m jest podzielna przez sześć, to jest ona podzielna przez trzy". To samo twierdzenie z rozbiciem na założenia i tezę wyglądałoby następująco:
- założenie - dla każdego m należącego do zbioru liczb naturalnych i podzielnego przez sześć,
- teza - m jest podzielne przez trzy.
W założeniach twierdzenia bardzo często występują kwantyfikatory, czyli określenia postaci "dla każdego z danych elementów zbioru ..." lub "istnieje taki element zbioru, że ...", jednak znane są także twierdzenia, które da się sformułować bez kwantyfikatorów, stąd występowanie ich nie jest koniecznym warunkiem przyjęcia danej wypowiedzi za twierdzenie.
[edytuj] Znane twierdzenia
- twierdzenie Pitagorasa
- twierdzenie Bézout
- twierdzenie Ptolemeusza
- twierdzenie Talesa
- wielkie twierdzenie Fermata
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- automatyczne dowodzenie twierdzeń
- twierdzenie odwrotne do danego twierdzenia
- twierdzenie przeciwne do danego twierdzenia
- twierdzenie przeciwstawne do danego twierdzenia
[edytuj] Linki zewnętrzne
"Jakie twierdzenia matematyczne są ważne?" (Delta, 1/1983)
| Wyjazdowe obrady klubu PO: wraca sprawa Staroń |
Podczas wyjazdowego posiedzenia klubu PO w miejscowości Ossa k. Rawy Mazowieckiej Lidia Staroń czyniła wyrzuty kolegom, że nie wsparli jej po publikacji "Rzeczpospolitej". Gazeta napisała, że Staroń zarobiła kilkaset tysięcy zł, bo ustawa, nad którą pracowała, pozwoliła jej uwłaszczyć lokal usługowy. Donald Tusk - relacjonuje zastrzegający anonimowość uczestnik obrad - poparł Staroń, natomiast Zbigniew Chlebowski nie zabrał głosu. |
| Pierwsza ofiara mrozu. Mężczyzna znaleziony na Podkarpaciu |
45-letni mężczyzna jest najprawdopodobniej pierwszą tegoroczną ofiarą mrozów na Podkarpaciu. Policjanci wyjaśniają dokładne przyczyny śmierci mieszkańca Trzebuski. Mężczyznę znaleziono niespełna sto metrów od jego domu. Wiele wskazuje na to, że zmarł w wyniku wychłodzenia organizmu. |
| Pacelt do dymisji, dostanie nowe zadania |
Ostrowiecki poseł Platformy Obywatelskiej Zbigniew Pacelt zostanie odwołany ze stanowiska wiceministra sportu. Teraz będzie odpowiadał za przygotowania reprezentacji Polski do igrzysk w Londynie. |
| Osiedlowy zespół ukradł sprzęt Acid Drinkers |
Policjanci odzyskali sprzęt muzyczny należący do zespołu Acid Drinkers. Złodziejami okazali się 17-letni Jakub K. i 18-letni Paweł K., członkowie osiedlowego zespołu z Ełku. Za kradzież odpowiedzą przed sądem. Grozi im nawet pięć lat więzienia. |
| Pijany policjant spowodował kolizję |
26-letni pijany policjant spowodował w sobotę w Elblągu kolizję. Funkcjonariusz, który miał w wydychanym powietrzu 2,5 promila alkoholu, straci pracę. Czeka go także sprawa karna - poinformowała Justyna Grzeczka z elbląskiej policji. |
| Drugie podejście PO do ustawy o mediach |
PO wraca do rozmów z lewicą o zmianach w mediach. W przyszłym tygodniu politycy Platformy maja wyłożyć na stół nowy projekt ustawy medialnej - dowiedział się "Dziennik". |
| PiS zaniepokojone sprawą posłów Sejmu Litwy z Kartą Polaka |
PiS jest zaniepokojone sprawą posłów litewskiego Sejmu posiadających Kartę Polaka. Dwóm z trzech posłów AWPL grozi utrata mandatu litewskiego posła z powodu przyjęcia przez nich Karty, co budzi na Litwie kontrowersje. |
| Ojciec, gdy wypił, znęcał się nad córką |
Ojciec nadużywał alkoholu. Gdy był pijany, bił córkę drewnianą listewką. Dziewczynka opowiedziała o tym opiekunce ze świetlicy osiedlowej. Ta o sprawie zawiadomiła policję. 47-letniego Arkadiusza L. zatrzymano. Miał prawie promil alkoholu we krwi. Został aresztowany na trzy miesiące. |
| Kaczyński: Pokażemy inne przypadki pijanych posłów w Sejmie |
- PiS nie będzie podejmował żadnych decyzji w sprawie Elżbiety Kruk - powiedział Jarosław Kaczyński. Posłanka w czasie wczorajszych porannych głosowań w Sejmie chwiała się na nogach i niewyraźnie mówiła. |
| Zawieje i zamiecie na południu, dużo śniegu na północy |
Zawieje i zamiecie śnieżne mogą nękać aż do jutrzejszego popołudnia całe południe Polski. na północy, nad Bałtykiem pada i ma padać śnieg. Jak zapowiada Instytut Meteorologii i Gospodarki Wodnej w ciągu doby może tam spaść nawet 20 centymetrów śniegu. |
