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
Tiere in der Antarktis mit H5N1-Virus infiziert
Der Vogelgrippe-Erreger breitet sich weltweit immer weiter aus und dringt dabei bis in die abgelegensten Orte vor, wie eine neue Studie zeigt. Das H5N1-Virus hat demnach inzwischen auch diverse Wildtiere in der Antarktis infiziert, darunter verschiedene Vögel und Säugetiere wie Seeelefanten und Seebären. Der Erreger verbreitete...
Wissenschaft
Tragbarer Sensor überwacht Flüssigkeitshaushalt
Damit unser Körper optimal funktioniert, braucht er ausreichend Flüssigkeit. Ein neues Gerät könnte uns künftig mitteilen, wann wir etwas trinken sollten. Der tragbare Sensor überwacht den Flüssigkeitshaushalt im Oberarm in Echtzeit und zeigt an, wenn der Körper dehydriert. Das könnte für normale Menschen im Alltag ebenso...