Логічний формалізм розглядається як інструмент для формулювання та розв’язання змістовних задач. У книзі аналізуються два його аспекти: семантичний — визначення можливості виконання логічних функцій — та синтаксичний — побудова висновків у логічному обчисленні. Основна мета видання — виділити так звані локальні задачі, які характеризуються простими процедурами як для визначення можливості виконання, так і для побудови висновків. Для опису цих класів задач вводиться матричне представлення логічних формул і операції над матрицями. Таке уявлення дозволяє побачити суттєві властивості логічних формул, які при традиційному підході залишаються непоміченими. Книга може бути корисною як навчальний посібник з дисциплін: дискретна математика, інформаційне моделювання, штучний інтелект і проектування експертних систем.