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
Die scheuen Giganten
Planeten ferner Sterne werden wahrscheinlich von riesigen Monden umkreist, die alle Trabanten im Sonnensystem weit in den Schatten stellen. von THORSTEN DAMBECK Entdeckungen sind das tägliche Geschäft der Astronomen. Größtenteils liegt das an immer leistungsfähigeren Instrumenten und ausgefeilteren Methoden, mit denen der Himmel...
Wissenschaft
Flugsaurier: Zu Fuß zum Erfolg
Wie lebten Pterosaurier, wenn sie nicht in der Luft unterwegs waren? Diese Frage beleuchtet nun eine Untersuchung der Hände und Füße zahlreicher Arten aus der gesamten Entwicklungsgeschichte der Flugechsen. Die Ergebnisse verdeutlichen, dass die frühen Vertreter noch an das Klettern in Bäumen angepasst waren, während spätere...