0 Daumen
563 Aufrufe

wie negiert man solche Aussagen ?

\( \neg(\forall x \forall y: A(x, y))=?\)

Avatar von

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 :)                                                                             .

1 Antwort

0 Daumen

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.

Avatar von 105 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community