Здравей, Светомир,
Напълно си прав, предпоставката е валидна и в двете посоки, не е добре написано във формулировката на задачата. Би трябвало да бъде:
Задача 4.2 (теорема за генерализацията). (3 т.) Ако x ∈ FV[Γ], то Γ ⊢ ∀ x A тогава и само тогава когато Γ ⊢ A.
Обнових условията със задачи с тази поправка.
Поздрави,
Трифон