Das ist doch logisch! So sagt man, wenn man etwas Gewisses zum Ausdruck bringen will. Auch in der Mathematik gibt es solche Einsichten, die keiner Erklärung mehr bedürfen. Man nennt sie Axiome und die heutige Lehrmathematik arbeitet mit diesen, um ein Themengebiet möglichst gut zu strukturieren.
Die Logik ist das tägliche Brot des Mathematikers. Ohne sie kann er keine Beweise führen. Dabei beruft er sich auf Aussagen, die schon bewiesen worden sind, um damit neue Beweise für neue Sachverhalte abzuleiten. Klingt alles sehr technisch, ist es aber nicht. Denn die zündende Idee für den Beweis muss schließlich vorhanden sein, ohne die man mit aller Logik nicht weiterkommt. So auch in unserer Aufgabe:
Ihre Frau behauptet: Von sechs Personen in einem Fahrstuhl sind immer mindestens drei von den sechs Personen untereinander bekannt oder mindestens drei von den sechs Personen kennen sich untereinander nicht. Hat Ihre Frau recht?