Исчисление предикатов: Загвоздка с преобразованием

[alexei2011]

на вложенной картинке формула исчисления предикатов
преобразовываю ее в нормальную форму
проблема возникла в том, что в кванторе существования игрека предикат от икса и не пойму как тут нужно поступать
вроде как эту A(x) можно вынести за квантор существования, но что с ней дальше делать не знаю

в учебниках таких ситуаций не нашел

[img][IMG]http://saveimg.ru/pictures/11-02-12/cf022920e26cb33cd4d1541aea456c07.jpg[/img][/img]

[Sonic86]

Используйте для набора формул тег math: topic183.html А то картинки нет даже по ссылке.

[Toucan]

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

Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

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