Kurs „Logika i zbiory” to przystępny wstęp do rachunku zdań i rachunku zbiorów. Najpierw porządkujemy język logiki: co jest zdaniem logicznym, a co nim nie jest, i skąd biorą się typowe nieporozumienia. Następnie przechodzimy do działań na zbiorach, wspierając się przykładami ze świata liczb, geometrii oraz codziennych sytuacji. Na koniec pokazujemy, jak oba obszary łączą się i jak twierdzenia o zbiorach wynikają z twierdzeń logiki.

Język logiki: od podstaw

Zaczynamy od porządnego ułożenia pojęć. Wyjaśniamy, czym jest zdanie logiczne, a które wypowiedzi nie spełniają tego kryterium. Sprawa nie jest oczywista, bo w języku potocznym słowo „logiczne” bywa używane intuicyjnie i nieprecyzyjnie. Kurs porządkuje ten obszar, pokazując jasny sposób rozpoznawania poprawnych zdań logicznych i nazywania ich elementów. Dzięki temu dalsze tematy stają się klarowne, a pojęcia przestają się mylić już na starcie.

Operacje, formy i tautologie

Po zbudowaniu wspólnego języka przechodzimy do działań na zdaniach logicznych prostych. Krok po kroku uczymy się, jak łączyć i przekształcać zdania zgodnie z regułami rachunku zdań. W tym kontekście wprowadzamy pojęcie tautologii, czyli zdania prawdziwego ze względu na swoją budowę, oraz omawiamy formy zdaniowe. Uporządkowanie tych elementów pozwala czytelniej formułować rozumowania i świadomie unikać błędów wynikających z potocznych skojarzeń.

Budowa twierdzeń matematycznych

Osobny blok poświęcony jest budowie twierdzeń matematycznych. Zwracamy uwagę na to, jak twierdzenia są konstruowane i jak je czytać, aby rozumieć ich sens. Jasno oddzielamy pojęcia i wskazujemy, co wchodzi w skład twierdzenia oraz jak formułować stwierdzenia poprawne pod względem logicznym. Taka perspektywa pomaga później sprawniej korzystać z twierdzeń w zadaniach i mieć pewność, że operujemy na właściwych przesłankach.

Zbiory w praktyce

Druga część kursu to rachunek zbiorów. Omawiamy działania na zbiorach i ilustrujemy je licznymi przykładami: ze świata liczb, z geometrii oraz z życia codziennego. Dzięki temu abstrakcyjne pojęcia nabierają konkretnego znaczenia i łatwiej je zapamiętać. Praktyczne podejście pomaga utrwalić podstawy, tak aby zapis działań na zbiorach był czytelny, a interpretacja — intuicyjna i spójna z wcześniejszym rozumieniem logiki.

Połączenie: zdania i zbiory

Na koniec łączymy oba światy. Pokazujemy związki między rachunkiem zdań i rachunkiem zbiorów — to w istocie dwa języki zapisu opisujące te same idee z różnych stron. Dzięki temu widać, że wiele właściwości zbiorów ma swoje odzwierciedlenie w twierdzeniach logiki. W praktyce oznacza to, że twierdzenia o zbiorach można często uzasadniać, odwołując się do wyników rachunku zdań, co porządkuje myślenie i nadaje mu przejrzystą strukturę.