147. Пусть A(x) — некоторое предложение. Преобразуй его с помощью кванторов общности и существования в высказывания. Построй отрицание получившихся высказываний, используя вместо символа ¬A(x) символ …

Условие обрезано справа: не виден символ, который требуется использовать вместо \(\neg A(x)\). Поэтому полностью оформить отрицания по условию фотографии невозможно.

Общий вид преобразований:

• Высказывание с квантором общности: \(\forall x\ A(x)\). Его отрицание: \(\exists x\ \neg A(x)\).
• Высказывание с квантором существования: \(\exists x\ A(x)\). Его отрицание: \(\forall x\ \neg A(x)\).

Для полного решения нужен обрезанный фрагмент задания справа.