ich soll den Satz
“Es gibt höchstens zwei natürliche Zahlen mit der Eigenschaft E”
formalisieren mittels Prädikatenlogik.
Dies habe ich wie folgt gemacht:
¬ (∃x,y,z (E(x) ∧ E(y) ∧ E(z) ∧ x ≠ y ∧ x ≠ z ∧ y ≠ z))
Meine Fragen:
1. Ist die Lösung korrekt?
2. Könnte ich stattdessen auch schreiben:
∃x,y,z ¬(E(x) ∧ E(y) ∧ E(z) ∧ x ≠ y ∧ x ≠ z ∧ y ≠ z)
Oder verändert das die Bedeutung?
3. Was den hinteren Teil betrifft (x ≠ y ∧ x ≠ z ∧ y ≠ z), der sicherstellen soll, dass es drei verschiedene Zahlen sind, kann ich auch so schreiben:
x ≠ y ≠ z