ich habe ein Problem beim Beweis folgender Aussage:
¬(∀x mit V(x) gilt F(x)) ⇔ (∃x mit V(x); ¬F(x)) mit V(x) und F(x) sind Wahrheitswerte.
Mir ist schon klar das die Negation einer Allaussage zu einer Existenzaussage wird und umgekehrt.
Allerdings hab ich keinen Ansatz wie man so etwas zeigt. Wie könnte den eine Wahrheitstabelle dazu aussehen?
Ich wäre für jede Hilfe dankbar!
