Czym jest logika matematyczna?

Charakterystyczną cechą matematyki jest dowodzenie twierdzeń, na podstawie innych twierdzeń, których prawdziwość została już dowiedziona lub z góry założona. Dowodzenie twierdzeń odbywa się za pomocą tak zwanego rozumowania dedukcyjnego, które stanowi niezwykle ważne narzędzie matematyki. Nauką, której jednym z zadań jest badanie rozumowań stosowanych w matematyce i ustalanie kryteriów ich poprawności, jest własnie logika matematyczna. Logika matematyczna jest formalną metodą matematyczną służącą do badania prawdziwości lub fałszywości zdań. Ale czym są owe tajemnicze zdania?

Zdania i funkcje zdaniowe

Zdaniem nazywamy w logice wypowiedź orzekającą, której można przypisać jedną z dwóch ocen: prawdy lub fałszu. Orzekającą, czyli twierdzącą - zdanie zaczynające się od "CZY" nie będzie zatem zdaniem w sensie logiki matematycznej. Wartość logiczną zdania prawdziwego oznaczamy przez 1, zdania fałszywego przez 0. JEST TO TYLKO UMOWA. Równie dobrze moglibyśmy użyć innych oznaczeń. Ktokolwiek widzi w tym analogię do systemu dwójkowego stosowanego dzisiaj w komputerach, ten nic a nic się nie myli... Zdania na ogół oznaczamy literami: p, q, r,...

I tak na przykład zdanie 13 jest liczbą pierwszą jest (w arytmetyce liczb naturalnych) zdaniem prawdziwym (wartość logiczna 1), zaś zdanie 13 jest liczbą parzystą jest zdaniem fałszywym (wartość logiczna 0). Zdanie: czy kwadrat jest czworokątem? nie jest zdaniem orzekającym, zatem nie ma żadnej wartości logicznej. Zdanie: prosta jednym ruchem gałki ocznej niszczy galaktyki jest wprawdzie zdaniem orzekającym, ale w ramach geometrii bezsensownym (ani prawdziwym ani fałszywym). Logika nie ustala wartości logicznych pojedynczych zdań. Czyni to odpowiednia nauka. Na przykład zdanie Istnieje liczba będąca ilorazem 13 i 5 jest fałszywe w arytmetyce liczb naturalnych (bo ułamek trzynaście piątych nie jest liczbą naturalną), ale prawdziwe w arytmetyce liczb wymiernych czy rzeczywistych. Oczywiście to samo zdanie jest w ogóle bez sensu na przykład w etyce.

Funkcją zdaniową nazywamy wyrażenie, które po wstawieniu w miejsce zawierające zmienną x dowolnego elementu należącego do dziedziny staje się zdaniem logicznym.

I tak na przykład funkcja zdaniowa x jest liczbą naturalną, staje się zdaniem po podstawieniu pod x konkretnej wartości liczbowej. Jeżeli wstawimy np. x = 5, zdanie będzie prawdziwe, dla x = -7, zdanie będzie fałszywe.

Operacje na zdaniach

Negacja

Negację (zaprzeczenie) zdania p- zdanie „nieprawda, że p” oznaczamy: nie p

Na przykład jeżeli p oznacza zdanie: 3 jest liczbą parzystą
to nie p oznacza zdanie: nieprawda, że 3 jest liczbą parzystą. W tym przykładzie zdanie p jest fałszywe, a zdanie nie p jest prawdziwe.

Dwa zdania: p oraz nie p nazywamy sprzecznymi. Z pojęciem negacji związane jest tzw. prawo wyłączonego środka: z dwóch zdań p oraz nie p co najmniej jedno jest prawdziwe. Innymi słowy prawo to mówi nam, że dwa zdania sprzeczne nie mogą być jednocześnie fałszywe. Prawo wyłączonego środka nosi łacińską nazwę tertium non datum (trzeciej możliwości brak).

Koniunkcja

Koniunkcję zdań p i q czyli zdanie „p i q” oznaczamy: p i q

Na przykład zdanie: (kwadrat jest czworokątem) i (7 jest liczbą pierwszą) jest prawdziwe, natomiast zdanie (kwadrat jest czworokątem) i (7 jest liczbą parzystą) jest fałszywe.

Alternatywa

Alternatywę zdań p i q czyli zdanie „p lub q” oznaczamy: p lub q

Na przykład zdanie: (kwadrat jest czworokątem) lub (7 jest liczbą parzystą) jest prawdziwe, natomiast zdanie (kwadrat nie jest czworokątem) lub (7 jest liczbą parzystą) jest fałszywe. Podobnie zdanie 6 jest liczbą parzystą lub nieparzystą jest prawdziwe, natomiast 7 jest podzielne przez 2 lub przez 3 jest fałszywe.

Implikacja

Implikację (wynikanie) zdań p i q - zdanie „jeśli p, to q” oznaczamy: z p wynika q

Pierwsze ze zdań (p) nazywamy poprzednikiem implikacji, drugie (q) następnikiem implikacji. Implikacja jest bodaj najciekawszym przypadkiem rachunku zdań. Przeczy ona bowiem niekiedy tzw. zdrowemu rozsądkowi (zdrowy rozsądek - zespół fałszywych przekonań wbijanych przez dorosłych). W mowie potocznej nie używamy słowa "wynika" w tak szerokim znaczeniu. Na przykład nie mówimy o wynikaniu gdy zarówno poprzednik jak i następnik są fałszywe. Tymczasem, o dziwo, w tym przypadku w logice matematycznej takie zdanie jest prawdziwe! Wraz z naszymi postępami w nauce zobaczymy, że KAŻDE twierdzenie matematyczne można zapisać w postaci pewnej implikacji - według schematu: jeżeli ZAŁOŻENIE to TEZA.

