Aufgabe:
Zeigen Sie, dass es für jede Menge \( A \subseteq[6] \) drei (nicht notwendigerweise verschiedene) Zahlen \( x, y, z \in[6] \) gibt, sodass folgende Bedingungen gelten:
- \( x=y+z \)
- \( \{x, y, z\} \subseteq A \) oder \( \{x, y, z\} \subseteq \bar{A} \)
Hinweis: Verwenden Sie das Beispiel zum verallgemeinerten Schubfachschluss aus der Vorlesung, und definieren Sie sich eine geeignete, „Kennen"-Relation auf den Zahlen in [6]. Eine Aufzählung und Überprüfung aller Teilmengen von [6] wird nicht als Lösung akzeptiert.
Problem:
Wenn da steht A ist eine Teilmenge von [6]. Heist das alle zahlen von 1-6 oder wie ist das zu verstehen.
