Strona główna › Liczby i działania › Logika — rachunek zdań

Logika — rachunek zdań

Rachunek zdań zajmuje się jedną rzeczą: jak z prawdziwości zdań składowych wynika prawdziwość zdania złożonego. Zdanie ma tu tylko dwie możliwe wartości, więc wszystkich przypadków jest garstka — i dlatego wszystko da się sprawdzić do końca, tabelką. To jedyny dział szkolnej matematyki, w którym „sprawdziłem wszystkie możliwości” znaczy dosłownie wszystkie.

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

1Czego wymaga podstawa, a czego nie

Materiał nadprogramowy — matura tego nie wymaga

Obowiązująca podstawa programowa dla liceum nie ma działu o logice ani o rachunku zdań. Sprawdziłem pełną listę trzynastu działów — od „Liczby rzeczywiste” po „Optymalizacja i rachunek różniczkowy” — takiego działu tam nie ma. Koniunkcja, alternatywa, implikacja, kwantyfikatory ani prawa de Morgana nie padają w żadnym punkcie.

Temat ten był w starszych programach nauczania i stąd bierze się jego obecność w wielu podręcznikach oraz zbiorach zadań. Jeśli trafisz na niego w starym zbiorze — to nie znaczy, że wypadł Ci z pamięci; on po prostu wypadł z podstawy.

Wniosek praktyczny: do matury tego nie potrzebujesz. Przydaje się natomiast do czytania treści zadań — zwrotów „wtedy i tylko wtedy”, „dla każdego”, „istnieje” — oraz w zadaniach na dowodzenie.

Jeśli uczysz się pod presją czasu, ten dział zostaw na koniec.

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

Zdanie w logice to wypowiedź, o której da się orzec, że jest prawdziwa albo fałszywa — i tylko jedno z tych dwóch. „Liczba $7$ jest pierwsza” jest zdaniem (prawdziwym). „Która godzina?” zdaniem nie jest.

Wartości oznacza się zwykle $1$ (prawda) i $0$ (fałsz), co jest wygodne, bo tabelki wyglądają wtedy jak rachunek.

Spójniki budują ze zdań prostych zdania złożone. Jest ich cztery plus zaprzeczenie:

nazwa	symbol	czyta się
negacja	$\neg p$	nieprawda, że $p$
koniunkcja	$p \wedge q$	$p$ i $q$
alternatywa	$p \vee q$	$p$ lub $q$
implikacja	$p \Rightarrow q$	jeśli $p$ , to $q$
równoważność	$p \Leftrightarrow q$	$p$ wtedy i tylko wtedy, gdy $q$

2Tabelki prawdy — komplet przypadków

Dwa zdania dają cztery możliwe układy wartości. Poniższa tabela jest więc kompletna — nie ma piątego przypadku do sprawdzenia.

