Рассмотрены элементы логики классов, логики высказываний и логики предикатов, а также традиционная силлогистика. Кроме изложения теоретических проблем, каждый параграф содержит серию задач и методические пояснения к ним. Большое количество задач (свыше 1800), их различия по степени сложности дают возможность разнообразить задания студентам. В отличие от других учебников содержится материал для усвоения аналитико-табличного метода доказательства.
Для студентов гуманитарных специальностей вузов.
