Логические опровержения: основные методы и примеры