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 ∈ N mit a = b+c und b ≤ 3.
