Logika na maturze: jak szybko ocenić, czy zdanie jest prawdziwe?

Po co logika na maturze z matematyki? Krótki obraz sytuacji

Gdzie w arkuszu naprawdę pojawia się logika

Logika na maturze z matematyki nie występuje jako osobny dział, ale jest „ukryta” w różnych typach zadań. Najbardziej widać ją w:

• zadaniach zamkniętych, gdzie trzeba wybrać poprawną odpowiedź na podstawie krótkiego opisu typu „Wartość logiczna zdania jest równa…”
• zadaniach prawda/fałsz, często w formie tabelki z trzema–czterema zdaniami do oceny
• zadaniach otwartych z parametrem, w których trzeba ocenić, dla jakich wartości parametru coś jest prawdziwe
• zadaniach z twierdzeniami, gdzie trzeba wskazać, które zdanie jest równoważne innemu

Na pierwszy rzut oka to „zwykłe” zadania o funkcjach, równaniach, nierównościach. Jednak cały sens polega na tym, by poprawnie odczytać strukturę logiczną zdania: co jest warunkiem, co wnioskiem, czy chodzi o „zawsze”, czy o „czasami”, czy to, co zapisano, to fakt, czy dopiero hipoteza do sprawdzenia.

Umieć liczyć a umieć ocenić zdanie

Wiele osób świetnie liczy: potrafi rozwiązać równanie, narysować wykres, przekształcić wzór. Problemy zaczynają się, gdy trzeba odpowiedzieć, czy zdanie:

„Dla każdego rzeczywistego x równanie ma dokładnie jedno rozwiązanie”

jest prawdziwe. Sama umiejętność liczenia nie wystarczy. Trzeba zrozumieć:

• czego konkretnie dotyczy zdanie (równania, funkcji, własności liczby)
• czy mówi o wszystkich możliwych wartościach, czy tylko o istnieniu jednej
• czy opisuje warunek konieczny, wystarczający, czy pełną równoważność

Na poziomie egzaminu maturalnego chodzi często nie o długie wyliczenia, ale o szybkie odczytanie sensu zdania i zastosowanie prostego rozumowania logicznego. Kto widzi w treści zadania strukturę, temu łatwiej jest wykonać właściwny minimalny rachunek, zamiast bez sensu liczyć wszystko po kolei.

Dwie najczęstsze sytuacje: własności i kwantyfikatory

Najczęściej spotykane kwestie logiczne na maturze to:

• zdania opisujące własności, np.: „Funkcja jest rosnąca na przedziale…”, „Równanie ma dwa pierwiastki rzeczywiste”, „Liczba spełnia warunek…”
• zdania z kwantyfikatorami: „dla każdego x…”, „istnieje x…”, „dla każdego rzeczywistego parametru m…”

W pierwszym typie trzeba zrozumieć, co dokładnie znaczy dana własność. Na przykład „funkcja jest rosnąca” oznacza: im większy argument, tym większa wartość funkcji. W drugim typie kluczowe jest rozróżnienie między „dla każdego” (musi działać zawsze) a „istnieje” (wystarczy jeden przykład). Od tej różnicy zależy, czy szuka się dowolnego przykładu, czy kontrprzykładu.

Co już jest znane, a czego zwykle brakuje

Typowy maturzysta zna symbole: „⇒”, „⇔”, „∧”, „∨”, „¬”, „∀”, „∃”. Rozumie, że implikację opisuje się słowami „jeśli…, to…”, a równoważność „wtedy i tylko wtedy, gdy”. Zna definicje z podręcznika. Pytanie kontrolne brzmi: co wiemy? — znamy słownictwo i podstawowe przykłady. Czego nie wiemy? — czy potrafimy to zastosować w stresie, w krótkim zadaniu, gdy zdanie jest zapisane potocznie, a nie „książkowo”.

To przejście od teorii do praktyki wymaga prostych, powtarzalnych schematów myślenia. Nie chodzi o znajomość wszystkich możliwych tabel prawdy na pamięć, lecz o szybkie kojarzenie: „to jest zdanie z ‘dla każdego’ – szukam kontrprzykładu”, „to jest równoważność – muszą działać dwie implikacje”, „tu jest ‘i’ oraz ‘lub’ – rozbijam na części”.

Czym jest zdanie logiczne w zadaniach maturalnych?

Precyzyjna definicja i przykłady

Zdanie logiczne to wypowiedź oznajmująca, której można jednoznacznie przypisać wartość logiczną zdania: prawda (P) albo fałsz (F). Na maturze z matematyki zdania logiczne pojawiają się zarówno jawnie, jak i „schowane” w treści zadań.

Przykłady zdań logicznych typowych dla matury:

• „Równanie x² − 1 = 0 ma dwa rozwiązania rzeczywiste.”
• „Dla każdego rzeczywistego x spełniona jest nierówność x² ≥ 0.”
• „Istnieje liczba naturalna n taka, że n² = 2.”

Każde z nich można ocenić jako prawdziwe lub fałszywe. Nie są zdaniami:

• pytania: „Czy równanie ma rozwiązanie?”
• rozkazy: „Rozwiąż równanie…”
• puste slogany typu „Matematyka jest fajna” (nie mają ścisłego sensu w języku matematyki).

