Negieren Sie die folgende Aussage, wobei keine Negation für Quantoren verwendet werden soll.
Beachten Sie dabei die allgemeinen Regeln der Aussagenlogik:
¬∀x∶φ(x) ⇐⇒ ∃x∶¬φ(x) und ¬∃x∶φ(x) ⇐⇒ ∀x∶¬φ(x).
Sei L eine Menge und n ∈ N eine natürliche Zahl (Sie können im Allgemeinen davon ausgehen, dass N = {0,1,2,3,4,...} gilt)
Negieren Sie
Für alle Elemente a ∈ L mit a ≤ n−2, existieren b,c,d ∈ N mit a = b+c+d, b ≤ 3 und d+c ≥ 1, so dass für alle i ≥ 0 gilt, dass b+(i⋅c)+d ∈ L.
