Punkte: 2.46K
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.
∃x ∀y , (A(x,y) ⇒ B(x,y))
Wäre echt super, wenn mir wer helfen könnte.