Strona główna › Liczby i działania › Kwantyfikatory

Kwantyfikatory

Q: Czym różni się kwantyfikator ogólny od szczegółowego?

Ogólny wymaga, żeby warunek spełniały wszystkie elementy zbioru, a szczegółowy tylko żeby spełniał go co najmniej jeden. Od tego zależy, czy zdanie dowodzi się przykładem, czy rozumowaniem ogólnym.

Q: Jak zaprzeczyć zdaniu z kwantyfikatorem?

Zamień kwantyfikator na przeciwny i zaprzecz warunkowi. Zaprzeczeniem zdania o wszystkich elementach jest zdanie o istnieniu wyjątku, a zaprzeczeniem zdania o istnieniu jest zdanie o braku takiego elementu.

Q: Ile kontrprzykładów trzeba, żeby obalić zdanie z „dla każdego”?

Dokładnie jeden. Liczba przykładów potwierdzających nie ma przy tym żadnego znaczenia, bo zdanie ma dotyczyć wszystkich elementów bez wyjątku.

Q: Czy kolejność kwantyfikatorów ma znaczenie?

Ma, gdy kwantyfikatory są różne. Zdanie o istnieniu jednego elementu pasującego do wszystkich jest znacznie mocniejsze niż zdanie o istnieniu innego elementu dla każdego z osobna.

Q: Czy wolno przestawić dwa takie same kwantyfikatory?

Tak, dwa kwantyfikatory ogólne obok siebie można zamienić miejscami bez zmiany sensu, podobnie dwa szczegółowe. Zakaz dotyczy wyłącznie kwantyfikatorów różnego rodzaju.

Q: Po co podawać dziedzinę zmiennej?

Bo ta sama formuła bywa prawdziwa w jednym zbiorze i fałszywa w innym. Zdanie o istnieniu liczby, której kwadrat wynosi dwa, jest prawdziwe wśród liczb rzeczywistych i fałszywe wśród wymiernych.

Kwantyfikatory to dwa zwroty, które zmieniają wyrażenie z niewiadomą w zdanie o określonej wartości logicznej. „ $x > 3$ ” nie jest ani prawdą, ani fałszem, dopóki nie powiemy, o które $x$ chodzi. „Dla każdego $x$ zachodzi $x>3$ ” już jest — i to fałszem. Same spójniki zdaniowe opisuję przy logice.

Dział: Liczby i działaniaPoziom: poza podstawą programową — matura nie wymaga

1Dwa kwantyfikatory

Materiał nadprogramowy — matura tego nie wymaga

Obowiązująca podstawa programowa dla liceum nie ma działu o logice ani o kwantyfikatorach — sprawdziłem pełną listę trzynastu działów. Temat był w starszych programach i stąd bierze się w podręcznikach.

Warto go jednak znać do czytania treści zadań. Zwroty „dla każdego”, „istnieje”, „dla pewnego” i „zawsze” pojawiają się w poleceniach na każdym poziomie, a od ich zrozumienia zależy, co właściwie trzeba wykazać.

Jeśli uczysz się pod presją czasu — przeczytaj sekcję o zaprzeczaniu i o kolejności, a resztę pomiń.

Strona należy do działu Zagadnienia dodatkowe, w którym zebrane są tematy spoza podstawy programowej.

Kwantyfikator ogólny $\forall$ czytamy „dla każdego”. Zdanie $\forall x\, P(x)$ jest prawdziwe, gdy warunek $P$ spełnia każdy element rozważanego zbioru.

Kwantyfikator szczegółowy $\exists$ czytamy „istnieje”. Zdanie $\exists x\, P(x)$ jest prawdziwe, gdy warunek spełnia choć jeden element.

zapis	czyta się	prawdziwe, gdy	obala je
$\forall x\, P(x)$	dla każdego $x$ zachodzi $P(x)$	wszystkie elementy spełniają $P$	jeden kontrprzykład
$\exists x\, P(x)$	istnieje $x$ takie, że $P(x)$	choć jeden element spełnia $P$	sprawdzenie wszystkich

