Verneinung zu Aussage bilden

Question

Aufgabe:

Für folgende Aussage muss eine Verneinung gebildet werden.
∃x ∀y , (A(x,y) ⇒ B(x,y)) 


Problem/Ansatz:

Hallo, ich hab hier ein Beispiel für welches ich eine Verneinung bilden muss. Kann mir vielleicht jemand erklären wie ich bei Ausdrücken wie hier oben eine passende Verneinung bilde. Wäre echt super.

Danke!

Answer 1

∀x ∃y, ¬(A(x,y) ⇒ B(x,y))

Normal musst du vorne nur ∃ zu∀ Und ∀ zu ∃ tauschen und den Rest dann einfach mit dem „Negativ Zeichen“ (¬) davor abschreiben.

Ich hoffe das stimmt und hilft dir weiter :)

Answer 2

vgl:

https://www.matheboard.de/thread.php?postid=2205334#post2205334