dobór zadań ułatwiających przyswojenie materiału z zakresu logiki formalnej, a zwłaszcza:konwencjonalnego rachunku zadań,rachunku zbiorów i relacji.Szesnaste już uzupełnione i rozszerzone wydanie zbioru ćwiczeń dedykowanego dla słuchaczy studiów, posiadających w programie jedno- lub dwusemestralny kurs logiki jako dyscypliny pomocniczej.
gromadzi kolekcję nowych przykładów, których rozwiązywanie pomoże czytelnikowi w opanowaniu wiadomości, o jakie wzbogacono podręcznik Wprowadzenie do logiki formalnej.Rozwiązywanie zebranych tu zadań wymaga wykorzystania podstawowych pojęć i metod elementarnej logiki formalnej.
Student osiągnie dzięki czemu umiejętność poręcznego wykorzystywania narzędzi formalnologicznych, co będzie pomocne w studiach nad wybraną dziedziną nauki, w przyszłej pracy badawczej czy pedagogicznej.Zbiór ma zdecydowane walory dydaktyczne:klarowne ujęcie materiału,stopniowanie trudności,wyjaśnianie pojęć logicznych,gromadzi wskazówki upraszczające rozwiązywanie zadań bardziej skomplikowanych,wykaz symboli logicznych i ich synonimów,indeks pojęć logicznych z odesłaniami do ich wyjaśnień i zastosowań,zestaw zadań kontrolnych z rozwiązaniami.Nowa edycja lepiej służy zrozumieniu miejsca logiki w teorii języka.
Jest wyjątkowo pomocna w studiowaniu logiki, bo umożliwia studentowi samodzielną i systematyczną kontrolę należycieści procesu uczenia się i jego wyników.Książka polecana studentom nauk humanistycznych i społecznych.