Na egzaminie takie „czyste” zdania logiczne rzadko stoją same. Zazwyczaj są częścią dłuższego opisu, w którym trzeba odróżnić to, co jest danym faktem, od tego, co jest tezą do oceny.

Dane z treści a tezy do oceny

W zadaniach maturalnych warto świadomie rozdzielać dwa poziomy:

• opis danych – informacje, które są przyjmowane jako prawdziwe (założenia zadania)
• tezy do oceny – zdania, których prawdziwość trzeba dopiero ustalić

Przykład:

„Dana jest funkcja kwadratowa f(x) = x² − 4x + 3. Oceń prawdziwość zdań:

1. Funkcja ma dwa miejsca zerowe.
2. Funkcja przyjmuje wartości dodatnie dla każdego x.

W opisie „Dana jest funkcja…” kryje się założenie: to jest fakt, z którym się nie dyskutuje. W punktach 1 i 2 pojawiają się już zdania logiczne do oceny.

Ten podział pomaga uniknąć mieszania: nie badamy prawdziwości tego, co jest „dane”, tylko tego, co zostało nazwane twierdzeniem, zdaniem, własnością. W tabelkach P/F każda linijka jest osobnym zdaniem logicznym.

Zdania ogólne a pojedyncze przykłady

Duży kłopot sprawia rozróżnienie:

• czy zdanie wyraża ogólną prawidłowość („zawsze tak jest”),
• czy mówi o konkretnej sytuacji („dla tej liczby…”, „dla tego równania…”).

Porównanie:

• „Równanie x² − 1 = 0 ma dwa rozwiązania rzeczywiste.” – dotyczy konkretnego równania.
• „Każde równanie postaci x² − 1 = 0 ma dwa rozwiązania rzeczywiste.” – logicznie bez sensu (forma ogólna, ale tylko jedno równanie ma dokładnie tę postać).
• „Dla każdego równania kwadratowego o dodatniej Δ istnieją dwa różne pierwiastki rzeczywiste.” – to już zdanie ogólne o wszystkich równaniach kwadratowych z Δ > 0.

Przy zadaniach z kwantyfikatorami warto pytać samemu siebie: czy mowa o „tym jednym” obiekcie, czy o „wszystkich takich obiektach”? Z tego wynika, jak później szuka się dowodu albo kontrprzykładu.

Najprostsze operacje: negacja, koniunkcja, alternatywa

Znaczenie „nie”, „i”, „lub” w języku matematyki

Trzy podstawowe operacje logiczne pojawiają się w praktycznie każdym egzaminie:

• negacja (¬A) – zaprzeczenie zdania A, słowo „nie” albo „nieprawda, że…”
• koniunkcja (A ∧ B) – zdanie „A i B” musi spełniać oba warunki jednocześnie
• alternatywa (A ∨ B) – zdanie „A lub B” w matematyce jest prawdziwe, gdy spełnione jest co najmniej jedno z nich

Proces oceny zdania logicznego obejmuje często rozbicie złożonej wypowiedzi na te proste elementy. Przykład:

„x jest dodatni i parzysty” – tu A: „x jest dodatni”, B: „x jest parzysty”. Aby całe zdanie było prawdziwe, obie części muszą być prawdziwe. Jeśli x = 4, zdanie jest prawdziwe. Jeśli x = −4 lub x = 3, zdanie jest fałszywe.

„Liczba jest parzysta lub podzielna przez 5” – zdanie będzie fałszywe tylko wtedy, gdy liczba nie jest ani parzysta, ani podzielna przez 5. Dla 10 jest prawdziwe (parzysta i podzielna przez 5), dla 7 – fałszywe.

Negacja prostych i złożonych wypowiedzi

Negowanie zdań prostych jest intuicyjne:

• „Liczba jest parzysta” – negacja: „Liczba nie jest parzysta” (czyli jest nieparzysta).
• „Równanie ma dwa rozwiązania rzeczywiste” – negacja: „Równanie nie ma dwóch rozwiązań rzeczywistych” (może mieć 0, 1, albo nieskończenie wiele).

Problem pojawia się przy zdaniach z „i” oraz „lub”. Intuicja bywa zawodna, a na maturze wprost testuje się umiejętność poprawnego negowania takich form. Kluczowe zasady (reguły de Morgana) brzmią:

• negacja koniunkcji: ¬(A ∧ B) jest równoważne (¬A ∨ ¬B)
• negacja alternatywy: ¬(A ∨ B) jest równoważne (¬A ∧ ¬B)

Słownie:

• „Nieprawda, że A i B” oznacza: „A jest fałszywe lub B jest fałszywe (lub oba)”
• „Nieprawda, że A lub B” oznacza: „A jest fałszywe i B jest fałszywe”

Na przykład:

• Zdanie: „x jest dodatni i parzysty”. Negacja: „x nie jest dodatni lub x nie jest parzysty”. Czyli: „x jest niedodatni lub nieparzysty”.
• Zdanie: „x jest dodatni lub parzysty”. Negacja: „x nie jest dodatni i x nie jest parzysty” (x jest niedodatni i nieparzysty).

Mini-tabela prawdy w głowie

Zamiast zapamiętywać formalne tabele prawdy, wygodniej jest zbudować prostą mentalną „checklistę”. Dla dwóch zdań A i B:

