wie negiert man solche Aussagen ?
\( \neg(\forall x \forall y: A(x, y))=?\)
Die Aussage ist gleichbedeutend mit:
$$ \forall x : (\forall y : A(x,y) ) $$
\( \exists \times \exists y: \neg A(x, y) \)
ist es so korrekt?
Ja :) .
Man negiert eine Formel indem man ein ¬ am Anfang der Formel hinzufügt.
In deinem Fall kann man auch das ¬ am Anfang entfernen, weil ¬¬φ äquivalent zu φ ist.
