Każde zadanie dowodowe opiera się na prostym, ale bardzo wymagającym schemacie: są rzeczy, które już wolno przyjąć za prawdziwe, oraz takie, które dopiero mają zostać udowodnione. Te pierwsze to założenia, te drugie to teza. Cała sztuka dowodzenia polega na świadomym przechodzeniu od tego, co dane, do tego, co ma zostać wykazane.
Jeżeli ta granica się rozmywa, pojawia się chaos: używa się w dowodzie rzeczy, których nikt nie zagwarantował, albo – jeszcze gorzej – używa się w środku rozumowania samej tezy, tak jakby była już prawdziwa. W takim układzie dowód przestaje mieć sens, nawet jeśli końcowy wynik jest poprawny.
W praktyce szkolnej różnica między „wiadomo, że…” a „pokaż, że…” bywa kluczowa. Jedno zdanie w treści zadania może być częścią danych, inne – celem dowodu. Uczeń, który świadomie zaznacza, co jest założeniem, a co tezą, łatwiej układa sobie kolejne kroki rozumowania i nie „skacze” po wzorach bez ładu.
Dlaczego mieszanie tezy z założeniami jest groźne
Mieszanie tezy z założeniami prowadzi przede wszystkim do tzw. błędnego koła w dowodzie (łac. circulus in probando). To sytuacja, w której tezę wykorzystuje się jako jeden z kroków rozumowania, aby… udowodnić tę samą tezę. Na pierwszy rzut oka wszystko się zgadza, ale z logicznego punktu widzenia dowód jest pusty.
Przykład uproszczony:
Zadanie: Udowodnij, że jeśli liczba całkowita (n) jest parzysta, to (n^2) jest parzyste.
Błędne podejście: „Ponieważ (n^2) jest parzyste, to można zapisać (n^2 = 2k). Stąd (n = sqrt{2k}), co też jest parzyste, więc teza jest prawdziwa.” – w tym „dowodzie” przyjęto od razu, że (n^2) jest parzyste, chociaż to właśnie jest teza. Logicznie nic nie zostało wykazane.
Takie błędy pojawiają się zwykle tam, gdzie autor nie umie jasno nazwać, skąd bierze kolejne zdania: czy zostają użyte jako dane, czy są dopiero wyprowadzane. Świadome rozróżnienie „dane vs teza” jest więc warunkiem minimalnym, żeby dowód był nie tylko poprawny rachunkowo, ale też logicznie ważny.
Oszczędność czasu i energii na egzaminie
Na maturze czy klasówce największym „pożeraczem czasu” przy zadaniach dowodowych nie są trudne przekształcenia, tylko niepewność, od czego zacząć. Uczniowie często kilkakrotnie czytają treść, zaznaczają liczby, rysują figurę, ale i tak nie wiedzą, jaki jest cel. Wynika to wprost z braku rozdzielenia: co jest założeniem, a co tezą.
Gdy tylko na początku zapisze się w zeszycie:
Założenia: …
Teza: …
wszystko staje się prostsze. W dowodzie już wiadomo, dokąd się zmierza i czego nie wolno traktować jako oczywiste. Dzięki temu:
unika się wykonywania zbędnych obliczeń „na ślepo”,
łatwiej zauważyć, które znane twierdzenia mogą doprowadzić do tezy,
nauczyciel lub egzaminator widzi klarowną strukturę – co zwykle wpływa także na przyznawanie punktów za częściowe rozwiązania.
Porównanie z codziennym rozumowaniem
W życiu codziennym podobny schemat działa przy podejmowaniu decyzji. Ktoś mówi: „Zakładam, że jutro będzie padać, więc chcę sprawdzić, czy mam w domu parasol”. Tutaj:
„zakładam, że jutro będzie padać” – to założenie,
„chcę sprawdzić, czy mam parasol” – to cel, odpowiednik tezy do ustalenia.
Nikt rozsądny nie mówi: „Ponieważ mam parasol, to sprawdzę, czy mam parasol”. Byłoby to równie absurdalne jak użycie tezy w środku dowodu, aby tezę „udowodnić”. Matematykę dużo łatwiej zrozumieć, gdy dostrzeże się, że reguły porządnego dowodzenia są w istocie bardzo bliskie zdroworozsądkowemu myśleniu, tylko zapisane uważniej i bez skrótów.
Minimum logiki potrzebne do czytania zadań dowodowych
Co to jest zdanie logiczne
Aby mówić o tezie czy założeniach, trzeba mieć do czynienia ze zdaniami logicznymi. Jest to, w najprostszej wersji, wypowiedź, która:
ma sens językowy,
posiada ściśle określoną wartość: prawda albo fałsz (nie obie naraz, nie „to zależy od nastroju”).
„Liczba 5 jest liczbą parzystą” – to zdanie logiczne, można stwierdzić, że jest fałszywe. „Czy 5 jest parzysta?” – to pytanie, nie ma wartości logicznej. Podobnie „Niech 5 będzie liczbą parzystą” – to rozkaz, nie da się o nim sensownie powiedzieć, że jest prawdziwy czy fałszywy.
Teza w zadaniu dowodowym jest zawsze zdaniem logicznym, którego prawdziwość trzeba wykazać na podstawie danych. Założenia także przyjmują postać zdań logicznych (lub ich systemu), które są traktowane jako prawdziwe w obrębie rozpatrywanego zadania.
Schemat „jeżeli p, to q” w treści zadania
Większość zadań dowodowych, jakie pojawiają się w szkole, opiera się na schemacie:
Jeżeli p, to q (zapis: (p Rightarrow q)),
gdzie:
p – to połączenie założeń (często kilka zdań „danych”),
q – to teza, czyli wniosek, który ma wynikać z p.
W treściach zadań ten schemat jest ukryty w języku potocznym:
„Dane są liczby rzeczywiste (a, b) takie, że (a > b). Udowodnij, że (a^2 > b^2).” – tutaj p: „(a, b) są liczbami rzeczywistymi i (a > b)”, q: „(a^2 > b^2)”,
„W trójkącie równoramiennym ABC z ramionami AC i BC udowodnij, że kąty przy podstawie są równe.” – p: „ABC jest trójkątem równoramiennym z ramionami AC i BC”, q: „kąty przy podstawie są równe”.
Świadome dostrzeżenie struktury „jeżeli (dane), to (teza)” ułatwia od razu odróżnienie założeń od celu dowodu. To także pierwszy krok do zrozumienia bardziej złożonych tez, jak równoważność czy twierdzenia ogólne.
Kiedy wniosek naprawdę „wynika” z założeń
Sformułowanie „z tego wynika, że…” w języku codziennym bywa nadużywane. W logice i w dowodach matematycznych ma ono konkretny sens: konkluzja nie może być fałszywa, jeżeli wszystkie założenia są prawdziwe. Inaczej mówiąc, nie istnieje sytuacja, w której:
wszystkie dane z treści zadania są spełnione,
a wniosek (teza) okazuje się fałszywy.
Taka zależność nazywa się konsekwencją logiczną. W zadaniach szkolnych oczywiście nie buduje się pełnej teorii logiki, ale każdorazowo sprawdza się, czy kolejne kroki dowodu są:
albo bezpośrednimi przekształceniami wcześniejszych zdań,
albo zastosowaniem znanego twierdzenia,
albo oczywistymi wnioskami typu: jeśli (x > 2), to (x > 1).
Jeżeli między założeniami a tezą pojawia się „dziura” – czyli zdanie, które niby „wszyscy czują, że jest prawdziwe”, ale nie wypływa jasno z wcześniejszych kroków – formalnie dowód nie jest zamknięty.
„Dane” i „mamy wykazać” – praktyczna wersja logiki
Ogólne terminy „przesłanki” (założenia) i „konkluzja” (wniosek) w notatkach szkolnych zastępuje się często prostymi rubrykami:
Dane / Założenia – spis tego, co jest przyjęte w zadaniu,
Teza / Mamy wykazać – zapis, co ma zostać udowodnione.
To praktyczne tłumaczenie języka logiki na codzienny zapis matematyczny. Kto konsekwentnie stosuje takie rozdzielenie, tworzy sobie automatycznie „mapę” rozumowania:
„Skoro mam to i to (założenia), chcę dojść do tamtego (tezy). Jakie działania, wzory, twierdzenia mogą pomóc otworzyć drogę z pierwszego do drugiego?”
Czym jest teza w zadaniu dowodowym – definicja robocza i intuicja
Teza jako zdanie do wykazania
Roboczo można przyjąć następującą definicję:
Teza w zadaniu dowodowym to takie zdanie, którego prawdziwość ma zostać wykazana na podstawie podanych założeń oraz znanych twierdzeń i definicji.
Nie zakłada się z góry, że teza jest prawdziwa. Zakłada się jedynie, że autor zadania tak ją dobrał, aby rzeczywiście wynikała z danych. Zadaniem rozwiązującego jest odnalezienie argumentów (kroków rozumowania), które wykonają „most” od założeń do tezy.
Kluczowa cecha tezy: nie wolno jej użyć „za darmo” w żadnym kroku dowodu. Pojawia się ona:
na początku w wyraźnym zapisie „Teza: …”,
na końcu – po udanym rozumowaniu – w postaci zdania „A zatem teza jest prawdziwa” lub równoważnego sformułowania.
Charakterystyczne sformułowania ujawniające tezę
W zadaniach szkolnych teza jest zwykle sygnalizowana przez konkretne zwroty. Warto wyczulić się na takie czasowniki i po nich automatycznie wypatrywać celu dowodu:
„Udowodnij, że…”
„Wykaż, iż…”
„Pokaż, że…”
„Uzasadnij, że…”
„Wykaz, że zachodzi…”
Fragment zdania, który następuje po takim zwrocie, z reguły jest właśnie teżą. Przykładowo:
„Dane są liczby rzeczywiste (x, y) spełniające (x + y = 10). Udowodnij, że (x^2 + y^2 ge 50).”
Założenia to: „(x, y) są rzeczywiste oraz (x + y = 10)”. Teza: „(x^2 + y^2 ge 50)”.
Teza jako cel dowodu a sposób myślenia
Kiedy teza zostanie jasno zapisana, zmienia się sposób myślenia: z rozproszonego czytania i liczenia na konkretny, ukierunkowany cel. Rozwiązujący może wtedy świadomie pytać:
co w tezie występuje (jakie liczby, jakie figury, jakie zależności),
jak można przeformułować tezę w równoważną, ale wygodniejszą postać,
jakie znane wzory lub twierdzenia łączą obiekty z założeń z obiektami w tezie.
Przykład: jeśli teza brzmi „(angle A = angle B)”, to w głowie od razu włączają się skojarzenia: trójkąty równoramienne, okrąg opisany, kąty wpisane, przystawanie trójkątów. Sama treść tezy podpowiada potencjalne techniki, które można użyć.
Różne typy tez: równości, nierówności, własności, istnienie
W zadaniach dowodowych pojawiają się różne typy tez. Warto je rozpoznawać, bo każdy typ łączy się z innym stylem argumentacji.
Tezy o równości – np. „udowodnij, że (a^2 – b^2 = (a – b)(a + b))”, „wykaż, że pole trójkąta ABC równe jest…”.
Zwykle dowodzi się ich przez rachunkowe przekształcenia, odpowiednie przeliczenie jednego z boków równości do drugiego lub znalezienie wspólnego wzoru.
Tezy o nierównościach – np. „pokaż, że (x^2 + 1 ge 2x)”.
Tu często stosuje się przekształcenie do postaci oczywiście nieujemnej, nierówności znane (Cauchy’ego, AM–GM w rozbudowanej wersji nauki), lub argumenty geometryczne (długość odcinka nie może być ujemna).
Inne często spotykane typy tez
Poza równościami i nierównościami występują także inne, dość typowe rodzaje tez. Każdy z nich wymusza nieco inny sposób myślenia.
Tezy o własnościach obiektów – np. „wykaż, że trójkąt ABC jest równoramienny”, „udowodnij, że funkcja f jest rosnąca”.
Dowód polega wtedy na przetłumaczeniu nazwy własności na język definicji: trójkąt równoramienny – „ma co najmniej dwa boki równej długości”, funkcja rosnąca – „dla każdego (x_1 < x_2) zachodzi (f(x_1) le f(x_2))”. Teza to najczęściej taka właśnie „rozpisana definicja”.
Tezy istnieniowe – np. „pokaż, że istnieje liczba rzeczywista (x) taka, że…”.
Zasadniczym zadaniem jest znalezienie choć jednego konkretnego obiektu spełniającego warunek. Nie trzeba „odgadywać” wszystkich takich obiektów, wystarczy jeden. W treści dowodu często pojawia się wtedy sformułowanie „weźmy (x = …)” lub „niech (P) będzie punktem…”.
Tezy ogólne („dla każdego”) – np. „udowodnij, że dla każdej liczby rzeczywistej (x) zachodzi…”.
Chodzi tu o wykazanie uniwersalnej reguły: niezależnie, jakie (x) się wybierze, dana własność ma być spełniona. W praktyce przyjmuje się jedno „dowolne, ale ustalone” (x) i pokazuje, że dla niego własność zachodzi. To wystarcza, bo w rozumowaniu nie korzysta się z żadnych szczególnych cech tej konkretnej liczby.
Tezy o jednoznaczności – np. „pokaż, że istnieje dokładnie jedno rozwiązanie równania…”.
Takie twierdzenie zawiera w istocie dwie części: istnienie (jest jakieś rozwiązanie) oraz jedyność (żadne inne nie występuje). Dowód zwykle dzieli się więc na dwie odrębne części, choć w treści zadania teza bywa zapisana jednym zdaniem.
Teza „ukryta” w treści zadania
Zdarzają się zadania, w których nie pojawia się klasyczne „Udowodnij, że…”. Teza jest wtedy wpisana w treść w sposób mniej oczywisty. Przykładowo:
„Wykaż poprawność poniższej równości: …” – tezą jest właśnie ta równość,
„Czy poniższe twierdzenie jest prawdziwe? Uzasadnij odpowiedź.” – teza jest „kandydatem” na tezę; trzeba zdecydować, czy ją udowodnić, czy znaleźć kontrprzykład.
W zadaniach prawda/fałsz często występuje następująca struktura: otrzymujesz zdanie logiczne i pytanie, czy jest prawdziwe. Jeżeli jest – twoim zadaniem jest udowodnienie go. Jeżeli nie – tezą staje się w istocie twierdzenie przeciwne: „to zdanie jest fałszywe”, co wykazuje się przez kontrprzykład.
Źródło: Pexels | Autor: www.kaboompics.com
Czym są założenia – z czego wolno, a z czego nie wolno korzystać
Założenia jako punkt startu dowodu
Założenia to wszystkie informacje, które w obrębie zadania traktuje się jako dane i prawdziwe. Można je podzielić na kilka grup:
informacje wypisane w treści (słowami lub symbolami),
definicje pojęć użytych w treści (np. „funkcja liniowa”, „trójkąt równoramienny”),
znane twierdzenia i wzory, które wolno stosować bez dodatkowego dowodu na danym etapie nauczania.
To, co nie wchodzi w żadną z tych kategorii, nie jest założeniem. W szczególności nie są założeniami:
intuicje typu „tak mi się wydaje”,
rysunek wykonany „na oko”,
„standardowe przykłady”, które ktoś kiedyś rozwiązywał na lekcji.
Założenia jawne i domyślne
Część założeń jest wypowiedziana wprost:
„Dane są liczby rzeczywiste (a, b) takie, że (a + b = 3)”,
„Niech ABC będzie trójkątem prostokątnym o kącie prostym przy wierzchołku C”.
Są jednak także założenia domyślne, wynikające z samego użycia określonych słów. Np. jeśli mowa o „trójkącie ABC”, to domyślnie:
punkty A, B, C są niewspółliniowe,
odcinki AB, BC, AC mają dodatnie długości,
kąty wewnętrzne mają sumę (180^circ) (w geometrii euklidesowej).
Nie trzeba za każdym razem dopisywać tego w rubryce „Dane”, ale w tle jest to częścią pakietu założeń.
Co wolno dopisać jako „dane własne”
W praktyce rozwiązywania zadań często wprowadza się dodatkowe oznaczenia lub konstrukcje: punkt przecięcia przekątnych, nowy odcinek, zmienną pomocniczą. Pojawia się wtedy pytanie, czy takie „własne” dane też są założeniami.
Sytuację warto rozdzielić:
Oznaczenia – typu: „oznaczmy (x = sqrt{a+b})”.
To czysty skrót zapisu; nie rozszerza zakresu założeń, tylko ułatwia pisanie i czytanie.
Konstrukcje dopuszczalne – np. „dokreśl wysokość z wierzchołka A”, „dobuduj na odcinku BC trójkąt równoboczny”.
Tu zakłada się jedynie możliwość przeprowadzenia danej konstrukcji (co w klasycznej geometrii jest dopuszczalne). Nie zmienia to jednak tego, co ma być udowodnione; teza dotyczy wciąż pierwotnych danych i ich konsekwencji.
Jeżeli natomiast wprowadza się nowe założenie, które pierwotną sytuację (np. „załóżmy dodatkowo, że trójkąt jest równoramienny”, mimo że w treści zadania tego nie było), to jest to już fałszywe poszerzenie założeń. Dowód wykonany w tak „węższej” sytuacji nie gwarantuje prawdziwości tezy w ogólności.
Co z rysunku jest założeniem, a co tylko pomocą
Rysunek jest narzędziem pomocniczym, nie źródłem nowych założeń. Typowym błędem jest dopisywanie sobie na podstawie rysunku faktów, których nie ma w treści zadania, np.:
„na rysunku przekątne prostokąta przecinają się pod kątem prostym, więc chyba zawsze tak jest”,
„tu wygląda, jakby ten kąt był prosty, więc przyjmę, że ma (90^circ)”.
W poprawnym rozumowaniu wolno korzystać tylko z tych własności, które:
wynikają z definicji danego obiektu (np. z definicji prostokąta),
są zapisane w treści zadania,
da się udowodnić ze znanych twierdzeń na podstawie danych.
Jeżeli rysunek „podpowiada” jakąś zależność, rozsądne jest potraktowanie jej jako hipotezy roboczej: spróbować ją uzasadnić, a nie od razu zapisywać jako pewnik.
Znane twierdzenia jako stały element założeń
W szkole średniej przyjmuje się co do zasady, że pewien zestaw twierdzeń można stosować bez dowodu. Przykładowo:
w algebrze: wzory skróconego mnożenia, własności działań,
w geometrii: twierdzenie Pitagorasa, cechy przystawania trójkątów, proste własności kątów.
Te fakty funkcjonują jak „globalne założenia” obowiązujące w wielu zadaniach. Nie trzeba za każdym razem wpisywać ich w rubryce „Dane”, ale korzystając z nich, dobrze jest wyraźnie zaznaczać, które z nich zastosowano („na mocy twierdzenia Pitagorasa”, „z cechy bok–kąt–bok”).
Jak czytać treść zadania dowodowego krok po kroku
Etap 1: spokojne przeczytanie całości
Pierwszym odruchem bywa natychmiastowe liczenie lub rysowanie. Dużo bezpieczniej jest najpierw przeczytać całą treść, bez wykonywania obliczeń. Chodzi o ogólną orientację:
jakiego typu obiekty występują (liczby, trójkąty, funkcje, ciągi),
jakiego typu jest teza (równość, nierówność, istnienie, własność),
czy zadanie wygląda na klasyczne zastosowanie konkretnego twierdzenia, czy na coś bardziej nietypowego.
Etap 2: wyłuskanie założeń
Drugie czytanie warto poświęcić wyłącznie na wypisanie danych. Dobrze działa schemat:
w tekście zakreślić lub podkreślić wszystko, co jest dane,
obok, w osobnej kolumnie, spisać to w skróconej, symbolicznej formie.
Przykład:
„Dane są dodatnie liczby rzeczywiste (a, b) takie, że (a + b = 1).”
Jako założenia można zapisać:
(a, b in mathbb{R}),
(a > 0), (b > 0),
(a + b = 1).
Takie rozpisanie porządkuje myślenie. Zamiast długiego zdania mamy trzy krótkie fakty, z którymi łatwiej pracować.
Etap 3: wyraźne zapisanie tezy
Kolejny krok to odszukanie zwrotów typu „udowodnij, że…” i przepisanie tezy w osobnym miejscu, najlepiej możliwie precyzyjnie. Jeżeli teza brzmi:
„Udowodnij, że (a^2 + b^2 ge frac{1}{2})”
to w rubryce „Teza” można wpisać po prostu:
[
a^2 + b^2 ge frac{1}{2}.
]
Gdy teza zawiera kwantyfikatory („dla każdego”, „istnieje”), dobrze jest je zachować w zapisie, a nie gubić po drodze:
[
forall x in mathbb{R} quad f(x) ge 0
]
to inna treść niż
[
exists x in mathbb{R} quad f(x) ge 0.
]
Precyzyjny zapis od razu ujawnia, czego dokładnie ma dotyczyć dowód.
Etap 4: mentalne „połączenie kropek” między założeniami a tezą
Dopiero gdy założenia i teza są rozdzielone i jasno zapisane, sensowne staje się zadanie sobie pytania: jak z jednego dojść do drugiego? Dobrze pomaga tu kilka prostych trików:
zastanowić się, czy tezę można przekształcić do równoważnej, ale prostszej postaci,
sprawdzić, jakie znane wzory lub twierdzenia „pasują” do obiektów występujących w tezie (np. pojawia się (sin^2 x + cos^2 x) – od razu kojarzy się podstawowa tożsamość trygonometryczna),
zobaczyć, czy założeń nie można połączyć lub przekształcić tak, by zaczęły „przypominać” kawałki tezy.
W algebrze często stosuje się podejście „od tezy”: przekształca się ją formalnie, szukając postaci, w której widać fragmenty z założeń. Trzeba jednak uważać, by nie popełnić błędu logicznego: nie wolno używać w środku rozumowania przekształceń, które są równoważne tylko w jedną stronę (np. potęgowania, pierwiastkowania bez kontroli znaku).
Etap 5: plan dowodu i dopiero potem szczegóły
Zamiast od razu pisać pełny ciąg rachunków, rozsądnie jest szkicowo zaplanować tok rozumowania:
jakie fakty pośrednie przydałoby się wykazać (np. najpierw pokazać, że dwa trójkąty są przystające, a dopiero potem wnioskować o równości kątów),
w jakiej kolejności stosować znane twierdzenia,
czy nie potrzeba pomocniczej konstrukcji lub dodatkowego oznaczenia.
Taki plan bywa krótki – czasem to dwa, trzy zdania. Chodzi o to, żeby nie „błądzić” po rachunkach bez świadomości celu.
Różne postacie tezy: równoważność, implikacja, istnienie, dla każdego
Teza w postaci implikacji „jeżeli…, to…”
Najbardziej klasyczna forma tezy to implikacja:
[
text{jeżeli } p, text{ to } q.
]
W zadaniach szkolnych zwykle część „jeżeli” jest wpisana w sekcję „Dane”, a część „to” – w sekcję „Teza”. Sposób dowodzenia jest wówczas dość prosty:
przyjmujemy założenia p (jako dane prawdziwe),
na ich podstawie, krok po kroku, wyprowadzamy q.
Istotne jest, że nigdzie po drodze nie zakładamy dodatkowo q „żeby było łatwiej”. cała trudność polega właśnie na tym, żeby przejść od p do q bez skoku w pustkę.
Teza w postaci równoważności „wtedy i tylko wtedy, gdy”
Równoważność ma postać:
[
p Leftrightarrow q
]
Jak praktycznie dowodzić równoważność
Równoważność logiczna
[
p Leftrightarrow q
]
oznacza wprost, że zachodzą dwie implikacje:
[
(p Rightarrow q) land (q Rightarrow p).
]
W zadaniu szkolnym sformułowanie „wtedy i tylko wtedy, gdy” zwykle stoi w jednym zdaniu, ale w głowie warto to rozdzielić na dwa osobne cele dowodowe. W praktyce oznacza to:
Najpierw dowieść: jeżeli (p), to (q).
Potem osobno: jeżeli (q), to (p).
Te dwa fragmenty są logicznie niezależne. Może się zdarzyć, że jedna strona jest banalna, a druga wymaga sprytu. Typowy błąd polega na „uproszczeniu”:
uczeń pokazuje tylko (p Rightarrow q) i uznaje, że ma „większą połowę” zadania,
albo przekształca równanie/warunek jednostronnie (np. dzieli przez wyrażenie, które może być zerem), a potem dopisuje dwie strzałki, choć uzasadniona była tylko jedna.
Bezpieczny schemat pracy z równoważnością:
Wyraźnie zapisać sobie dwa zadania cząstkowe:
(p Rightarrow q),
(q Rightarrow p).
Każdy z tych kierunków potraktować jak oddzielny dowód: mieć własne „Dane” (odpowiednio (p) lub (q)) i własną „Tezę”.
Na końcu zebrać obie implikacje w jedno zdanie: „wobec tego zachodzi (p Leftrightarrow q)”.
Dobrze to widać na prostym przykładzie: równoważność „(n) jest parzyste wtedy i tylko wtedy, gdy (n^2) jest parzyste”.
Trzeba osobno:
pokazać: jeśli (n) jest parzyste, to (n^2) jest parzyste,
oraz: jeśli (n^2) jest parzyste, to (n) jest parzyste.
Druga część jest mniej oczywista – i właśnie dlatego rozdzielenie ról tezy w obu kierunkach ma znaczenie.
Gdy równoważność jest „ukryta” w treści
Treść zadania nie zawsze używa słów „wtedy i tylko wtedy, gdy”. Równoważność może być zawarta pośrednio, np.:
„Wykaż, że warunek A jest równoważny warunkowi B.”
„Pokaż, że każda funkcja o własności X ma własność Y i odwrotnie.”
W takim wypadku pierwszym krokiem jest i tak rozpisanie tego w głowie (lub na marginesie) jako dwóch implikacji. Od strony logiki nic się tu nie zmienia: każda z tych implikacji ma własne założenia i własną tezę.
Teza istnieniowa: „istnieje takie, że…”
Teza istnieniowa ma postać:
[
exists x in X quad P(x).
]
czyli: „istnieje element (x) z pewnego zbioru, który spełnia warunek (P(x))”. W rozumowaniu nie zakłada się, że wiadomo z góry, jaki to element; jedyne, co teza głosi, to że co najmniej jeden taki element jest.
W zadaniach szkolnych najczęściej pojawiają się dwie strategie:
Dowód przez konstrukcję – jawnie podaje się kandydata na (x), a potem sprawdza, że spełnia wymagany warunek.
Dowód niekonstruktywny – wykazuje się, że brak takiego elementu prowadzi do sprzeczności; wtedy z logiki wynika, że jakiś element istnieje, choć wprost nie wiadomo, który.
W kontekście rozróżnienia tezy i założeń kluczowe jest, by nie mieszać:
„Załóżmy, że istnieje liczba (x), taka że…” – to może być pomocnicze założenie w dowodzie nie wprost,
z rzeczywistą tezę zadania: „Udowodnij, że istnieje liczba (x), taka że…”.
W tym drugim przypadku to właśnie „istnieje liczba (x) taka, że…” stanowi cel, a nie punkt wyjścia. Błędne jest rozpoczęcie dowodu słowami: „Niech (x) będzie liczbą spełniającą warunek…”, jeśli przed chwilą zapisano tę samą zależność jako tezę.
Bezpieczny schemat dla tezy istnieniowej:
Na etapie planowania spróbować odgadnąć lub skonstruować przykład (x) na podstawie danych.
Po jego wybraniu traktować warunek „(x) ma własność (P)” już nie jako tezę, ale jako cel rachunkowy: od założeń przejść do sprawdzenia (P(x)).
Teza ogólna: „dla każdego…”
Druga ważna postać tezy pojawia się przy kwantyfikatorze ogólnym:
[
forall x in X quad P(x).
]
Czyli: „dla każdego (x) z rozważanego zbioru zachodzi własność (P(x))”.
Tu często pojawia się nieporozumienie: ktoś próbuje sprawdzić kilka wybranych przykładów i traktuje to jak dowód. Z logicznego punktu widzenia pokazanie kilku przypadków to tylko wskazówka, nie rozstrzygnięcie.
Standardowy, poprawny sposób dowodzenia takiej tezy jest następujący:
Przyjmujemy dowolne, ale ustalone (x in X) – nie zadajemy mu konkretnej wartości, nie zakładamy niczego poza tym, co jest w założeniach (np. „(x) jest liczbą rzeczywistą”, „(x ge 0)”).
Na podstawie założeń wyprowadzamy, że dla tego dowolnego (x) zachodzi (P(x)).
Skoro nasze rozumowanie nie używało żadnych cech szczególnych (x) (np. nie padło „załóżmy, że (x = 5)”), to wniosek dotyczy wszystkich elementów zbioru.
Dlatego w takich dowodach często pada formuła: „Niech (x) będzie dowolną liczbą rzeczywistą spełniającą …”. To nie jest nowe założenie; to tylko inna forma wypowiedzenia tezy: mamy pokazać, że bez względu na to, jakie (x) (spełniające dane warunki) wybierzemy, własność (P(x)) będzie prawdziwa.
Mieszane tezy: „dla każdego istnieje” i „istnieje takie, że dla każdego”
W zadaniach olimpijskich albo w trudniejszych przykładach szkolnych pojawiają się kombinacje kwantyfikatorów:
(forall x exists y P(x,y)) – „dla każdego (x) istnieje (y) takie, że…”
(exists y forall x P(x,y)) – „istnieje (y) takie, że dla każdego (x)…”
Te dwa stwierdzenia są zupełnie różne, choć w języku potocznym mogą brzmieć podobnie. Różnica jest istotna także dla rozdzielenia tezy i założeń.
W pierwszym przypadku („dla każdego istnieje”) logika dowodu bywa taka:
Jako założenia przyjmujemy, że (x) jest dowolnym elementem spełniającym warunki startowe.
Teza ma charakter istnieniowy: trzeba zbudować jakieś (y) (być może zależne od (x)), które spełnia (P(x,y)).
Czyli założeniem jest tu „dowolny (x) z podanych warunków”, a tezą – istnienie odpowiedniego (y) dla takiego (x).
W drugim przypadku („istnieje jedno (y) dobre dla każdego (x)”) sytuacja się odwraca:
Tezą najpierw jest istnienie specjalnego elementu (y).
Dopiero później, w ramach sprawdzania, trzeba pokazać, że to konkretne (y) działa dla wszystkich (x).
Przy nieuważnym czytaniu łatwo zamienić kolejność kwantyfikatorów i udowodnić inne twierdzenie niż to, którego domaga się zadanie. Rozpisanie ich symbolicznie bardzo pomaga w poprawnym odczytaniu roli tezy.
Teza o istnieniu dokładnie jednego obiektu
Czasem trzeba wykazać nie tylko istnienie, lecz także jedyność:
[
exists! x in X quad P(x),
]
czyli „istnieje dokładnie jedno (x) takie, że (P(x))”. Taka teza rozkłada się logicznie na dwie części:
istnienie: (exists x in X P(x)),
jedyność: (forall x,y in X (P(x) land P(y) Rightarrow x = y)).
Dla przejrzystości dobrze rozdzielić to w zapisie dowodu:
Najpierw znaleźć obiekt spełniający warunek (konstrukt, wzór, punkt przecięcia itp.).
Następnie wykazać, że gdyby istniały dwa różne obiekty o tej własności, to dawałoby to sprzeczność, lub bezpośrednio z warunków wynika ich równość.
Założenia zadania zwykle mówią o pewnej klasie obiektów (np. „wszystkie funkcje liniowe o danym nachyleniu”), a teza z istnieniem i jedynością wskazuje wśród nich jednego wyróżnionego przedstawiciela.
Struktura dowodu a rola tezy i założeń
Dowód wprost – najbardziej „szkolny” schemat
Dowód wprost odpowiada bezpośrednio strukturze implikacji:
[
p Rightarrow q.
]
Kolejne kroki:
Założenie: przyjmujemy, że (p) jest prawdziwe – to nasze „Dane”.
Rozumowanie: z (p) i znanych twierdzeń wyprowadzamy kolejno nowe fakty.
Teza końcowa: w pewnym momencie uzyskujemy (q), co kończy dowód.
W porządnie zapisanym rozwiązaniu łatwo wskazać moment startu: „Niech (a, b > 0) i (a + b = 1)” albo „Rozważmy trójkąt (ABC) o…”.
Następnie widać, że żaden krok pośredni nie wprowadza dodatkowych, nieuprawnionych hipotez. Dopiero ostatnia linijka zawiera treść, którą w rubryce nazwaliśmy „Teza”.
Dowód nie wprost – co dokładnie jest założeniem
W dowodzie nie wprost (dowodzie przez sprzeczność) wykorzystuje się formę:
[
p Rightarrow q quad text{jest równoważne} quad (p land neg q) Rightarrow bot,
]
gdzie (bot) oznacza sprzeczność. Takie rozumowanie przebiega schematycznie:
Założenia zadania: przyjmujemy (p) jako prawdę (np. dane liczby, własności trójkąta).
Dodatkowe pomocnicze założenie: przyjmujemy, że teza jest fałszywa, czyli że zachodzi (neg q).
Na tej podstawie wyprowadzamy krok po kroku wniosek sprzeczny z danymi, definicjami lub znanymi twierdzeniami.
W kontekście rozróżnienia ról trzeba pilnować nazw:
„Prawdziwe założenia zadania” – to materiał wejściowy, zlecony przez treść (np. „(a, b > 0) i (a + b = 1)”).
„Założenie pomocnicze (neg q)” – to element techniki dowodu; w finale jest odrzucony jako sprzeczny.
W zapisie warto odróżniać te dwa poziomy, np. przez sformułowania:
„Załóżmy nie wprost, że teza jest fałszywa, czyli …”,
„Sprzeczność z danymi zadania”,
„Zatem założenie, że teza jest fałszywa, jest nie do utrzymania, więc teza musi być prawdziwa”.
Taki styl chroni przed myleniem „tezy faktycznej” z tymczasowym założeniem użytym tylko na potrzeby argumentacji.
Dowód przez kontrapozycję – przekształcenie tezy
Inną formą argumentacji nie wprost jest dowód przez kontrapozycję. Logicznie:
Zamiast więc dowodzić bezpośrednio „jeśli (p), to (q)”, można pokazać równoważną tezę: „jeśli nie (q), to nie (p)”. Zmienia to postać tezy, ale założenia zadania pozostają te same.
Praktycznie wygląda to tak:
Odczytujemy z zadania, jaka jest implikacja (p Rightarrow q).
Formułujemy kontrapozycję: „jeżeli nie zachodzi (q), to nie zachodzi (p)”.
Dowodzimy tej nowej implikacji wprost (czyli przyjmujemy (neg q) i wyprowadzamy (neg p)).
Różnica w stosunku do klasycznego dowodu nie wprost jest subtelna: tutaj nową tezą staje się kontrapozycja, a nie sama sprzeczność. Na liście założeń pojawia się więc „zakładamy (neg q)”, ale już jako część przekształconego celu, a nie jako sztuczne zaprzeczenie pierwotnej tezy.
Najczęściej zadawane pytania (FAQ)
Co to jest teza w zadaniu dowodowym?
Teza to zdanie logiczne, którego prawdziwość masz wykazać na podstawie danych z treści zadania oraz znanych twierdzeń i definicji. Innymi słowy: teza jest celem dowodu, punktem, do którego masz dojść krok po kroku.
Tezy nie wolno przyjmować „na wiarę” ani używać jej w środku rozumowania tak, jakby była już udowodniona. Jeżeli w treści widzisz sformułowania typu „udowodnij, że…”, „wykaż, że…”, „pokaż, że…”, to to, co stoi po nich, jest właśnie tezą.
Co to są założenia w zadaniu dowodowym?
Założenia (dane) to zdania logiczne, które w danym zadaniu przyjmuje się od razu jako prawdziwe. Stanowią punkt wyjścia rozumowania: z nich wyprowadzasz kolejne kroki, aż dojdziesz do tezy.
W treści zadań założenia kryją się zwykle za słowami: „dane są…”, „wiadomo, że…”, „niech będzie dany trójkąt…”. Typowy zapis na początku rozwiązania to: „Założenia: …, Teza: …” – takie rozdzielenie porządkuje tok dowodu i zmniejsza ryzyko pomylenia celu z danymi.
Jak szybko odróżnić tezę od założeń w zadaniu z matematyki?
Praktyczna metoda wygląda następująco:
wszystko, co opisuje „stan wyjściowy” (jakie liczby, jaka figura, jakie własności już są spełnione), traktuj jako założenia,
to, co pojawia się po słowach „udowodnij, że…”, „wykaż, że…”, „pokaż, że…”, uznaj za tezę.
Można to też zobaczyć w schemacie „jeżeli p, to q”: część „jeżeli …” (np. „dane są liczby rzeczywiste a, b takie, że a > b”) opisuje założenia, a część „to …” (np. „a² > b²”) jest tezą. Świadome wychwycenie tego schematu znacznie przyspiesza start dowodu.
Dlaczego nie wolno używać tezy w trakcie dowodu, zanim ją udowodnię?
Użycie tezy w środku rozumowania prowadzi co do zasady do tzw. błędnego koła: zakładasz prawdziwość zdania, które dopiero masz wykazać, a potem „dowodzisz” go z samego siebie. Taki dowód jest logicznie pusty, nawet jeśli końcowy wynik jest poprawny rachunkowo.
Klasyczny przykład: zadanie „Jeśli n jest parzyste, to n² jest parzyste”, a ktoś pisze: „Ponieważ n² jest parzyste, to…”. Tu od razu widać, że użyto jako założenia tego, co miało być celem. Poprawny dowód musi opierać się wyłącznie na danych z treści i znanych twierdzeniach, a nie na samym wniosku.
Co znaczy, że teza „wynika” z założeń?
W języku logiki stwierdzenie, że teza wynika z założeń, oznacza, że nie ma takiej sytuacji, w której wszystkie założenia są prawdziwe, a teza jest fałszywa. Mówi się wtedy, że teza jest konsekwencją logiczną zestawu założeń.
W zadaniach szkolnych sprawdza się to, budując łańcuch prostych kroków: z danych wyprowadzasz kolejne zdania, korzystając z przekształceń, definicji i znanych twierdzeń. Jeśli każdy krok jest poprawny, a ostatnim zdaniem w tym łańcuchu jest teza, to można powiedzieć, że rzeczywiście „wynika” ona z założeń.
Jak zapis „Dane / Mamy wykazać” pomaga na maturze z matematyki?
Wyraźny zapis:
„Dane / Założenia: …”
„Teza / Mamy wykazać: …”
porządkuje tok rozumowania i oszczędza czas. Od razu widzisz, co wolno przyjmować jako start, a czego absolutnie nie można „wciągać” do środka dowodu bez uzasadnienia.
Dodatkowo egzaminator jasno widzi, czy poprawnie odczytałeś treść zadania. Nawet jeśli nie dojdziesz do końca, przejrzysta struktura ułatwia przyznanie punktów za częściowe rozwiązanie. W praktyce kilka sekund na taki nagłówek zwraca się w formie mniejszej liczby pomyłek i mniej chaotycznych obliczeń.
Czy w życiu codziennym też używamy „założeń” i „tez”, tylko o tym nie myślimy?
Tak, mechanizm jest bardzo podobny, tylko nie nazywamy go formalnie. Gdy ktoś mówi: „Zakładam, że jutro będzie padać, więc sprawdzę, czy mam parasol”, to:
„zakładam, że jutro będzie padać” pełni rolę założenia,
„sprawdzę, czy mam parasol” jest celem – odpowiednikiem tezy, którą chcemy „ustalić” działaniem.
Nikt rozsądny nie powiedziałby: „Ponieważ mam parasol, to sprawdzę, czy mam parasol” – to byłoby właśnie błędne koło. W matematyce dzieje się to samo: jasne oddzielenie danych od celu sprawia, że rozumowanie staje się przejrzyste i odporne na takie paradoksy.
Źródła
Logika i argumentacja. Przewodnik dla nauczycieli matematyki. Ośrodek Rozwoju Edukacji (2015) – Podstawy logiki, wnioskowanie, błędne koło w rozumowaniu
Matematyka. Podręcznik dla liceum i technikum. Zakres rozszerzony. Nowa Era (2020) – Zadania dowodowe, schemat „jeżeli p, to q”, rola założeń i tezy
Wprowadzenie do logiki. Wydawnictwo Naukowe PWN (2007) – Definicje zdań logicznych, konsekwencja logiczna, implikacja
