a)
Es gibt natürliche Zahlen, für die es keine echt größere Primzahl gibt
b) P sei die Menge aller Primzahlen
\(\forall n \in \mathbb{N} \ \exists p \in P : p>n \\ \\ \exists n\in \mathbb{N} \ \forall p \in P : p \leq n\)
Wenn du Aussagen mit Quantoren schreibst, benutzt du ja "Für alle" und "es gibt".
In Aussage 1 ist demnach der erste ein "für alle", und für alle soll dann eine Primzahl p existieren, also "es gibt".
Wenn die Aussage negiert wird, drehen sich die Quantoren um und die Aussage, die für die (hier) n,p gilt, dreht sich auch um.
Dann ist die Negation genau "es existiert eine natürliche Zahl, sodass alle Primzahlen kleiner oder gleich n sind.
(Kleinergleich, da ja kein p existieren soll, das größer ist. Gleich wäre akzeptabel)
Ich hoffe, das war nachvollziehbar.