• A ∧ B (A i B) – prawdziwe tylko wtedy, gdy A jest prawdziwe i B jest prawdziwe
• A ∨ B (A lub B) – fałszywe tylko wtedy, gdy A jest fałszywe i B jest fałszywe

To daje bardzo szybki sposób testowania złożonego zdania. Jeśli ćwiczysz zadania P/F, można w głowie sprawdzać po kolei:

• Sprawdź, czy pierwsza część zdania (A) jest prawdziwa.
• Sprawdź, czy druga część (B) jest prawdziwa.
• Jeśli spójnik to „i” – oba muszą być P.
• Jeśli spójnik to „lub” – wystarczy, że co najmniej jedno jest P.

Przy bardziej rozbudowanych wypowiedziach (np. „A i (B lub C)”) opłaca się dodać nawiasy mentalne i oceniać po kawałku: najpierw B lub C, potem wynik z A.

Implikacja: najbardziej mylony spójnik

„Jeśli A, to B” kontra codzienny język

Implikacja, zapisywana jako A ⇒ B („Jeśli A, to B”), jest jednym z najczęściej mylonych elementów logiki na maturze. W języku potocznym większość osób rozumie ją jako związek przyczynowo-skutkowy. W matematyce implikacja ma ściśle określoną tabelę prawdy:

• jest fałszywa tylko wtedy, gdy A jest prawdziwe, a B jest fałszywe
• we wszystkich pozostałych przypadkach jest prawdziwa

To, co może dziwić: jeśli warunek A jest fałszywy, to zdanie „Jeśli A, to B” uznaje się za prawdziwe, niezależnie od B. Np. zdanie „Jeśli 2 jest liczbą nieparzystą, to 2 jest liczbą pierwszą” jest w sensie logicznym prawdziwe, bo przesłanka „2 jest liczbą nieparzystą” jest fałszywa.

Kiedy implikacja jest fałszywa – jedyny krytyczny przypadek

Analiza przykładu krok po kroku

Dobrze widać to na prostym zadaniu typu P/F. Załóżmy, że pojawia się zdanie:

„Jeśli liczba jest podzielna przez 4, to jest parzysta.”

Co wiemy? Każda liczba podzielna przez 4 jest rzeczywiście parzysta, więc:

• A: „liczba jest podzielna przez 4” – gdy A jest prawdziwe, liczba jest np. 4, 8, 12…
• B: „liczba jest parzysta” – w tych przypadkach B też jest prawdziwe.

Nie da się znaleźć liczby, dla której A jest prawdziwe, a B fałszywe. Nie ma więc sytuacji „podzielna przez 4, ale nieparzysta”. To oznacza, że implikacja jest prawdziwa.

Teraz inne zdanie:

„Jeśli liczba jest parzysta, to jest podzielna przez 4.”

Wystarczy znaleźć jedną liczbę, dla której A jest prawdziwe, a B fałszywe:

• A: „liczba jest parzysta” – dla 6: prawda
• B: „liczba jest podzielna przez 4” – dla 6: fałsz

Mamy przypadek P ⇒ F, więc całe zdanie „Jeśli liczba jest parzysta, to jest podzielna przez 4” jest fałszywe.

Szybka metoda testowania implikacji na maturze

W zadaniach testowych można stosować bardzo prosty schemat:

1. Wypisz sobie w głowie: A – przesłanka („jeśli…”), B – konkluzja („to…”).
2. Poszukaj przykładu, gdy A jest prawdziwe.
3. Sprawdź, czy wtedy B też jest prawdziwe.

Jeżeli znajdziesz choć jeden przypadek:

• A – prawda
• B – fałsz

to cała implikacja jest fałszywa. Jeśli natomiast za każdym razem, gdy A jest prawdziwe, B też okazuje się prawdziwe (albo gdy w ogóle nie ma obiektów spełniających A), implikacja jest prawdziwa.

Przykład typowo maturalny:

„Jeśli liczba naturalna jest podzielna przez 6, to jest podzielna przez 3.”

Tu łatwo zauważyć, że:

• każda liczba podzielna przez 6 ma w rozkładzie czynnik 3,
• nie ma liczby podzielnej przez 6 i jednocześnie niepodzielnej przez 3.

Brak przykładu P ⇒ F oznacza, że zdanie jest prawdziwe.

Implikacja a równoważność warunków w zadaniach

W zadaniach otwartych często bada się warunki typu:

„Jeśli x spełnia warunek (…) to spełnia także (…)”.

W praktyce oznacza to sprawdzenie, czy z jednego opisu liczby, wektora lub funkcji można wyprowadzić drugi opis. Z matematycznego punktu widzenia to wciąż ta sama implikacja: A ⇒ B.

Przykład:

„Jeśli liczba naturalna jest podzielna przez 15, to jest podzielna przez 3 i 5.”

W rozwiązaniu wystarczy wykorzystać fakt, że 15 = 3·5. Jeżeli n jest podzielne przez 15, to n = 15k dla pewnej liczby naturalnej k, stąd n = 3·5k, więc n jest podzielne przez 3 i przez 5. Tu zamiast szukania kontrprzykładu buduje się łańcuch przekształceń pokazujący, że z A wynika B.

Przeciwne kierunki: dlaczego „jeśli” nie zawsze działa w obie strony

