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
Natur ohne Vorbild
Weltweit entstehen Ökosysteme, die in keiner historischen Landschaft je existierten. Neue Forschung zeigt, dass viele von ihnen überraschend stabil und funktional sind. von ROMAN GOERGEN In der Nähe der schottischen Kleinstadt West Calder überragen gewaltige rostrote Hügel die sonst tief liegende Landschaft in der Region West...
Wissenschaft
Elektroflugzeuge dank neuer Brennstoffzelle?
Flugreisen gelten bislang als die klimaschädlichste Art der Fortbewegung. Doch eine neue Technologie könnte das ändern: Forschende haben eine Brennstoffzelle entwickelt, die aus Natrium und Luft Energie gewinnt – und zwar mit einer so hohen Energiedichte pro Kilogramm, dass ein Einsatz in der Luftfahrt möglich würde. Anders als...
