Spójniki, które budują myśli
[poza podstawą]
🎯 Po co Ci to?
Z pojedynczych zdań rzadko powiesz coś ciekawego. Prawdziwe myśli są złożone: „jeśli zdam maturę i dostanę się na studia, to wyprowadzę się z domu". Takie zdania budujemy ze zdań prostych, sklejając je spójnikami. Problem w tym, że codzienne „lub", „jeśli" i „albo" bywają niechlujne, a matematyka potrzebuje spójników o dokładnie ustalonym znaczeniu. Ta jednostka nadaje im to znaczenie raz na zawsze, za pomocą tabelek prawdy: małych maszynek, które dla każdego układu wartości mówią, czy całość jest prawdą.
✅ Czego się nauczysz
Po tej jednostce potrafisz:
- budować zdania złożone spójnikami $\land$, $\lor$, $\Rightarrow$, $\Leftrightarrow$ i wyznaczać ich wartość z tabelki prawdy;
- rozumieć, dlaczego matematyczne „lub" dopuszcza obie możliwości;
- czytać implikację jako obietnicę i wiedzieć, kiedy jest złamana;
- stosować prawa De Morgana do zaprzeczania zdań złożonych.
📘 Wyjaśnienie
Mamy dwa zdania proste, $p$ i $q$. Każde może być $1$ albo $0$, więc razem dają cztery kombinacje. Dobry spójnik to po prostu odpowiedź na pytanie: „co ma być prawdą w każdej z tych czterech sytuacji?".
Koniunkcja: „i" ($p \land q$). Prawda tylko wtedy, gdy oba są prawdą. „Mam bilet i mam paszport": wystarczy, że zapomnisz jednego, i całość upada.
Alternatywa: „lub" ($p \lor q$). I tu pierwsza niespodzianka.
💭 Pomyśl: W kawiarni słyszysz „do zestawu kawa lub herbata". A gdyby ktoś wziął OBIE? W matematyce „lub" jest włączające: $p \lor q$ jest prawdą, gdy prawdą jest przynajmniej jedno, także gdy oba. Fałsz tylko wtedy, gdy oba są fałszem.
To nie jest matematyczna dziwaczność, tylko wybór precyzji: „przynajmniej jedno" to jedno jasne pojęcie, a „dokładnie jedno" to inne (i rzadsze). Domyślnie bierzemy to pojemniejsze.
Zbierzmy oba w jednej tabelce prawdy:
| $p$ | $q$ | $p \land q$ | $p \lor q$ |
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 0 | 0 | 0 |
Implikacja: „jeśli…, to…" ($p \Rightarrow q$). To najważniejszy i najczęściej źle rozumiany spójnik w całej matematyce, bo w nim żyją wszystkie twierdzenia („jeśli trójkąt jest prostokątny, to…"). Najlepiej myśleć o niej jak o obietnicy.
💭 Pomyśl: Obiecuję: „Jeśli zdasz egzamin, postawię Ci pizzę", czyli $p \Rightarrow q$, gdzie $p$ = „zdasz", $q$ = „stawiam pizzę". W której z czterech sytuacji złamałem obietnicę?
Sprawdź odpowiedź
Tylko w jednej: zdałeś ($p$ prawda), a pizzy nie ma ($q$ fałsz). Wtedy skłamałem; implikacja jest fałszem.
- Zdałeś i dostałeś pizzę: słowa dotrzymane, prawda.
- Nie zdałeś: obietnica mnie do niczego nie zobowiązywała, więc cokolwiek zrobię, słowa nie złamałem. Dam pizzę z dobrego serca albo nie dam: obietnica pozostaje niezłamana, czyli prawdziwa.
Stąd zaskakująca reguła: implikacja jest fałszem wyłącznie w przypadku „z prawdy wynika fałsz". We wszystkich pozostałych jest prawdą.
Równoważność: „wtedy i tylko wtedy" ($p \Leftrightarrow q$). To obietnica w obie strony: prawda, gdy $p$ i $q$ mają tę samą wartość (oba prawdą albo oba fałszem). „Trójkąt jest równoboczny wtedy i tylko wtedy, gdy ma trzy równe kąty"; jedno pociąga drugie i odwrotnie.
| $p$ | $q$ | $p \Rightarrow q$ | $p \Leftrightarrow q$ |
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 1 |
Prawa De Morgana, jak zaprzeczyć zdaniu złożonemu. Skoro umiemy sklejać, powinniśmy umieć zaprzeczać całości. Tu działa piękna, symetryczna reguła:
$$\lnot(p \land q) \Leftrightarrow (\lnot p) \lor (\lnot q) \qquad \lnot(p \lor q) \Leftrightarrow (\lnot p) \land (\lnot q)$$
Po ludzku: negacja przełącza „i" na „lub" (i odwrotnie) i zaprzecza części. „Nieprawda, że pada i jest zimno" znaczy „nie pada lub nie jest zimno". Sprawdź to intuicją: żeby złamać obietnicę „będzie i deszcz, i mróz", wystarczy, że zawiedzie choć jeden z nich, czyli „nie deszcz lub nie mróz". Zgadza się.
[rozszerzenie] Trzy siostry implikacji. Z implikacji $p \Rightarrow q$ da się utworzyć trzy pokrewne zdania:
- odwrotną $q \Rightarrow p$,
- przeciwną $\lnot p \Rightarrow \lnot q$,
- przeciwstawną $\lnot q \Rightarrow \lnot p$.
Kluczowy fakt: implikacja i jej przeciwstawna są równoważne (zawsze mają tę samą wartość), podobnie jak odwrotna i przeciwna. Natomiast implikacja i jej odwrotna to dwie różne rzeczy; „jeśli pada, to jest mokro" jest prawdą, ale „jeśli jest mokro, to pada" już niekoniecznie (ktoś polał chodnik). Równoważność przeciwstawnej to podstawa jednej z technik dowodowych, którą poznasz w §1.5.
⚠️ Uwaga, pułapka
Implikacja nie mówi o przyczynie i skutku ani o kolejności w czasie. „Jeśli $2+2=5$, to Księżyc jest z sera" jest zdaniem prawdziwym (bo poprzednik jest fałszem, więc obietnica niezłamana), choć brzmi absurdalnie. W logice liczy się tylko układ wartości, nie sensowność treści. Nie szukaj w implikacji związku przyczynowego: szukaj go w fizyce.
🛠️ Teraz Ty
Niech $p$: „$5 > 3$" (prawda), $q$: „$5$ jest parzyste" (fałsz). Podaj wartość: (a) $p \land q$, (b) $p \lor q$, (c) $p \Rightarrow q$, (d) $q \Rightarrow p$, (e) $\lnot(p \land q)$.
Sprawdź
(a) $1 \land 0 = \mathbf{0}$. (b) $1 \lor 0 = \mathbf{1}$. (c) $1 \Rightarrow 0 = \mathbf{0}$ (jedyny fałszywy przypadek implikacji!). (d) $0 \Rightarrow 1 = \mathbf{1}$ (z fałszu wynika cokolwiek). (e) $\lnot 0 = \mathbf{1}$, albo z De Morgana: $\lnot p \lor \lnot q = 0 \lor 1 = 1$. Zgadza się.
🕰️ Skąd to się wzięło
Że prawdę można oznaczyć 1, fałsz 0 i „liczyć" na zdaniach jak na liczbach, to pomysł Anglika George'a Boole'a (1815–1864). W książce Prawa myślenia (1854) zamienił logikę w algebrę: „i" zaczęło działać jak mnożenie, „lub" jak dodawanie. Brzmi znajomo? To dokładnie tabelki, które przed chwilą wypełniałeś. Boole chciał, żeby rozumowanie było tak niezawodne jak rachunek; żeby prawdę dało się policzyć, nie tylko „poczuć". Reguły przełączające „i" na „lub" noszą nazwisko jego przyjaciela, Augustusa De Morgana. Ponad sto lat później algebra Boole'a (te same zera i jedynki) stała się językiem, w którym myślą wszystkie komputery świata.
📌 Najważniejsze w pigułce
- $p \land q$: prawda, gdy oba prawdą. $p \lor q$: prawda, gdy przynajmniej jedno (matematyczne „lub" jest włączające).
- $p \Rightarrow q$: fałsz tylko w przypadku „prawda ⇒ fałsz"; w pozostałych prawda. Myśl o niej jak o obietnicy.
- $p \Leftrightarrow q$: prawda, gdy $p$ i $q$ mają tę samą wartość.
- De Morgan: $\lnot(p \land q) \Leftrightarrow \lnot p \lor \lnot q$ oraz $\lnot(p \lor q) \Leftrightarrow \lnot p \land \lnot q$.
🎒 Zadania
- Zbuduj tabelkę prawdy dla zdania $(\lnot p) \lor q$. Porównaj kolumnę wyniku z tabelką $p \Rightarrow q$, co zauważasz?
- Zaprzecz zdaniu „Jestem głodny i nie mam pieniędzy", stosując prawo De Morgana.
- Zdanie „Jeśli liczba dzieli się przez 6, to dzieli się przez 3" jest prawdziwe. Czy prawdziwa jest implikacja odwrotna? Podaj kontrprzykład, jeśli nie.
Rozwiązanie krok po kroku
1. Liczymy $(\lnot p)\lor q$ dla czterech kombinacji $p,q$:
- $1,1$: $\lnot 1 \lor 1 = 0\lor1 = 1$
- $1,0$: $0\lor0 = 0$
- $0,1$: $1\lor1 = 1$
- $0,0$: $1\lor0 = 1$
Kolumna wyniku: $1,0,1,1$; identyczna jak dla $p\Rightarrow q$. Wniosek: $p\Rightarrow q$ to to samo, co $\lnot p \lor q$.
2. Zdanie „jestem głodny i nie mam pieniędzy" ma postać $p \land q$. Prawo De Morgana: $\lnot(p\land q) = \lnot p \lor \lnot q$. Zatem zaprzeczenie: „nie jestem głodny lub mam pieniądze".
3. Odwrotna do „jeśli dzieli się przez $6$, to przez $3$" brzmi: „jeśli dzieli się przez $3$, to przez $6$"; fałsz. Kontrprzykład: $9$ dzieli się przez $3$, ale nie przez $6$. (Implikacja i jej odwrotna to dwie różne rzeczy.)
🔍 Sprawdź, czy umiesz
- wyznaczyć wartość zdania złożonego z tabelki prawdy;
- wyjaśnić, kiedy implikacja jest fałszem, i zaprzeczyć koniunkcji/alternatywie prawem De Morgana.