Ostatnia kolumna jest najważniejsza praktycznie. Zdania z „dla każdego” obala się jednym przykładem, a dowodzi ogólnym rozumowaniem. Ze zdaniami „istnieje” jest odwrotnie: dowodzi się je jednym przykładem, a obala rozumowaniem obejmującym wszystko.

Dziedzina musi być podana

Zdanie „ $\forall x\; x^2 \geq 0$ ” jest prawdziwe dla liczb rzeczywistych, ale samo $x$ bez określenia zbioru nic nie znaczy.

W zapisie podaje się to zwykle tak: $\forall_{x \in \mathbb{R}}\; x^2 \geq 0$ . Zbiory liczbowe i ich oznaczenia opisuję przy zbiorach.

Ta sama formuła może być prawdziwa w jednym zbiorze i fałszywa w innym — na przykład „ $\exists x\; x^2 = 2$ ” jest prawdą w $\mathbb{R}$ i fałszem w $\mathbb{Q}$ .

2Zaprzeczanie — kwantyfikator się zamienia

To najważniejsza rzecz na tej stronie i jedyna, która regularnie wraca w zadaniach.

\neg\,\forall x\, P(x) \;=\; \exists x\, \neg P(x) \qquad\qquad \neg\,\exists x\, P(x) \;=\; \forall x\, \neg P(x)

Po polsku: zaprzeczeniem „każdy jest taki” jest „istnieje taki, który nie jest”. Zaprzeczeniem „istnieje taki” jest „żaden nie jest”, czyli „każdy nie jest”.