$p$	$q$	$p \wedge q$	$p \vee q$	$p \Rightarrow q$	$p \Leftrightarrow q$
$1$	$1$	$1$	$1$	$1$	$1$
$1$	$0$	$0$	$1$	$\textcolor{#E0453A}{0}$	$0$
$0$	$1$	$0$	$1$	$1$	$0$
$0$	$0$	$0$	$0$	$1$	$1$

Koniunkcja jest prawdziwa tylko wtedy, gdy oba zdania są prawdziwe — jak łańcuch, który zrywa się przy pierwszym słabym ogniwie.

Alternatywa jest fałszywa tylko wtedy, gdy oba są fałszywe. Uwaga: to „lub” nie wyklucza obu naraz — inaczej niż w potocznej polszczyźnie („kawa lub herbata” zwykle znaczy jedno z dwóch).

Implikacja jest fałszywa dokładnie w jednym z czterech przypadków — sprawdziłem to na komplecie: gdy $p$ jest prawdziwe, a $q$ fałszywe.

Z fałszu wynika wszystko

Dwa ostatnie wiersze tabeli zaskakują: implikacja o fałszywym poprzedniku jest prawdziwa, niezależnie od następnika. Sprawdziłem oba przypadki — i „fałsz ⇒ prawda”, i „fałsz ⇒ fałsz” wychodzą prawdziwe.

Sens tego widać na obietnicy: „jeśli zdam maturę, postawię ciastko”. Jeśli nie zdam, obietnicy nie złamałem — niezależnie od tego, czy ciastko postawię. Kłamstwem byłoby tylko: zdać i nie postawić.

To dlatego implikacja fałszywa jest tylko w wierszu $1 \Rightarrow 0$ .

Równoważność jest prawdziwa, gdy oba zdania mają tę samą wartość — obojętne, czy oba prawdziwe, czy oba fałszywe.

Tabelki prawdy najsprawniej ćwiczy się na zdaniach o podzielności, parzystości i nierównościach, czyli na materiale ze szkolnej arytmetyki.

Tabelka prawdy dla koniunkcji, alternatywy, implikacji i równoważności zdań p i q (1 — prawda, 0 — fałsz); implikacja jest fałszywa tylko w przypadku 1 ⇒ 0 — Tabelka prawdy — koniunkcja, alternatywa, implikacja, równoważność

3Zaprzeczanie — tu ginie najwięcej

Zaprzeczanie zdania złożonego nie polega na dopisaniu „nieprawda, że” i zostawieniu reszty. Spójnik też się zmienia.

Prawa de Morgana mówią jak:

\neg(p \wedge q) = \neg p \vee \neg q \qquad\qquad \neg(p \vee q) = \neg p \wedge \neg q

Sprawdziłem oba na wszystkich czterech układach wartości — zgodność w każdym, bez wyjątku.

Po polsku: zaprzeczenie „ $p$ i $q$ ” to „nie $p$ lub nie $q$ ”. Zaprzeczeniem zdania „mam czas i pieniądze” jest „nie mam czasu lub nie mam pieniędzy” — wystarczy, że brakuje jednej rzeczy.

Zaprzeczenie implikacji NIE jest implikacją

To najczęstszy błąd w całym dziale. Zaprzeczeniem $p \Rightarrow q$ jest koniunkcja:

$\neg(p \Rightarrow q) = p \wedge \neg q$

Sprawdziłem na komplecie czterech przypadków — zgadza się wszędzie. Zaprzeczeniem zdania „jeśli pada, to biorę parasol” jest więc „pada i nie biorę parasola”, a nie „jeśli nie pada, to nie biorę”.

Ten błędny wariant $\neg p \Rightarrow \neg q$ różni się od poprawnego w dwóch z czterech przypadków — czyli w połowie. To nie drobiazg.

Kontrapozycja to co innego niż zaprzeczenie i jest prawdziwa: $p \Rightarrow q$ znaczy dokładnie to samo co $\neg q \Rightarrow \neg p$ . Sprawdzone na komplecie przypadków. „Jeśli pada, biorę parasol” = „jeśli nie biorę parasola, to nie pada”.

Zaprzeczanie zdań złożonych z przykładami: ¬(p ∧ q) ⟺ ¬p ∨ ¬q, ¬(p ∨ q) ⟺ ¬p ∧ ¬q, ¬(p ⇒ q) ⟺ p ∧ ¬q oraz zaprzeczenie „dla każdego” to „istnieje” — Jak zaprzeczyć zdaniu złożonemu — prawa de Morgana i kwantyfikatory

4Prawa rachunku zdań

Wszystkie poniższe sprawdziłem na komplecie układów wartości — dwa przy jednym zdaniu, cztery przy dwóch, osiem przy trzech. Nie ma tu miejsca na „sprawdziłem kilka przykładów”.

prawo	zapis	sprawdzone
przemienność koniunkcji	$p \wedge q = q \wedge p$	4/4
przemienność alternatywy	$p \vee q = q \vee p$	4/4
podwójna negacja	$\neg(\neg p) = p$	2/2
wyłączonego środka	$p \vee \neg p$ — zawsze prawda	2/2
sprzeczności	$\neg(p \wedge \neg p)$ — zawsze prawda	2/2
implikacja przez alternatywę	$p \Rightarrow q = \neg p \vee q$	4/4
kontrapozycja	$p \Rightarrow q = \neg q \Rightarrow \neg p$	4/4
rozdzielność ∧ względem ∨	$p \wedge (q \vee r) = (p \wedge q) \vee (p \wedge r)$	8/8
rozdzielność ∨ względem ∧	$p \vee (q \wedge r) = (p \vee q) \wedge (p \vee r)$	8/8

Dwa ostatnie wiersze warto porównać z arytmetyką. Pierwsza rozdzielność ma znany odpowiednik: mnożenie rozdziela się względem dodawania, tak jak przy mnożeniu wyrażeń algebraicznych.

Druga nie ma odpowiednika w liczbach. Nie jest prawdą, że $a + (b \cdot c) = (a+b)(a+c)$ — sprawdziłem: dla $a=2$ , $b=3$ , $c=4$ lewa strona daje $\textcolor{#16A06A}{14}$ , a prawa $\textcolor{#E0453A}{30}$ . W logice analogiczne prawo zachodzi i to jedna z rzeczy, które odróżniają rachunek zdań od rachunku liczb.

Gdzie to widać poza logiką

Prawa de Morgana wracają przy zbiorach: zaprzeczenie odpowiada dopełnieniu, koniunkcja części wspólnej, a alternatywa sumie. Opisuję działania na zbiorach osobno.

Kontrapozycja jest podstawą dowodu nie wprost — zamiast dowodzić $p \Rightarrow q$ , dowodzi się $\neg q \Rightarrow \neg p$ .

Zwrot „wtedy i tylko wtedy” w treści zadania to równoważność: trzeba wykazać obie implikacje, nie jedną.

5Przykłady krok po kroku

Trzy zadania: wartość zdania złożonego, zaprzeczenie implikacji i sprawdzenie prawa tabelką.

Przykład 1 Wartość zdania złożonego

Niech $p$ : „liczba $6$ jest parzysta”, $q$ : „liczba $6$ jest pierwsza”. Oceń wartość logiczną zdań: $p \wedge q$ , $p \vee q$ , $p \Rightarrow q$ oraz $q \Rightarrow p$ .

Ustalam wartości zdań prostych. Szóstka dzieli się przez $2$ , więc $p$ jest prawdziwe ( $\textcolor{#16A06A}{1}$ ).
Szóstka ma dzielniki $1, 2, 3, 6$ , czyli więcej niż dwa — nie jest pierwsza, więc $q$ jest fałszywe ( $\textcolor{#16A06A}{0}$ ).
$p \wedge q$ : koniunkcja wymaga obu prawdziwych, a $q$ jest fałszywe → $\textcolor{#E0453A}{0}$ , zdanie fałszywe.
$p \vee q$ : alternatywie wystarczy jedno prawdziwe, a $p$ takie jest → $\textcolor{#E0453A}{1}$ , zdanie prawdziwe.
$p \Rightarrow q$ : poprzednik prawdziwy, następnik fałszywy — to jedyny układ dający fałsz → $\textcolor{#E0453A}{0}$ .
$q \Rightarrow p$ : poprzednik fałszywy, więc implikacja jest prawdziwa niezależnie od następnika → $\textcolor{#E0453A}{1}$ .
Kontrola: dwie ostatnie odpowiedzi są różne, choć zdania różnią się tylko kolejnością ✓ — implikacja nie jest przemienna.

Odpowiedź: $p \wedge q$ — fałsz; $p \vee q$ — prawda; $p \Rightarrow q$ — fałsz; $q \Rightarrow p$ — prawda.

Ostatnia para jest sednem zadania: zamiana stron w implikacji zmienia wartość zdania. Koniunkcja i alternatywa są przemienne, implikacja nie — i to najczęściej sprawdzana rzecz w zadaniach typu prawda–fałsz.

Przykład 2 Zaprzeczenie zdania z implikacją

Zaprzecz zdaniu: „Jeśli liczba jest podzielna przez $6$ , to jest podzielna przez $3$ ”.

Rozpoznaję budowę: to implikacja $p \Rightarrow q$ , gdzie $p$ : „podzielna przez $\textcolor{#16A06A}{6}$ ”, $q$ : „podzielna przez $\textcolor{#16A06A}{3}$ ”.
Korzystam z prawa: $\neg(p \Rightarrow q) = p \wedge \neg q$ . Zaprzeczenie implikacji jest koniunkcją, nie implikacją.
Zatem zaprzeczeniem jest: „liczba jest podzielna przez $\textcolor{#E0453A}{6}$ i nie jest podzielna przez $\textcolor{#E0453A}{3}$ ”.
Kontrola sensu: zdanie wyjściowe jest prawdziwe (każda wielokrotność sześciu dzieli się przez trzy), więc jego zaprzeczenie musi być fałszywe.
Sprawdzam: czy istnieje liczba podzielna przez $6$ i niepodzielna przez $3$ ? Nie istnieje, bo $6 = \textcolor{#16A06A}{2} \cdot \textcolor{#16A06A}{3}$ ✓ — zaprzeczenie jest fałszywe, jak być powinno.
Kontrola błędnej wersji: „jeśli nie jest podzielna przez $6$ , to nie jest podzielna przez $3$ ” — to zdanie jest fałszywe dla liczby $\textcolor{#2F80D8}{9}$ , ale nie jest zaprzeczeniem wyjściowego.

Odpowiedź: „Liczba jest podzielna przez $6$ i nie jest podzielna przez $3$ ”.

Kontrola przez sens jest tu najmocniejsza: prawdziwe zdanie musi mieć fałszywe zaprzeczenie. Jeśli po zaprzeczeniu wychodzi coś, co też brzmi prawdziwie, zaprzeczenie zostało zrobione źle.

Przykład 3 Sprawdzenie prawa tabelką

Sprawdź, czy zdanie $\neg(p \wedge q) \Leftrightarrow (\neg p \vee \neg q)$ jest prawdziwe dla dowolnych zdań $p$ i $q$ .

Dwa zdania proste dają $\textcolor{#16A06A}{4}$ układy wartości — buduję tabelkę i sprawdzam wszystkie.
Dla $p=1$ , $q=1$ : lewa strona $\neg(1 \wedge 1) = \neg 1 = \textcolor{#2F80D8}{0}$ ; prawa $0 \vee 0 = \textcolor{#2F80D8}{0}$ — zgodne.
Dla $p=1$ , $q=0$ : lewa $\neg(1 \wedge 0) = \neg 0 = \textcolor{#2F80D8}{1}$ ; prawa $0 \vee 1 = \textcolor{#2F80D8}{1}$ — zgodne.
Dla $p=0$ , $q=1$ : lewa $\neg 0 = \textcolor{#2F80D8}{1}$ ; prawa $1 \vee 0 = \textcolor{#2F80D8}{1}$ — zgodne.
Dla $p=0$ , $q=0$ : lewa $\neg 0 = \textcolor{#2F80D8}{1}$ ; prawa $1 \vee 1 = \textcolor{#2F80D8}{1}$ — zgodne.
Obie strony mają tę samą wartość we wszystkich czterech przypadkach, więc równoważność jest prawdziwa zawsze — to prawo de Morgana ✓
Przeliczyłem to programowo na komplecie układów: $0$ niezgodności na $4$ sprawdzenia.

Odpowiedź: Zdanie jest prawdziwe dla dowolnych $p$ i $q$ — to pierwsze prawo de Morgana.

Zdanie prawdziwe przy każdym układzie wartości nazywa się tautologią. W tym dziale dowód tautologii jest zawsze skończony i zawsze wykonalny — wystarczy wypisać wszystkie wiersze, których przy $n$ zdaniach jest $2^n$ .

6Najczęstsze błędy

Pierwszy błąd jest najpoważniejszy i różni się od poprawnej odpowiedzi w połowie przypadków.

Zaprzeczanie implikacji przez zaprzeczenie obu stron

Skąd się bierze: Zapis $\textcolor{#9b1c14}{\neg p \Rightarrow \neg q}$ nie jest zaprzeczeniem $p \Rightarrow q$ — poprawne zaprzeczenie to koniunkcja $p \wedge \neg q$ . Sprawdziłem oba na komplecie czterech układów: różnią się w dwóch, czyli w połowie przypadków.

Jak zrobić dobrze: Zapamiętaj jednym zdaniem: zaprzeczeniem „jeśli $p$ , to $q$ ” jest „ $p$ i nie $q$ ” — czyli opis sytuacji, w której obietnica została złamana.

Zaprzeczanie koniunkcji bez zamiany spójnika

Skąd się bierze: Zapis $\textcolor{#9b1c14}{\neg p \wedge \neg q}$ jako zaprzeczenie $p \wedge q$ jest za mocny — wymaga fałszywości obu zdań, a do zaprzeczenia koniunkcji wystarczy fałszywość jednego. Prawo de Morgana zamienia tu „i” na „lub”.

Jak zrobić dobrze: Przy zaprzeczaniu zawsze zamieniaj spójnik: „i” na „lub” i odwrotnie. Kontrola tabelką zajmuje cztery wiersze.

Czytanie „lub” jako wykluczającego

Skąd się bierze: W potocznej polszczyźnie „kawa lub herbata” zwykle znaczy jedno z dwóch. W logice alternatywa jest prawdziwa także wtedy, gdy oba zdania są prawdziwe — fałszywa jest tylko przy obu fałszywych.

Jak zrobić dobrze: Czytaj $p \vee q$ jako „przynajmniej jedno z nich”. Wykluczające „albo” to osobny spójnik i w szkolnych zadaniach prawie się nie pojawia.

Mylenie kontrapozycji z zaprzeczeniem

Skąd się bierze: Kontrapozycja $\neg q \Rightarrow \neg p$ jest równoważna zdaniu wyjściowemu — ma tę samą wartość we wszystkich czterech przypadkach. Zaprzeczenie ma wartość przeciwną. To dwie różne operacje, a wyglądają podobnie.

Jak zrobić dobrze: Sprawdź kierunek: kontrapozycja odwraca strony i zaprzecza obie; zaprzeczenie zostawia kolejność i zmienia spójnik na koniunkcję.

Sprawdź się na kartce

Wszystko na tej stronie zostaje darmowe. Gotowe kartkówki, sprawdziany i karty pracy z matematyki PDF z kluczem: przy kartkówkach grupa A za darmo, pozostałe grupy w sklepie.

Materiał PDF · sklep

Liczby rzeczywiste — test, liceum, klasa 1

Potęgi, pierwiastki, logarytmy, procenty — test z działu.

3,90 zł (grupy B, C, D i E)

Grupa A za darmo, bez logowania →Zobacz w sklepie →

Materiał PDF · sklep

10 minut do matury — matematyka podstawowa: 30 dni, PDF z kluczem

30 dni powtórki do matury podstawowej z matematyki: codziennie jedna kartka na 10 minut — 5 zadań zamkniętych w formacie…

14,90 zł

Zobacz w sklepie →

Pakiet PDF · sklep

Szkoła podstawowa 4–8: wszystkie sprawdziany i kartkówki (5 klas)

Komplet dla szkoły i nauczyciela uczącego w kilku klasach: wszystkie kartkówki i sprawdziany z matematyki dla klas 4, 5, 6, 7 i 8…

399,00 zł (grupy B, C, D i E)

Grupa A za darmo, bez logowania →Zobacz w sklepie →

Wszystkie materiały z matematyki →

7Pytania i odpowiedzi

Czy logika jest potrzebna do matury?

Obowiązująca podstawa programowa dla liceum nie ma działu o rachunku zdań. Temat bywa jednak w starszych podręcznikach i przydaje się przy czytaniu treści zadań oraz w dowodach.

Kiedy implikacja jest fałszywa?

Tylko w jednym przypadku na cztery: gdy poprzednik jest prawdziwy, a następnik fałszywy. We wszystkich pozostałych układach, w tym przy fałszywym poprzedniku, implikacja jest prawdziwa.

Jak zaprzeczyć zdaniu z implikacją?

Zaprzeczeniem jest koniunkcja poprzednika i zaprzeczonego następnika, a nie kolejna implikacja. Opisuje ona dokładnie tę sytuację, w której zapowiedź została złamana.

Co mówią prawa de Morgana?

Że przy zaprzeczaniu zdania złożonego spójnik zmienia się na przeciwny, a oba składniki zostają zaprzeczone. Koniunkcja przechodzi w alternatywę, a alternatywa w koniunkcję.

Czym różni się kontrapozycja od zaprzeczenia?

Kontrapozycja jest równoważna zdaniu wyjściowemu, więc ma zawsze tę samą wartość logiczną. Zaprzeczenie ma wartość przeciwną, więc te dwie operacje dają zupełnie różne zdania.

Co to jest tautologia?

Zdanie prawdziwe przy każdym możliwym układzie wartości zdań składowych. Sprawdza się je tabelką, bo liczba przypadków jest skończona i wynosi dwa do potęgi równej liczbie zdań prostych.

Czytaj dalej

ZbioryPrawa de Morgana w wersji dla sumy i części wspólnej Zadania dowodoweKontrapozycja jako podstawa dowodu nie wprost Mnożenie wyrażeńRozdzielność, która ma odpowiednik w arytmetyce Cechy podzielnościŹródło przykładów do zdań o liczbach Zagadki logicznePięć klasycznych zagadek i trzy metody, które je otwierają KwantyfikatoryKwantyfikator ogólny i szczegółowy, zaprzeczanie zdań z kwantyfikatorem oraz…

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ć”.