Навешивание кванторов на предикат

[LexArt]

Помогите разобраться с навешиванием кванторов на предикат. Сколько ни читал, ничего не понял.

[Toucan]

Тема перемещена в Карантин.

Чтобы оттуда выбраться

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.

2. Приведите свои попытки решения задачи и объясните, что конкретно вызывает затруднения.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.