Sprawdziłem oba prawa na komplecie przypadków: dla czteroelementowej dziedziny istnieje dokładnie $\textcolor{#16A06A}{16}$ różnych warunków, jakie można na niej określić, i przeszedłem przez wszystkie. Zero niezgodności w obu wzorach.

zdanie	jego zaprzeczenie
każda liczba pierwsza jest nieparzysta	istnieje liczba pierwsza parzysta
istnieje trójkąt o dwóch kątach prostych	każdy trójkąt ma co najwyżej jeden kąt prosty
każdy uczeń zdał	pewien uczeń nie zdał
pewna funkcja jest rosnąca	żadna funkcja nie jest rosnąca

Pierwszy wiersz warto sprawdzić: zdanie „każda liczba pierwsza jest nieparzysta” jest fałszywe, a jego zaprzeczenie prawdziwe — bo dwójka jest pierwsza i parzysta. Kontrprzykład jest jeden, ale to wystarcza.

Jeden kontrprzykład kontra wiele potwierdzeń

Zdanie „każda z liczb $1,\ldots,10$ jest parzysta” ma pięć przykładów potwierdzających ( $2,4,6,8,10$ ) i pięć kontrprzykładów. Zdanie jest fałszywe — wystarczy jeden kontrprzykład, a przykłady potwierdzające nie liczą się wcale.

To ta sama asymetria co przy zadaniach dowodowych: sto przykładów nie dowodzi, jeden kontrprzykład obala.

Praktyczny wniosek: widząc w treści „wykaż, że dla każdego…”, szykuj się na dowód ogólny. Widząc „czy prawdą jest, że dla każdego…”, najpierw poszukaj kontrprzykładu.

3Kolejność kwantyfikatorów zmienia sens

Gdy w zdaniu występują dwa różne kwantyfikatory, ich kolejność jest częścią treści — nie wolno ich przestawiać.

\forall x\, \exists y\; R(x,y) \qquad \text{to NIE to samo co} \qquad \exists y\, \forall x\; R(x,y)

Różnica po polsku. Pierwsze zdanie mówi: dla każdego $x$ da się znaleźć jakieś $y$ — i to $y$ może być inne dla każdego $x$ . Drugie mówi: istnieje jedno wspólne $y$ , które pasuje do wszystkich $x$ naraz. Drugie jest znacznie mocniejsze.

Przykład liczbowy. Weźmy relację $x < y$ na zbiorze liczb naturalnych:

$\forall x\, \exists y\; (x<y)$ — prawda: dla każdej liczby znajdzie się większa, choćby $x+1$ ,
$\exists y\, \forall x\; (x<y)$ — fałsz: musiałaby istnieć liczba większa od wszystkich, w tym od siebie samej.

Uwaga na sprawdzanie tego na skończonym zbiorze — nie da się. Gdyby zawęzić dziedzinę do $\{1,\ldots,2000\}$ , oba zdania wyszłyby fałszywe: pierwsze dlatego, że dla największego elementu nie ma już nic większego. Prawdziwość zdania $\forall x\, \exists y\; (x<y)$ bierze się dokładnie z tego, że liczb naturalnych jest nieskończenie wiele — i to jest cały jego sens. Skończona próba może najwyżej pokazać mechanizm (dla każdego $x$ poza ostatnim świadkiem jest $x+1$ ), ale wartości logicznej nie rozstrzyga.

Drugie zdanie jest za to fałszywe w obu przypadkach, i to z innego powodu: takie $y$ musiałoby być większe od samego siebie. Zamiana kolejności zmienia więc wartość logiczną — ale dopiero na zbiorze nieskończonym.

Gdzie to widać w szkolnej matematyce

Definicja funkcji rosnącej brzmi: dla każdych $x_1 < x_2$ zachodzi $f(x_1) < f(x_2)$ — kwantyfikator ogólny po obu argumentach. Wystarczy jedna para łamiąca warunek, żeby funkcja rosnąca nie była.

Definicja miejsca zerowego to z kolei „istnieje $x$ takie, że $f(x)=0$ ” — tu wystarczy jeden argument, żeby zdanie było prawdziwe.

Dlatego przy miejscach zerowych szuka się przykładów, a przy monotoniczności prowadzi dowód ogólny.

Dwa kwantyfikatory tego samego rodzaju wolno przestawiać. Zdania $\forall x\, \forall y$ oraz $\forall y\, \forall x$ znaczą to samo; podobnie dwa $\exists$ . Mieszać kolejności nie wolno tylko wtedy, gdy kwantyfikatory są różne.

4Przykłady krok po kroku

Trzy zadania: ocena wartości zdania, zaprzeczenie i porównanie dwóch kolejności.

Przykład 1 Prawda czy fałsz

Oceń wartość logiczną zdań w zbiorze liczb rzeczywistych: (a) $\forall x\; x^2 \geq 0$ , (b) $\exists x\; x^2 = -1$ , (c) $\forall x\; x^2 > 0$ .

(a) Kwadrat dowolnej liczby rzeczywistej jest nieujemny — dla liczb dodatnich i ujemnych wychodzi dodatni, dla zera zero.
Nie ma liczby rzeczywistej o ujemnym kwadracie, więc zdanie jest prawdziwe ✓
(b) Szukam choć jednej liczby, której kwadrat wynosi $\textcolor{#16A06A}{-1}$ . Z punktu (a) wiem, że kwadrat jest zawsze $\geq 0$ .
Taka liczba rzeczywista nie istnieje, więc zdanie jest fałszywe ✓
(c) Uwaga na różnicę wobec (a): tu jest znak ostry. Szukam kontrprzykładu, czyli liczby o kwadracie niedodatnim.
Dla $x = \textcolor{#E0453A}{0}$ mamy $0^2 = \textcolor{#2F80D8}{0}$ , a $\textcolor{#9b1c14}{0 > 0}$ jest fałszem — znalazłem kontrprzykład.
Jeden kontrprzykład wystarczy, więc zdanie (c) jest fałszywe ✓

Odpowiedź: (a) prawda, (b) fałsz, (c) fałsz.

Punkty (a) i (c) różnią się jednym znakiem, a mają różne wartości logiczne — i cała różnica sprowadza się do jednej liczby. To typowe: przy kwantyfikatorze ogólnym warto od razu sprawdzić przypadki brzegowe, zwłaszcza zero.

Przykład 2 Zaprzeczenie zdania z kwantyfikatorem

Zaprzecz zdaniom: (a) „Każda liczba pierwsza jest nieparzysta”, (b) „Istnieje liczba naturalna podzielna przez $7$ i przez $5$ ”. Oceń wartość obu zdań i obu zaprzeczeń.

(a) To zdanie z kwantyfikatorem ogólnym, więc zaprzeczenie ma kwantyfikator szczegółowy i zaprzeczony warunek.
Zaprzeczenie: „istnieje liczba pierwsza, która jest parzysta”.
Wartość zdania wyjściowego: fałsz, bo $\textcolor{#16A06A}{2}$ jest liczbą pierwszą i parzystą — to kontrprzykład.
Wartość zaprzeczenia: prawda, bo ta sama dwójka jest świadkiem istnienia ✓ zgodnie z regułą wartości muszą być przeciwne.
(b) Tu kwantyfikator jest szczegółowy, więc zaprzeczenie ma ogólny: „każda liczba naturalna nie jest podzielna przez $7$ i przez $5$ ”.
Wartość zdania wyjściowego: prawda — świadkiem jest $\textcolor{#E0453A}{35}$ , bo $35 = 7 \cdot \textcolor{#16A06A}{5}$ .
Wartość zaprzeczenia: fałsz ✓ — znów przeciwne, jak być powinno.

Odpowiedź: (a) fałsz, zaprzeczenie prawdziwe; (b) prawda, zaprzeczenie fałszywe.

Kontrola przez wartości logiczne jest tu najmocniejsza: zdanie i jego zaprzeczenie muszą mieć wartości przeciwne. Jeśli po zaprzeczeniu obie wychodzą prawdziwe albo obie fałszywe, zaprzeczenie zostało zrobione źle.

Przykład 3 Dwie kolejności, dwie różne wartości

W zbiorze liczb naturalnych oceń wartość zdań: (a) $\forall x\, \exists y\; (x < y)$ , (b) $\exists y\, \forall x\; (x < y)$ .

(a) Czytam dosłownie: dla każdej liczby $x$ ma istnieć jakaś liczba $y$ od niej większa.
Dla dowolnego $x$ mogę wskazać $y = \textcolor{#16A06A}{x+1}$ — zawsze istnieje i zawsze jest większe.
Zdanie jest prawdziwe ✓ Ważne, że $y$ zależy od $x$ — dla każdego $x$ bierzemy inne.
(b) Czytam dosłownie: ma istnieć jedno $y$ , większe od każdej liczby $x$ naraz.
Takie $y$ musiałoby być większe także od samego siebie, bo $y$ też jest liczbą naturalną — a $y < y$ jest fałszem.
Zdanie jest fałszywe ✓
Kontrola granicą dziedziny: gdyby zamiast wszystkich liczb naturalnych wziąć skończony zbiór $\{1,\ldots,2000\}$ , zdanie (a) też byłoby fałszywe — dla $x = 2000$ nie ma już większego $y$ . To potwierdza, że o prawdziwości (a) decyduje nieskończoność dziedziny, a nie sam kształt zapisu ✓

Odpowiedź: (a) prawda, (b) fałsz.

Te same trzy symbole w innej kolejności dają zdania o przeciwnych wartościach. Dlatego przy dwóch różnych kwantyfikatorach nie wolno ich przestawiać — kolejność jest częścią treści, a nie kwestią zapisu.

5Najczęstsze błędy

Pierwsze dwa błędy dotyczą zaprzeczania i są odpowiednikiem tego, co przy spójnikach robią prawa de Morgana.

Zaprzeczanie bez zamiany kwantyfikatora

Skąd się bierze: Zaprzeczeniem „każda liczba pierwsza jest nieparzysta” nie jest $\textcolor{#9b1c14}{\text{każda liczba pierwsza jest parzysta}}$ . Poprawne zaprzeczenie ma kwantyfikator szczegółowy: „istnieje liczba pierwsza parzysta”. Błędna wersja jest fałszywa razem ze zdaniem wyjściowym, a zaprzeczenie musi mieć wartość przeciwną.

Jak zrobić dobrze: Zamieniaj oba naraz: kwantyfikator na przeciwny i warunek na zaprzeczony. Kontrola: sprawdź wartości logiczne obu zdań — muszą się różnić.

Uznanie przykładów potwierdzających za dowód

Skąd się bierze: Zdanie z „dla każdego” obala jeden kontrprzykład, a nie osłabia go żadna liczba potwierdzeń. Dla „każda z liczb $1,\ldots,10$ jest parzysta” potwierdzeń jest pięć, a zdanie i tak jest fałszywe.

Jak zrobić dobrze: Przy „dla każdego” najpierw poszukaj kontrprzykładu, zwłaszcza wśród przypadków brzegowych: zera, jedynki, liczb ujemnych. Dopiero gdy go nie ma, zabieraj się za dowód.

Przestawianie różnych kwantyfikatorów

Skąd się bierze: $\forall x\, \exists y$ i $\exists y\, \forall x$ to różne zdania — w zbiorze liczb naturalnych z relacją $x<y$ pierwsze jest prawdziwe, a drugie fałszywe. Zamiana kolejności zmieniła wartość logiczną.

Jak zrobić dobrze: Czytaj zdanie od lewej i pytaj przy każdym kwantyfikatorze: czy to $y$ ma być jedno wspólne, czy inne dla każdego $x$ ? Przestawiać wolno tylko kwantyfikatory tego samego rodzaju.

Pominięcie dziedziny

Skąd się bierze: Zdanie „istnieje $x$ takie, że $x^2=2$ ” jest prawdziwe w liczbach rzeczywistych i fałszywe w wymiernych — bo $\sqrt2$ nie jest ułamkiem. Bez podania zbioru zdanie nie ma określonej wartości.

Jak zrobić dobrze: Zawsze zapisuj, po jakim zbiorze biegnie zmienna. W zadaniach dziedzina bywa podana w treści słowami („dla dowolnej liczby całkowitej”) i trzeba ją przenieść do zapisu.

6Pytania i odpowiedzi

Czym różni się kwantyfikator ogólny od szczegółowego?

Ogólny wymaga, żeby warunek spełniały wszystkie elementy zbioru, a szczegółowy tylko żeby spełniał go co najmniej jeden. Od tego zależy, czy zdanie dowodzi się przykładem, czy rozumowaniem ogólnym.

Jak zaprzeczyć zdaniu z kwantyfikatorem?

Zamień kwantyfikator na przeciwny i zaprzecz warunkowi. Zaprzeczeniem zdania o wszystkich elementach jest zdanie o istnieniu wyjątku, a zaprzeczeniem zdania o istnieniu jest zdanie o braku takiego elementu.

Ile kontrprzykładów trzeba, żeby obalić zdanie z „dla każdego”?

Dokładnie jeden. Liczba przykładów potwierdzających nie ma przy tym żadnego znaczenia, bo zdanie ma dotyczyć wszystkich elementów bez wyjątku.

Czy kolejność kwantyfikatorów ma znaczenie?

Ma, gdy kwantyfikatory są różne. Zdanie o istnieniu jednego elementu pasującego do wszystkich jest znacznie mocniejsze niż zdanie o istnieniu innego elementu dla każdego z osobna.

Czy wolno przestawić dwa takie same kwantyfikatory?

Tak, dwa kwantyfikatory ogólne obok siebie można zamienić miejscami bez zmiany sensu, podobnie dwa szczegółowe. Zakaz dotyczy wyłącznie kwantyfikatorów różnego rodzaju.

Po co podawać dziedzinę zmiennej?

Bo ta sama formuła bywa prawdziwa w jednym zbiorze i fałszywa w innym. Zdanie o istnieniu liczby, której kwadrat wynosi dwa, jest prawdziwe wśród liczb rzeczywistych i fałszywe wśród wymiernych.

Czytaj dalej

Logika — rachunek zdańSpójniki, tabelki prawdy i prawa de Morgana Zadania dowodoweAsymetria kontrprzykładu i dowodu w praktyce ZbioryOznaczenia zbiorów, po których biegnie zmienna Miejsca zerowe funkcjiDefinicja oparta na kwantyfikatorze szczegółowym

Mateusz Będkowski

nauczyciel matematyki, autor „Nie każ mu liczyć”

Uczę matematyki od 13 lat, w tym 7 lat w szkole — dziś w dwóch szkołach w Kaliszu. Magister pedagogiki ze specjalnością terapia pedagogiczna, po studiach podyplomowych z matematyki. Rozwiązania na tej stronie liczę sam, krok po kroku, i zapisuję dokładnie tak, jak tłumaczę je uczniowi na kartce.

Ostatnia aktualizacja: 2026-07-31. Tekst redakcji „Nie każ mu liczyć”.