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