Aufgabe:
\( ∀x\in\mathbb{R}∀y\in\mathbb{R}: y=x^{2} \)
\( ∀x\in\mathbb{R}\exists y\in\mathbb{R}: y=x^{2} \)
Problem/Ansatz:
Bei der ersten Aussage verstehe ich, dass ich den Allquantor durch ein Gegenbeispiel beweisen kann (soweit so gut), jedoch fällt es mir schwer bei Kombinationen mit Allquantor und Existenzquantor die Aussage zu beweisen und wollte fragen, ob ihr irgendwelche Tipps und Tricks habt, leichter auf das Ergebnis zu kommen.Die Beispiele sind hier aus der VL entnommen.