Naturalne pytanie: czy z B wynika A? Innymi słowy, czy z samego faktu, że liczba jest podzielna przez 3 i 5, wynika, że jest podzielna przez 15?

Tu akurat odpowiedź brzmi: tak, wynika, ale nie zawsze tak jest. Trzeba uważnie oddzielić dwie implikacje:

• A ⇒ B: „Jeśli liczba jest podzielna przez 15, to jest podzielna przez 3 i 5”.
• B ⇒ A: „Jeśli liczba jest podzielna przez 3 i 5, to jest podzielna przez 15”.

W wielu zadaniach jedno z nich jest prawdziwe, a drugie fałszywe. Typowy przykład:

• A: „liczba jest podzielna przez 6”
• B: „liczba jest podzielna przez 3”

A ⇒ B: prawdziwe (liczby podzielne przez 6 zawsze są podzielne przez 3).
B ⇒ A: fałszywe (liczby podzielne przez 3, np. 9, nie muszą być podzielne przez 6).

Rozpoznanie, czy autor zadania mówi o jednym, czy o obu kierunkach („jeśli” czy „wtedy i tylko wtedy, gdy”) decyduje o poprawnej odpowiedzi.

Kontrapozycja – wygodna sztuczka na zadania dowodowe

Implikację A ⇒ B można równoważnie zapisać w formie:

„Jeśli nie B, to nie A” (¬B ⇒ ¬A).

To tzw. kontrapozycja. Te dwa zdania logicznie mówią to samo – w każdym przypadku mają tę samą wartość prawdy. Na maturze rozumienie tej zależności daje dwie korzyści:

• pozwala czasem znacznie uprościć dowód (łatwiej jest pokazać „jeśli nie B, to nie A” niż bezpośrednio „jeśli A, to B”),
• chroni przed błędem „odwróconej implikacji” – myleniem B ⇒ A z kontrapozycją.

Przykład:

„Jeśli liczba naturalna jest podzielna przez 4, to jej ostatnie dwie cyfry tworzą liczbę podzielną przez 4.”

Zdanie równoważne (kontrapozycja):

„Jeśli ostatnie dwie cyfry nie tworzą liczby podzielnej przez 4, to liczba nie jest podzielna przez 4.”

Oba zapisy dotyczą tego samego faktu, tylko z innej strony. W wielu zadaniach łatwiej operuje się na negacji skutku niż na samej przesłance.

Równoważność: kiedy dwa zdania „mówią to samo”?

Znaczenie spójnika „wtedy i tylko wtedy, gdy”

Równoważność logiczną zapisuje się zwykle jako A ⇔ B. W języku słownym pojawia się w formie:

• „wtedy i tylko wtedy, gdy”,
• „jest równoważne temu, że”,
• czasem: „dokładnie wtedy, gdy”.

W odróżnieniu od implikacji, która działa w jednym kierunku, równoważność oznacza dwie implikacje naraz:

• A ⇒ B oraz
• B ⇒ A.

Zdanie A ⇔ B jest więc prawdziwe, jeśli:

• gdy A jest prawdziwe, B też jest prawdziwe,
• gdy A jest fałszywe, B też jest fałszywe.

Inaczej: A i B mają zawsze tę samą wartość logiczną.

Równoważność w zadaniach o funkcjach i równaniach

Na maturze równoważność pojawia się często przy przekształceniach równań i przy opisie zbiorów. Standardowe sformułowania:

• „Układ równań ma rozwiązanie wtedy i tylko wtedy, gdy …”.
• „Równanie x² = a jest równoważne układowi …”.
• „Warunek A jest równoważny warunkowi B”.

Przykład:

„Dla liczby rzeczywistej x spełnione są równoważne warunki:

1. x jest liczbą parzystą,
2. x jest podzielna przez 2.”

W tym przypadku oba opisy oznaczają to samo. Jeśli x jest parzysta, to jest podzielna przez 2, i odwrotnie. Nie ma liczby, dla której jedno byłoby prawdziwe, a drugie fałszywe.

Jak sprawdzać równoważność w praktyce

Internie równoważność to dwie implikacje, więc schemat sprawdzania jest prosty:

1. Sprawdź A ⇒ B (czy z A wynika B?).
2. Sprawdź B ⇒ A (czy z B wynika A?).

Jeśli którykolwiek z tych kierunków jest fałszywy, to całe A ⇔ B jest fałszywe.

Przykład liczbowy:

• A: „liczba naturalna n jest podzielna przez 6”,
• B: „n jest podzielna przez 2 i 3”.

Sprawdzenie:

• A ⇒ B: jeśli n jest podzielna przez 6, to n = 6k, więc n ma w rozkładzie czynniki 2 i 3, więc jest podzielna przez 2 i 3 – prawda.
• B ⇒ A: jeśli n jest podzielna przez 2 i 3, to n = 2a = 3b. Z własności liczb naturalnych wynika, że n jest wtedy podzielna przez najmniejszą wspólną wielokrotność 2 i 3, czyli przez 6 – prawda.

Oba kierunki są prawdziwe, więc A ⇔ B jest prawdziwe.

Inny przykład:

• A: „trójkąt jest prostokątny”,
• B: „trójkąt ma bok długości 5”.

Tu łatwo znaleźć kontrprzykłady w obu kierunkach:

