The tutorial describes the basic concepts and information of the theory of finite sets with elements of the theory of binary relations and correspondences, as well as methods for solving logical problems. Methods are considered: Euler circles, using graphs and tables, enumeration of assumptions about truth, choice of strategy, etc.; tasks: tournament, weighing, transfusion...