Основные логические методы в решении задач: примеры и применение