Использование понятий логическое выведение умозаключений экспериментальное подтверждение