Lexikon
Aussageform
Begriff der neuen Mathematik: Ersetzt man in einer Aussage (Aussagenlogik) Subjekt und (oder) Prädikat durch Variable, so entsteht eine Aussageform, die durch Einsetzen von Elementen einer geeigneten Grundmenge anstelle der Variablen in eine (jeweils andere) Aussage übergeht. Ist diese wahr, so erfüllt die Einsetzung die Aussageform; alle Elemente der Grundmenge, die eine Aussageform erfüllen, bilden die Erfüllungs- oder Lösungsmenge der Aussageform. Eine Aussageform, die durch alle Elemente der Grundmenge erfüllt wird, heißt allgemein gültig. Wird eine Aussageform durch kein Element erfüllt, so heißt sie unerfüllbar. Eine Gleichung oder Ungleichung mit Variablen ist eine Aussageform, die durch Einsetzung von Elementen aus der Grundmenge der natürlichen (ganzen, rationalen, reellen) Zahlen erfüllt (gelöst) werden soll.
Wissenschaft
Wie kam Saturn zu seinen Ringen?
Zum Missionsende raste die Raumsonde Cassini immer enger um den Gasplaneten. Dabei gelangen die genauesten Messungen des prächtigen Ringsystems. von THORSTEN DAMBECK Es waren die letzten Minuten der Raumsonde Cassini, als sie wie geplant in die Gashülle Saturns eintauchte: An diesem 15. September 2017 kündigte sich das Ende 1900...
Wissenschaft
Gegen die Einbahnstraße
Keine Stadt ohne Sackgassen und Einbahnstraßen. Auch von der Evolution dachte man lange, dass sie viele Organismenlinien in Sackgassen und Einbahnstraßen geschickt habe. Tatsächlich scheint das jedoch viel weniger oft der Fall gewesen zu sein, als bislang vermutet. Über die „evolutionären Sackgassen“ des belgischen Paläontologen...