• A ⇒ B: istnieją trójkąty prostokątne bez boku długości 5 – fałsz.
• B ⇒ A: istnieją trójkąty z bokiem 5, które nie są prostokątne – fałsz.

Skoro choć jedna z implikacji zawodzi (w tym przypadku obie), równoważność A ⇔ B jest fałszywa.

Równoważności łańcuchowe – typowa pułapka rachunkowa

W rozwiązaniach zadań pojawiają się ciągi przekształceń typu:

x² − 1 = 0 ⇔ (x − 1)(x + 1) = 0 ⇔ x = 1 lub x = −1.

Każdy znak „⇔” oznacza, że jedna postać warunku jest równoważna drugiej. To mocniejsze niż zwykłe „⇒”. Uczniowie czasem zapisują znak równoważności automatycznie, nawet wtedy, gdy wykonany krok nie zachowuje wszystkich rozwiązań (np. podniesienie do kwadratu, mnożenie przez wyrażenie zależne od x).

Bezpieczna praktyka:

• używać znaku „⇔” tylko wtedy, gdy naprawdę oba warunki są równoważne,
• gdy krok przekształcenia może wprowadzić rozwiązania „obce” lub coś zgubić – użyć „⇒” i na końcu przeprowadzić sprawdzenie.

Rozróżnienie tych znaków ma sens nie tylko formalny – w zadaniach na dowodzenie równoważności warunków egzaminator ocenia właśnie, czy oba kierunki są uzasadnione.

Kwantyfikatory „dla każdego” i „istnieje”: jak je szybko odczytywać?

Dwa podstawowe kwantyfikatory w zadaniach

W zapisie matematycznym często pojawiają się symbole:

• ∀ – „dla każdego”, „dla wszystkich”,
• ∃ – „istnieje”, „da się wskazać co najmniej jeden obiekt taki, że…”.

Na maturze mogą wystąpić explicite (np. w zadaniach z logiki) albo w tekście opisowym:

• „dla każdej liczby rzeczywistej x…”,
• „dla dowolnego trójkąta…”,
• „istnieje taka liczba naturalna n, że…”,
• „można wskazać funkcję, która…”.

Kluczowe jest ustalenie, czy:

• mamy pokazać, że coś działa zawsze (∀),
• czy wystarczy pokazać jeden przykład (∃).

Jak czytać zdania z „dla każdego”

Zdanie z kwantyfikatorem ogólnym ∀ ma formę:

„Dla każdej liczby rzeczywistej x zachodzi A(x).”

Musi być spełnione dla każdego dopuszczalnego x z danego zbioru. Jedno przeciwne przykładowe x, dla którego A(x) jest fałszywe, obala całość.

Przykład:

„Dla każdej liczby rzeczywistej x spełniona jest nierówność x² ≥ 0.”

Tu nie da się znaleźć x, dla którego x² < 0. Wartość x² jest zawsze nieujemna, więc zdanie jest prawdziwe.

Natomiast:

„Dla każdej liczby naturalnej n liczba n + 1 jest parzysta.”

Wystarczy wskazać n = 1 – wtedy n + 1 = 2 (parzysta) – to jeszcze nic nie obala. Ale już dla n = 2 mamy n + 1 = 3 (nieparzysta). Jedno takie n wystarczy, by całe zdanie z ∀ było fałszywe.

Jak czytać zdania z „istnieje”

Zdanie z kwantyfikatorem szczegółowym ∃ ma formę:

„Istnieje liczba rzeczywista x taka, że A(x).”

Tu sytuacja jest odwrotna: wystarczy wskazać jeden przykład x, dla którego warunek A(x) jest spełniony, aby zdanie było prawdziwe. Brak takiego przykładu oznacza fałsz.

Typowe pomyłki przy „dla każdego” i „istnieje”

W arkuszach często bada się, czy uczeń odróżnia „zawsze” od „czasem”. Dwóm zdaniom o podobnej treści może odpowiadać zupełnie inna ocena logiczna.

Porównanie:

• „Dla każdej liczby rzeczywistej x wyrażenie x² − x jest liczbą całkowitą.”
• „Istnieje liczba rzeczywista x taka, że wyrażenie x² − x jest liczbą całkowitą.”

Co wiemy?

• Dla x = 0 mamy 0² − 0 = 0 – liczba całkowita.
• Dla x = 1,5 mamy 1,5² − 1,5 = 2,25 − 1,5 = 0,75 – nie jest całkowita.

Wniosek:

• zdanie z „istnieje” – prawdziwe (znaleźliśmy choć jedno x, np. 0);
• zdanie z „dla każdej” – fałszywe (kontrprzykład x = 1,5 wystarcza do obalenia).

Źródłem błędu bywa czytanie tylko środka zdania, bez zauważenia kwantyfikatora. W zadaniach zamkniętych to częsta różnica między odpowiedziami A i B.

Negacja zdań z kwantyfikatorami – zmiana „dla każdego” na „istnieje”

Przy ocenie prawdziwości często trzeba zanegować zdanie z ∀ lub ∃. Mechanizm jest stały:

• negacja „dla każdego” (∀) daje „istnieje” (∃),
• negacja „istnieje” (∃) daje „dla każdego” (∀),
• dodatkowo neguje się warunek wewnątrz zdania.

Schematy:

