Logical formalism is considered as a tool for formulating and solving meaningful problems. Two aspects of it are analyzed: semantic - the establishment of the feasibility of logical functions - and syntactic - the construction of conclusions in logical calculus. The main task of the book is to highlight the so-called local tasks, which are characterized by simple procedures for both establishing feasibility and drawing conclusions.