… Prädikatenlogik:
A.) Für alle ε > 0 gibt es eine natürliche Zahl n0, sodass |an − a| ≤ ε für alle
n ∈ N,n ≥ n0.
B.) Es gibt ein ε>0, sodass für alle n0 ∈N ein n∈N mit |an−a|>ε gibt.
Kann mir vllt jemand bei dem formulieren dieser 2 Aussagen helfen??
ich hab es mal versucht jedoch bin ich mir extrem unsicher 
zu A.)
G= natürliche Zahlen ε>0
∀n0∈N En∈N ( |an−a|>ε)
moin;
du möchtest also einfach nur eine Aussage in Prädikatenlogik? Oder soll die dann normiert sein?
Zur Lösung: du hast die beiden Quantoren „für alle…“ sowie „existiert…“ bzw. „existiert genau ein …“. Es gibt ist mit der Existenz gleichzusetzen.
Das sodass, das eigentlich einer Implikation entspricht, wird meistens mit einem simplen : ausgedrückt.
So, und jetzt mal ernsthaft versuchen: Wie wäre es mit einem Vorschlag, indem du einfach die Wörter in die Quantoren „übersetzt“?
mfG
A wird zu:
Für alle x aus R gilt:
(nicht (x \> 0)) oder:
Es gibt ein y aus N für das gilt:
Für alle z aus N gilt:
(nicht (z \> y)) oder:
Für alle a aus R gilt:
|a\*z - a|
(nur eben in Richtiger Schreibweise)