• ¬(∀x A(x)) ⇔ ∃x ¬A(x),
• ¬(∃x A(x)) ⇔ ∀x ¬A(x).

Przykład 1:

Zdanie: „Dla każdej liczby rzeczywistej x zachodzi x² ≥ x.”

Negacja:

„Istnieje liczba rzeczywista x taka, że x² < x.”

Wystarczy znaleźć jedno x spełniające x² < x, by oryginalne zdanie okazało się fałszywe. Krótkie obliczenia:

x² < x ⇔ x² − x < 0 ⇔ x(x − 1) < 0.

To nierówność kwadratowa; zachodzi dla 0 < x < 1. Każde x z tego przedziału (np. 0,5) jest kontrprzykładem. W efekcie:

• zdanie z „dla każdej” – fałszywe,
• jego negacja – prawdziwa.

Przykład 2:

Zdanie: „Istnieje liczba naturalna n taka, że n² = 2.”

Negacja:

„Dla każdej liczby naturalnej n zachodzi n² ≠ 2.”

Tu łatwo stwierdzić, że n² = 2 nie ma rozwiązania w liczbach naturalnych – nie ma więc ani jednego n spełniającego warunek, a zatem zdanie z „istnieje” jest fałszywe, a z „dla każdej” – prawdziwe.

Połączenie kwantyfikatorów z implikacją

W zadaniach dowodowych często łączą się oba elementy: kwantyfikator i spójnik „jeżeli… to…”. Typowy wzór:

„Dla każdej liczby rzeczywistej x, jeżeli A(x), to B(x).”

Taki zapis oznacza:

• nie wszystkie x muszą spełniać A(x),
• ale każde x, które już spełnia A(x), musi spełniać B(x).

Przykład:

„Dla każdej liczby naturalnej n, jeżeli n jest parzysta, to n² jest podzielne przez 4.”

Tu:

• „bycie parzystą” to A(n),
• „n² jest podzielne przez 4” to B(n).

Liczby nieparzyste nie są w ogóle „badane” przez implikację – zdanie nie nakłada na nie warunku. Liczy się tylko to, co dzieje się z liczbami parzystymi.

Dlatego przy szukaniu kontrprzykładu do zdania:

„Dla każdej liczby naturalnej n, jeżeli n² jest podzielne przez 4, to n jest parzysta.”

szuka się n, dla którego:

• przesłanka jest prawdziwa (n² podzielne przez 4),
• wniosek fałszywy (n nieparzysta).

Bez spełnionej przesłanki kontrprzykład nie działa.

Krótki „algorytm” na zdania z kwantyfikatorami

Przy ocenie, czy zdanie z ∀ lub ∃ jest prawdziwe, sprawdzają się dwa pytania kontrolne.

Dla „dla każdego” (∀):

1. Jaki jest zbiór wszystkich dopuszczalnych obiektów (liczb, figur, funkcji)?
2. Czy istnieje choć jeden obiekt z tego zbioru, który łamie warunek?

Jeżeli odpowiedź na drugie pytanie brzmi „tak” – zdanie jest fałszywe.

Dla „istnieje” (∃):

1. Jak wygląda warunek A(x)?
2. Czy da się wskazać choć jeden obiekt, dla którego A(x) jest spełnione?

Jeżeli na drugie pytanie nie ma żadnego przykładu – zdanie jest fałszywe.

Kontrprzykład w zadaniach: najszybszy sposób obalenia zdania

Na czym polega kontrprzykład?

Kontrprzykład to jeden konkretny obiekt (liczba, trójkąt, funkcja), który:

• spełnia założenia zdania,
• ale nie spełnia jego tezy.

Wystarczy jeden taki obiekt, aby obalić zdanie z kwantyfikatorem „dla każdego” albo źle postawioną implikacją. To szczególnie przydatne w zadajach zamkniętych, gdzie nie trzeba budować całego dowodu – wystarczy znaleźć jedno „złe” x.

Jak szukać kontrprzykładu krok po kroku

Można przyjąć prostą procedurę.

1. Rozdziel założenie i wniosek.
   Zidentyfikuj część zdania „jeżeli…” (A) i „to…” (B), ewentualnie treść po „dla każdej…”.
2. Skup się na założeniu.
   Szukasz obiektów, które spełniają A – nie wolno go łamać.
3. Próbuj „zepsuć” wniosek.
   Wśród obiektów spełniających A poszukaj takiego, dla którego B jest fałszywe.

Przykład:

Zdanie: „Dla każdej liczby naturalnej n, jeżeli n jest podzielna przez 4, to n jest podzielna przez 8.”

Analiza:

• A(n): „n jest podzielna przez 4”.
• B(n): „n jest podzielna przez 8”.

Najpierw wybór liczb spełniających A: 4, 8, 12, 16, … Potem próba złamania B: 4 nie jest podzielna przez 8. Kontrprzykład gotowy – zdanie jest fałszywe.

Kontrprzykład a kwantyfikatory

Dla kwantyfikatorów rola kontrprzykładu jest jednoznaczna:

• dla zdania z ∀ – wystarczy jeden kontrprzykład, aby zdanie było fałszywe,
• dla zdania z ∃ – aby je obalić, trzeba pokazać, że żaden obiekt nie spełnia warunku (często przez rozumowanie ogólne, nie pojedynczy przykład).

Przykład z ∀:

