Упр.1212 ГДЗ Макарычев Миндюк 9 класс (Углубленный) (Алгебра)

Ниже вариант решения задания из учебника Макарычев, Миндюк, Нешков 9 класс, Просвещение:

1212. Запишите высказывания, которые можно получить из предиката a^2+2=(0,5)^(-2), добавив к нему:

а) квантор существования; б) квантор всеобщности.

Что можно сказать об их истинности?