Проверить правильность рассуждения в логике предикатов.

[d1mis]

Помогите разобраться?

Любой знакочередующийся ряд, удовлетворяющий условиям признака Лейбница, сходится и его общий член стремится к нулю. Не для всякого ряда верно, что его общий член стремится к нулю или он расходится. Следовательно, существует сходящийся ряд, не удовлетворяющий условиям признака Лейбница.