„Dla każdej liczby rzeczywistej x zachodzi x³ ≥ x.”

Szukamy x, dla którego x³ < x. Szybki test:

• x = 0: 0³ = 0 – równość, w porządku,
• x = 1: 1³ = 1 – też w porządku,
• x = 1/2: (1/2)³ = 1/8 < 1/2 – mamy kontrprzykład.

Wniosek: zdanie jest fałszywe.

Przykład z ∃:

„Istnieje liczba naturalna n taka, że n jest dodatnia i n < 0.”

To zdanie można obalić tylko ogólnym argumentem: żadna liczba naturalna dodatnia nie może być mniejsza od zera. Tu pojedynczy przykład nic nie da – trzeba zauważyć sprzeczność wewnątrz opisu warunku.

Standardowe „banki” kontrprzykładów

W praktyce przydaje się kilka prostych zestawów liczb i figur, które często działają jako kontrprzykłady.

Dla zadań arytmetycznych:

• małe liczby naturalne: 0, 1, 2, 3, 4 – proste do policzenia i często „łamliwe”,
• liczby ułamkowe: 1/2, −1/2 – lubią odwracać nierówności typu x² ≥ x,
• liczby ujemne: −1, −2 – zmieniają zachowanie potęg i modułów.

Dla zadań geometrycznych:

• trójkąt równoboczny,
• trójkąt prostokątny (np. z bokami 3, 4, 5),
• odcinek „spłaszczony” – trzy punkty prawie współliniowe, gdy mowa o nierównościach trójkąta.

Dla funkcji:

• funkcja liniowa f(x) = ax + b,
• funkcja stała f(x) = c,
• proste wielomiany: x², x³, |x|.

Wiele ogólnych stwierdzeń o „każdej funkcji” czy „dowolnym trójkącie” pada właśnie przy zderzeniu z którymś z takich prostych obiektów.

Kontrprzykład w zadaniach zamkniętych i otwartych

Kontrprzykład pojawia się w dwóch rolach:

• w zadaniach zamkniętych – pomaga szybko odrzucić zdanie fałszywe,
• w zadaniach otwartych – bywa pełnoprawnym rozwiązaniem, jeśli polecenie brzmi np. „pokaż, że zdanie jest fałszywe”.

Przykładowe polecenie z arkusza:

„Rozstrzygnij, czy zdanie: ‘Dla każdej liczby rzeczywistej x funkcja f(x) = x² − x + 1 przyjmuje wartości dodatnie’ jest prawdziwe.”

Analiza:

• f(x) = x² − x + 1 = (x − 1/2)² + 3/4 ≥ 3/4 > 0 – widać, że funkcja jest dodatnia dla wszystkich x.

Tu kontrprzykład się nie znajdzie, bo zdanie jest prawdziwe. W innym zadaniu:

„Rozstrzygnij, czy zdanie: ‘Dla każdej liczby rzeczywistej x zachodzi |x| > x’ jest prawdziwe.”

Wystarczy jedno x:

• x = 1: |1| = 1, a 1 > 1 jest fałszem – zdanie upada.

W rozwiązaniu otwartym z podaniem kontrprzykładu należy:

1. podać konkretną wartość (np. x = 1),
2. pokazać, że spełnia założenie,
3. wykazać, że nie spełnia tezy.

Kontrprzykład a równoważność zdań

Gdy analizowane jest zdanie z równoważnością A ⇔ B, kontrprzykład musi pokazać, że A i B nie zawsze mają tę samą wartość logiczną. Technicznie wystarczy jedna z dwóch sytuacji:

• przypadek, gdy A jest prawdziwe, a B fałszywe, albo
• przypadek, gdy A jest fałszywe, a B prawdziwe.

Przykład:

Zdanie: „Dla każdej liczby naturalnej n warunki ‘n jest podzielna przez 6’ i ‘n jest podzielna przez 2’ są równoważne.”

Szukanie kontrprzykładu:

• A(n): „n podzielna przez 6”,
• B(n): „n podzielna przez 2”.

Dla n = 2:

• A(2): fałsz (2 nie jest podzielne przez 6),
• B(2): prawda (2 jest podzielne przez 2).

A i B mają różne wartości logiczne, więc nie są równoważne. Jedna liczba wystarcza, by obalić twierdzenie o równoważności „dla każdej liczby”.

Kiedy kontrprzykład nie wystarczy

Kontrprzykład jest narzędziem jednokierunkowym:

Najczęściej zadawane pytania (FAQ)

Jak szybko sprawdzić, czy zdanie na maturze z matematyki jest prawdziwe?

Najpierw trzeba ustalić, co jest dokładnym „bohaterem” zdania: równanie, funkcja, liczba, własność. Potem sprawdzić, czy mowa o jednym konkretnym obiekcie („to równanie…”) czy o wszystkich obiektach danego typu („dla każdego x…”, „dla każdego parametru m…”). Dopiero wtedy dobiera się odpowiednią strategię: liczenie, szukanie przykładu lub kontrprzykładu.

Praktycznie wygląda to tak: rozbijasz zdanie na prostsze części (np. „x jest dodatni i parzysty”), oceniasz każdą z nich osobno, a na końcu składasz wynik według zasad dla „i”, „lub”, „nie”. W wielu zadaniach wystarczy jedno–dwa krótkie obliczenia lub podstawienie konkretnej liczby, zamiast rozwlekłego rachunku.

