The textbook is based on a course of logic taught at the Faculty of Philosophy of Leningrad University for several years. It highlights issues relating to general and symbolic logic.