mir ist da was unklar in der Prädikatenlogik.
Angenommen, x und y seien natürliche Zahlen, dann ist folgende Aussage, soweit ich alles verstanden habe, wahr:
∀x :∃y : y>x (1)
In meinen Übungsblättern habe ich noch weitere Aufgaben gesehen, in denen der Doppelpunkt zwischen den beiden Quantoren fehlt. Z.B.:
∀x∃y : y>x (2)
Meine Frage ist daher ob die Aussagen 1 und 2 identisch sind. Falls die beiden Aussagen nicht identisch sind, wie würde dann die Verneinung der jeweiligen Aussagen ausehen?
Danke und Gruß
