Wybór zadań ułatwiających przyswojenie materiału z zakresu logiki formalnej, a zwłaszcza:


klasycznego rachunku zadań,
rachunku zbiorów i relacji.


Szesnaste już uzupełnione i rozszerzone wydanie zbioru ćwiczeń przeznaczonego dla słuchaczy studiów, mających w programie jedno- lub dwusemestralny kurs logiki jako dyscypliny pomocniczej. Zawiera serię nowych przykładów, których rozwiązywanie pomoże czytelnikowi w opanowaniu wiadomości, o jakie wzbogacono podręcznik Wprowadzenie do logiki formalnej.