Wyd. I


Wyd. II



Roman Murawski, Kazimierz Świrydowicz
Podstawy logiki i teorii mnogości
Wydawnictwo Naukowe UAM, Poznań, wydanie pierwsze 2006, wydanie drugie 2015
163 strony

Spis treści


Rozdział I. Elementy klasycznego rachunku zdań
        1.1. Wprowadzenie
        1.2. Język rachunku zdań; tautologie
        1.3. Schematy wnioskowań. Wnioskowania niezawodne
        1.4. Tautologie rachunku zdań
        1.5. Warunek dostateczny i konieczny
        1.6. Symbolika beznawiasowa
Zadania

Rozdział II. Funkcje logiczne
        2.1. Funkcje logiczne - podstawowe definicje
        2.2. KOniunkcyjna i alternatywna postać normalna
        2.3. Zupełne układy funkcji
Zadania

Rozdział III. System aksjomatyczny logiki klasycznej
        3.1. Logika klasyczna: syntaktyka
        3.2. Podstawowe twierdzenia logiki klasycznej
Zadania

Rozdział IV. Elementy rachunku predykatów
        4.1. Wprowadzenie
        4.2. Język rachunku predykatów
        4.3. Formułowanie wypowiedzi w języku rachunku predykatów
        4.4. Przykłady tautologii rachunku predykatów
        4.5. Kwantyfikatory o ograniczonym zakresie
        4.6. Kwantyfikatory ilościowe
        4.7. System aksjomatyczny rachunku predykatów
Zadania

Rozdział V. Podstawy teorii zbiorów
        5.1. Uwagi wstępne
        5.2. Zasada ekstensjonalności
        5.3. Relacja inkluzji. Zbiór pusty i zbiór potęgowy
        5.4. Działania na zbiorach
        5.5. Algebry Boole'a
Zadania

Rozdział VI. Relacje
        6.1. Wprowadzenie. Definicja relacji
        6.2. Relacje binarne i ich własności. Działania na relacjach binarnych
        6.3. Relacje równoważności
Zadania

Rozdział VII. Funkcje
        7.1. Definicja funkcji. Rodzaje funkcji
        7.2. Operacje na funkcjach
        7.3. Obrazy i przeciwobrazy oraz ich własności
Zadania

Rozdział VIII. Relacje porządkujące
        8.1. Rodzaje ralacji porządkujących
        8.2. Zbiory częściowo uporządkowane
        8.3. Zbiory dobrze uporządkowane
Zadania

Rozdział IX. Teoria mocy
        9.1. Wprowadzenie
        9.2. Liczby kardynalne. Twierdzenie Cantora-Bernsteina
        9.3. Zbiory przeliczalne
        9.4. Zbiory nieprzeliczalne
Zadania