Z implikacją związana jest tzw. reguła odrywania. Mówi ona, że jeżeli prawdziwe jest wynikanie z p wynika q oraz zdanie p, wówczas prawdziwe jest zdanie q.
Przykład: z arytmetyki wiadomo, że implikacja jeżeli suma cyfr liczby dzieli się przez 3, to ta liczba dzieli się przez 3 jest prawdziwa. Zdanie: suma cyfr liczby 723 dzieli się przez 3 jest również prawdziwe. Na podstawie reguły odrywania wnioskujemy, że sama liczba 723 dzieli się przez 3. Kolejnym ważnym prawem jest prawo przechodniości implikacji. Jeżeli prawdziwe są dwie implikacje z p wynika q oraz z q wynika r, to prawdziwa jest implikacja z p wynika r. Taki ciąg implikacji może być bardzo długi. Milion, miliard, trylion implikacji... a niech i będzie nieskończoność, byle przeliczalna, precz z ograniczeniami... No i kto teraz będzie dalej uparcie twierdził, że machnięcie skrzydłami motyla w Paragwaju nie może wywołac paniki na giełdzie w Kuala Lumpur... Związku pozornie nie widać ale czy aby na pewno go nie ma....

Równoważność

Równoważność zdań p i q czyli zdanie „p wtedy i tylko wtedy, gdy q” oznaczamy: p wtedy i tylko wtedy, gdy q

Już na pierwszy rzut oka widać, że równoważność jest prawdziwa, gdy po obu stronach stoją zdania o tej samej wartości logicznej. No bo wart pac pałaca... Fałsz równoważny fałszowi a prawda prawdzie. Inaczej mówiąc, jeżeli równoważność jest prawdziwa, to zdania p i q nazywamy zdaniami równoważnymi. Na przykład: (3x - 6 = 0) <=> (x = 2) (trzy razy x minus 6 jest równe 0, wtedy i tylko wtedy gdy x równa się 3). Równoważność jest pewnym uogólnieniem równości, stąd nieprzypadkowe podobieństwo symboli.

Tabelka wartości logicznych negacji, koniunkcji, alternatywy, implikacji i równoważności:

p q nie p nie q p i q p lub q z p wynika q p wtedy i tylko wtedy, gdy q
0 0 1 1 0 0 1 1
0 1 1 0 0 1 1 0
1 0 0 1 0 1 0 0
1 1 0 0 1 1 1 1

Z powyższej tabelki wynikają proste wnioski dotyczące wartości logicznych. By stać się (arcy)mistrzem logiki wystarczy zapamiętać, że:

Negacja ma zawsze wartość przeciwną do zdania negowanego.

Koniunkcja dwóch zdań jest prawdziwa wtedy i tylko wtedy gdy oba zdania są prawdziwe.

Alternatywa dwóch zdań jest fałszywa wtedy i tylko wtedy gdy oba zdania są fałszywe.

Implikacja jest fałszywa wtedy i tylko wtedy gdy z prawdy wynika fałsz.

Równoważność dwóch zdań jest prawdziwa wtedy i tylko wtedy gdy oba zdania mają tą samą wartość logiczną.

Tautologia

Tautologia (fajnie brzmi, prawda...) to zdanie złożone, które jest zawsze prawdziwe, niezależnie od wartości logicznych zdań prostych, z których się składa. Jakby nie kombinować zawsze otrzymamy prawdę. Najbardziej znanymi tautologiami są podane niżej prawa de Morgana:

Pierwsze prawo de Morgana

Pierwsze prawo de Morgana

Drugie prawo de Morgana

Drugie prawo de Morgana

a także prawo wyłączonego środka (Tertium non datum)

Tertium non datum

i prawo transpozycji

Prawo transpozycji

Na koniec tego krótkiego wykładu powiemy sobie o kwantyfikatorach. W matematyce posługujemy się często zwrotami dla każdego x i istnieje takie x, że... Są to, odpowiednio:

Kwantyfikator ogólny (dla każdego...), oznaczany symbolem Kwantyfikator ogólny lub Kwantyfikator ogólny. Zapis ten czytamy "DLA KAŻDEGO x należącego do X".

Kwantyfikator szczegółowy (istnieje..), oznaczany symbolem Kwantyfikator szczegó³owy lub Kwantyfikator szczegó³owy. Zapis ten czytamy "ISTNIEJE x należące do X".

Jak brzmi zatem (po polsku) poniższe zdanie zapisane za pomocą kwantyfikatorów:

Istnieje takie n...

Otóż brzmi ono: Istnieje liczba naturalna n, taka że dla każdej liczby rzeczywistej x jej n-ta potęga jest większa lub równa 0. Prawda jaka porażająca elegancja i zwięzłość tego zapisu?

Z kolei zapis:

Dla każdej liczby...

Oznacza: Dla każdej liczby rzeczywistej x istnieje liczba rzeczywista y, taka że x + y = 5.

I to w zasadzie wszystko co trzeba wiedzieć z logiki matematycznej. Ambitniejszym polecam lekturę ciekawostek o logice.

Gwiazdka :) Gwiazdka :) Gwiazdka :) Gwiazdka :) Gwiazdka :)

GÓRA         SZKOŁA         

©2007-2014 Łukasz Ługowski, Młodzieżowy Ośrodek Socjoterapii nr 2 „KĄT”. Wykonanie:
Licencja Creative Commons - zdjęcia, rysunki i obrazy należą do uczniów i pracowników MOSu „KĄT”; kilka przyjaciół i znajomych

Podziękowania: Uczniowie, nauczyciele & „KĄTowi” przyjaciele!