Zawiera: Wstęp. Rozdział I - Kategorie syntaktyczne. Zadania. Rozdział II - Nazwy. 1. Podziały nazw. 2. Stosunki zakresowe nazw. Zadania. Rozdział III – Definicje. 1. Podział definicji ze względu na ich budowę. 2. Podział definicji ze względu na ich odniesienie (sposób wysłowienia). 3. Podział definicji ze względu na stawiane im zadania. 4. Błędy w definiowaniu. Zadanie. Rozdział IV – Rachunek zdań. 1. Podstawowe pojęcia rachunku zdań. 2. Badanie tautologiczności funkcji logicznych. 3. Przekształcanie funkcji logicznych. 4. Wnioskowania wyrażone w języku naturalnym. 4.1. Wnioskowania wyrażone w postaci „pełnej”. 4.2. Ustalanie wniosku wynikającego logicznie z przesłanki. Zadania. Rozdział V – Relacje. 1. Podstawowe pojęcia. 2. Stosunku między dziedziną a przeciwdziedziną relacji. 3. Przyporządkowania w relacjach. 4. Własności relacji. 4.1. Symetryczność relacji. 4.2. Tranzytywność (przechodniość) relacji. 4.3. Zwrotność (refleksyjność) relacji. 4.4. Spójność relacji. 5. Relacje złożone. Przykłady relacji. 5.1. Relacja porządkująca. 5.2. Relacja równościowa (ekwiwalentna, równoważnościowa). 5.3. Podział logiczny, partycja i topologia. 5.4. Stosunki zakresowe i funktory prawdziwościowe jako relacje. Zadania. Rozdział VI – Rachunek predykatów (rachunek kwantyfikatorów). 1. Podstawowe pojęcia. 2. Przedstawianie struktury wewnętrznej zdań w języku rachunku predykatów. 3. Znajdowanie przykładów zdań w języku naturalnym, których struktura odpowiada podanemu schematowi zapisanemu w języku rachunku predykatów. 4. Zamiana występującego w schemacie kwantyfikatora szczegółowego na kwantyfikator ogólny względnie zamiana występującego w schemacie kwantyfikatora ogólnego na kwantyfikator szczególny. Zadania. Rozdział VII – Rachunek nazw. 1. Zdania kategoryczne. 1.1. Podstawowe pojęcia rachunku nazw. 1.2. Związki logiczne pomiędzy zdaniami kategorycznymi. 1.3. Przekształcanie zdań kategorycznych. 2. Sylogizm kategoryczny. 2.1. Pojęcie sylogizmu kategorycznego. 2.2. Badanie poprawności trybów sylogistycznych. 2.3. Ustalanie wniosku wynikającego logicznie z przesłanek sylogizmu. Zadania. Rozdział VIII – Wypowiedzi modalne. Zadania. Odpowiedzi do zadań. Skorowidz .