Co to jest zdanie logiczne na maturze z matematyki?

Zdanie logiczne to wypowiedź oznajmująca, której można jednoznacznie przypisać prawdę albo fałsz. Typowe przykłady z arkusza to: „Równanie x² − 1 = 0 ma dwa rozwiązania rzeczywiste”, „Dla każdego rzeczywistego x zachodzi x² ≥ 0”, „Istnieje liczba naturalna n taka, że n² = 2”. Każde z tych zdań można ocenić jako P lub F.

Pytania („Czy równanie ma rozwiązanie?”), polecenia („Rozwiąż równanie…”) czy nieprecyzyjne slogany („Matematyka jest trudna”) nie są zdaniami logicznymi w sensie maturalnym. W treści zadań logiczne zdania są często „schowane” w opisie i trzeba je świadomie wyłowić.

Jak odróżnić dane w zadaniu od tezy, którą mam ocenić?

Dane to założenia podane w treści: „Dana jest funkcja…”, „Rozważmy równanie…”, „Wiemy, że…”. Tych informacji nie podważasz, tylko z nich korzystasz. Tezy do oceny pojawiają się zwykle w formie listy punktów, tabelki P/F, albo jako stwierdzenia typu: „Oceń prawdziwość zdania…”, „Zaznacz zdanie równoważne…”.

Dobre pytanie kontrolne brzmi: co wiemy na pewno z treści, a co dopiero mamy sprawdzić? Jeśli rozdzielisz te dwie warstwy, łatwiej unikniesz błędu polegającego na „poprawianiu” treści zadania zamiast oceniania podanych stwierdzeń.

Jak rozróżnić „dla każdego” i „istnieje” w zadaniach maturalnych?

„Dla każdego” (∀) oznacza, że własność ma działać w każdej dopuszczalnej sytuacji. Wystarczy jeden kontrprzykład, aby takie zdanie było fałszywe. Jeśli zdanie brzmi „Dla każdego rzeczywistego x: x² ≥ 0”, szukasz liczby, która by to obalała. Nie znajdziesz – zdanie jest prawdziwe.

„Istnieje” (∃) wymaga tylko jednego przykładu, dla którego własność jest spełniona. Przy zdaniu „Istnieje liczba naturalna n taka, że n² = 2” próbujesz znaleźć konkretną liczbę. Ponieważ żadna liczba naturalna nie spełnia tego równania, zdanie jest fałszywe. Strategia więc jest odwrotna: dla „dla każdego” szukasz kontrprzykładu, dla „istnieje” – przykładu.

Jak poprawnie rozumieć „i” oraz „lub” w zdaniach logicznych?

Słowo „i” (koniunkcja, A ∧ B) oznacza, że oba warunki muszą być spełnione jednocześnie. Jeśli zdanie brzmi „x jest dodatni i parzysty”, to dla x = 4 jest prawdziwe, ale dla x = −4 lub x = 3 – fałszywe, bo odpada jedna z części. Jedno fałszywe podzdanie psuje całość.

Słowo „lub” (alternatywa, A ∨ B) w matematyce jest prawdziwe, gdy spełniony jest co najmniej jeden z warunków. „Liczba jest parzysta lub podzielna przez 5” jest prawdziwe dla 10 (spełnia oba warunki), prawdziwe dla 4 (spełnia jeden) i fałszywe dla 7 (nie spełnia żadnego). To ważna różnica wobec codziennego języka, gdzie „lub” bywa rozumiane wykluczająco.

Jak negować zdania typu „dla każdego”, „istnieje”, „i”, „lub” na maturze?

Przy negacji działają proste „zamiany”: negacja „dla każdego x” to „istnieje x taki, że nie…”, a negacja „istnieje x” to „dla każdego x nie…”. Przykład: negacja zdania „Dla każdego rzeczywistego x zachodzi x² ≥ 0” brzmi „Istnieje rzeczywiste x takie, że x² < 0”. Takiego x nie ma, więc pierwotne zdanie jest prawdziwe.

Dla spójników: negacja „A i B” to „nie A lub nie B”, a negacja „A lub B” to „nie A i nie B”. Jeśli zdanie „Liczba jest parzysta lub podzielna przez 5” ma zostać zanegowane, otrzymujemy: „Liczba nie jest parzysta i nie jest podzielna przez 5”. Taki prosty schemat często ratuje punkt w zadaniach z równoważnościami.

Jak ćwiczyć ocenianie prawdziwości zdań logicznych przed maturą?

Najskuteczniejsze są krótkie serie zadań: tabele P/F, wybór zdań równoważnych, proste przykłady z kwantyfikatorami. Dobrym nawykiem jest przy każdym zdaniu zadawać sobie te same pytania: czego dotyczy wypowiedź, czy mówi o „dla każdego” czy „istnieje”, jakie operatory („i”, „lub”, „nie”) się w niej pojawiają.

Przy zadaniach z parametrem można wziąć 2–3 konkretne wartości parametru (np. m = −1, 0, 2) i sprawdzić, jak zmienia się prawdziwość zdania. To porządkuje myślenie i pomaga przejść od „suchych symboli” do realnego rozumowania, które potem trzeba zastosować w stresie egzaminu.