Логика и круги Эйлера: объяснение понятий