Aufgabe:
Wir sollen folgende Tautologien beweisen und ich habe nicht den rechten Ansatz dafür
$$\neg \bigvee\limits_{x\, mit \,P(x)}\quad Q(x)\iff \bigvee\limits_{x\, mit \,P(x)}\quad \neg Q(x)$$
und
$$\neg \bigwedge\limits_{x\, mit \,P(x)}\quad Q(x)\iff \bigwedge\limits_{x\, mit \,P(x)}\quad \neg Q(x)$$Problem/Ansatz:
Kann mir hier jemand weiterhelfen?
Ich habe noch nicht mal ansatzweise eine Idee, wie ich hier ran gehen soll....
