Spis Treści

Przedmowa Rozdział I. Wstępne wiadomości z logistyki § 1. Zdania logiczne § 2. Funktory zdaniotwórcze § 3. Tautologie rachunku zdań logicznych § 4. Informacja o logikach wielowartościowych § 5. Funkcje zdaniowe § 6. Definiowanie przez deskrypt § 7. Kwantyfikatory § 8. Tautologie rachunku kwantyfikatorów § 9. Uwagi dotyczące aksjomatycznego ujęcia rachunku zdań i rachunku kwantyfikatorów Rozdzia1 II. Wstępne wiadomości z teorii mnogości § 1. Podstawy aksjomatyczne teorii mnogości § 2. O roli aksjomatu wyboru w matematyce § 3. Działania na zbiorach § 4. Algebra zbiorów § 5. Definicja pary. Iloczyn kartezjański Rozdział III. Ogólna teoria relacji dwuczłonowych § 1. Definicja relacji dwuczłonowej § 2. Złożenie relacji § 3. Relacja odwrotna § 4. Funkcje § 5. Relacje zwrotne, przeciwzwrotne, symetryczne, antysymetryczne, na wpół antysymetryczne, przechodnie i spójne Rozdział IV. Relacje równoważnościowe § 1. Relacje równoważnościowe i ich podstawowe własności § 2. Abstrakty § 3. Definiowanie przez abstrakcję § 4. Definiowanie przez reprezentację Rozdział V. Relacje porządkujące § 1. Porządek § 2. Pojęcia związane z porządkiem § 3. Uporządkowanie gęste, ciągłe, dobre. Zasada indukcji pozaskończonej § 4. Uogólnienia pojęcia porządku § 5. Sylogistyka Arystotelesa § 6. O teorii struktur Rozdział VI. Relacje wieloczłonowe § 1. Definicja, relacji wieloczłonowej § 2. Relacje jednoznaczne § 3. Działania i ich własności § 4. Działania odwrotne § 5. Podstawowe systemy algebraiczne § 6. Izomorfizm między relacjami Spis cytowanej literatury Skorowidz nazw