1) Формула читается так: существуют такие x, которые находятся в пересечении множеств A(x), B(x) и C(x).
Иначе говоря, пересечение A(x), B(x), C(x) - не пустое.
Отрицание: для любых x пересечение A(x), B(x), C(x) - пустое множество.
A (здесь перевернутое А, т.е. квантор общности) x (A(x) /\ B(x) /\ C(x) = Ø)
2) Формула читается так: для любого x если верно A(x), то при любых y
B(y) верно.
Отрицание: существуют x, что если верно A(x), то существуют такие y, что
B(y) не верно.
Ǝ x (A(x) -> Ǝy ~B(y))
Мне кажется так, хотя я не уверен.