Kwantyfikatory — „dla każdego” i „istnieje”

[poza podstawą]

🎯 Po co Ci to?

Prawie każde ciekawe zdanie matematyki mówi o nieskończenie wielu obiektach naraz. „Kwadrat dowolnej liczby rzeczywistej jest nieujemny": o której liczbie mowa? O żadnej konkretnej i o wszystkich jednocześnie. Żeby takie zdania w ogóle dało się zapisać (i, co ważniejsze, precyzyjnie zaprzeczać), potrzebujemy dwóch słów-kwantyfikatorów: „dla każdego" i „istnieje". To one zamieniają mgliste „no, generalnie tak jest" w twardą matematyczną wypowiedź. I to tu wreszcie rozwiążemy pułapkę z §1.1.

✅ Czego się nauczysz

Po tej jednostce potrafisz:

  • zapisywać zdania kwantyfikatorem $\forall$ („dla każdego") i $\exists$ („istnieje");
  • ocenić wartość zdania z kwantyfikatorem;
  • zaprzeczać takie zdania mechanicznie i bezbłędnie.

📘 Wyjaśnienie

Dwa słowa, dwa symbole:

  • $\forall$: „dla każdego". Zdanie $\forall x\ p(x)$ czytamy „dla każdego $x$ zachodzi $p(x)$".
  • $\exists$: „istnieje". Zdanie $\exists x\ p(x)$ czytamy „istnieje takie $x$, że $p(x)$".

Przykłady, żeby poczuć różnicę siły:

  • $\forall x \in \mathbb{R}\ \ x^2 \ge 0$: „każda liczba rzeczywista podniesiona do kwadratu jest nieujemna". To prawda i to mocne stwierdzenie o wszystkich liczbach.
  • $\exists x \in \mathbb{R}\ \ x^2 = 2$: „istnieje liczba, której kwadrat to 2". Też prawda: tą liczbą jest $\sqrt{2}$ (spotkasz ją niedługo w Dziale 2).
  • $\forall x \in \mathbb{R}\ \ x^2 = 2$: „każda liczba ma kwadrat równy 2". Oczywisty fałsz: wystarczy $x = 0$.

Widać zależność: żeby zdanie z $\forall$ było prawdą, warunek musi zachodzić bez jednego wyjątku. Żeby zdanie z $\exists$ było prawdą, wystarczy jeden świadek.

A teraz najpiękniejsza część: zaprzeczanie. Pamiętasz pułapkę z §1.1: zaprzeczeniem „wszyscy zdali" nie jest „nikt nie zdał". Teraz dostajemy na to żelazną regułę:

$$\lnot\big(\forall x\ p(x)\big) \Leftrightarrow \exists x\ \lnot p(x) \qquad \lnot\big(\exists x\ p(x)\big) \Leftrightarrow \forall x\ \lnot p(x)$$

Po ludzku: negacja przełącza kwantyfikator na przeciwny i zaprzecza warunkowi. To ta sama melodia, co prawa De Morgana z §1.2, bo „dla każdego" to jakby wielka koniunkcja („to i to, i to…"), a „istnieje" to wielka alternatywa. Zaprzeczenie „wszyscy zdali" ($\forall$) to więc „istnieje ktoś, kto nie zdał" ($\exists\ \lnot$). Zagadka z §1.1 rozwiązana, i to nie sztuczką, tylko regułą, która nigdy Cię nie zawiedzie.

📐 DEFINICJA (kwantyfikatory): $\forall$ (kwantyfikator ogólny) znaczy „dla każdego"; $\exists$ (kwantyfikator szczegółowy) znaczy „istnieje". Zaprzeczenie zamienia jeden na drugi i neguje to, co za nim stoi.

[rozszerzenie] Kolejność kwantyfikatorów ma znaczenie. Gdy w zdaniu jest ich kilka, przestawienie potrafi zmienić sens na przeciwny. Porównaj:

  • $\forall x\ \exists y\ \ (y > x)$: „dla każdej liczby istnieje większa". Prawda (dokładasz 1).
  • $\exists y\ \forall x\ \ (y > x)$: „istnieje liczba większa od każdej". Fałsz, nie ma największej liczby.

To ta sama różnica, co między „każdy człowiek ma matkę" a „istnieje matka wszystkich ludzi". Kolejność $\forall\exists$ to nie to samo, co $\exists\forall$: czytaj kwantyfikatory od lewej i nie przestawiaj ich bez namysłu.

⚠️ Uwaga, pułapka

