Мат. логика

[Olga]

Пожалуйста, помогите решить следующее задание!!!!!

Найти отрицание формул ( тема "логика предикатов")

1) "для любого(квантор всеобщности)"x"существует(квантор существования)"у(F(x,y)импликацияG(x,y))
2) "существует(квантор существования)"х(A(x)конъюнкцияB(x)конъюнкция C(x))
3)"для любого(квантор всеобщности)"x(A(x)импликация "для любого(квантор всеобщности)" y B(y))

[gris]

То есть надо раскрыть скобки?

1. $\neg(\forall x\exists y(F(x,y)\to G(x,y)))$

2. $\neg( \exists x (A(x,y) \wedge B(x,y) \wedge C(x,y)))$

3. $\neg( \forall x A(x,y)\to \forall y B(x,y))$

[Olga]

да, так чтобы получилось отдельно все.

[AKM]

Тема перемещена из "Помогите решить (М)" в карантин. В теме Что такое карантин, и что нужно делать, чтобы там оказаться также описано, как исправлять ситуацию.