Żeby obalić zdanie z „dla każdego", wystarczy jeden wyjątek, ale żeby je udowodnić, jeden przykład nie wystarcza. „Sprawdziłem dla $1$, $2$ i $3$: działa" nie dowodzi, że działa dla wszystkich. Kilka trafień to poszlaka, nie dowód. Wrócimy do tego z całą powagą w §1.5, bo właśnie na tym opiera się różnica między „wygląda na prawdę" a „jest prawdą".

🛠️ Teraz Ty

Zapisz symbolicznie, oceń wartość i zaprzecz (słowami i symbolem):

  1. „Każda liczba naturalna jest dodatnia."
  2. „Istnieje liczba pierwsza parzysta."
Sprawdź
  1. $\forall n \in \mathbb{N}\ \ n > 0$. Wartość zależy od umowy, czy $0 \in \mathbb{N}$; przyjmując, że tak: fałsz (świadkiem jest $0$). Zaprzeczenie: $\exists n \in \mathbb{N}\ \ n \le 0$, czyli „istnieje liczba naturalna niedodatnia".
  2. $\exists p\ \ (p \text{ pierwsza} \land p \text{ parzysta})$. Prawda: świadkiem jest $2$. Zaprzeczenie: $\forall p\ \ (p \text{ pierwsza} \Rightarrow p \text{ nieparzysta})$, czyli „każda liczba pierwsza jest nieparzysta" (fałsz, i dobrze, bo zaprzeczenie prawdy musi być fałszem).

🕰️ Skąd to się wzięło

Kwantyfikatory, czyli „dla każdego" i „istnieje" jako pełnoprawne części logiki, wprowadził Niemiec Gottlob Frege (1848–1925) w cienkiej książeczce z 1879 r. o dźwięcznym tytule Begriffsschrift („pismo pojęciowe"). Sam zapisywał je własnym, dwuwymiarowym pismem; znane dziś symbole przyszły później: $\exists$ zaproponował Giuseppe Peano (1897), a $\forall$ Gerhard Gentzen (1935). Frege miał śmiałe marzenie: język tak precyzyjny, że każdy krok dowodu dałoby się sprawdzić mechanicznie, jak rachunek, bez zaufania do intuicji, bez ukrytych luk. Kwantyfikatory były sercem tego pomysłu. Od Fregego zaczyna się cała nowoczesna logika, i wielkie marzenie, do którego wrócimy w §1.6.

📌 Najważniejsze w pigułce

  • $\forall$ = „dla każdego" (prawda bez wyjątku), $\exists$ = „istnieje" (wystarczy jeden świadek).
  • Zaprzeczenie przełącza kwantyfikator i neguje warunek: $\lnot\forall = \exists\lnot$, $\lnot\exists = \forall\lnot$.
  • Jeden kontrprzykład obala „dla każdego"; jeden przykład nie dowodzi go.

🎒 Zadania

  1. Zapisz symbolicznie i oceń: „Dla każdej liczby rzeczywistej $x$ zachodzi $x + 1 > x$."
  2. Zaprzecz: „Istnieje uczeń, który rozwiązał wszystkie zadania." (Uwaga: dwa kwantyfikatory!)
  3. Czy zdania $\forall x\ \exists y\ (x + y = 0)$ i $\exists y\ \forall x\ (x + y = 0)$ mają tę samą wartość? Uzasadnij. (rozszerzenie)
Rozwiązanie krok po kroku

1. Zapis: $\forall x\in\mathbb{R}\ (x+1>x)$. Wartość: prawda; dodanie $1$ zawsze daje coś większego, bez wyjątku, więc $\forall$ jest spełniony.

2. „Istnieje uczeń, który rozwiązał wszystkie zadania" = $\exists x\ (\text{x rozwiązał wszystkie})$. Zaprzeczenie przełącza $\exists\to\forall$ i neguje warunek: „każdy uczeń pominął przynajmniej jedno zadanie". (Dwa przełączenia: $\exists\to\forall$ na zewnątrz, „wszystkie"$\to$„przynajmniej jedno nie" w środku.)

3. (rozszerzenie) $\forall x,\exists y\ (x+y=0)$: prawda (dla danego $x$ bierzemy $y=-x$). $\exists y,\forall x\ (x+y=0)$: fałsz (jedno $y$ nie wyzeruje wszystkich $x$ naraz). Różna wartość: kolejność kwantyfikatorów ma znaczenie.

🔍 Sprawdź, czy umiesz

  • zapisać zdanie kwantyfikatorem i ocenić jego wartość;
  • zaprzeczyć zdanie z kwantyfikatorem, przełączając $\forall \leftrightarrow \exists$.

Ucz się tej jednostki z asystentem