Lexikon
Implikatiọn
Logik
eine zweistellige Satzverknüpfung (Zeichen ⇒), die gewöhnlich als „wenn ..., dann ...“ gelesen wird. Die Implikation kann verschieden gedeutet werden. Als materiale Implikation ist der Satz „Wenn A, dann B“ nur dann falsch, wenn „A“ wahr und „B“ falsch ist; insbesondere ist die materiale Implikation immer wahr, wenn „A“ falsch ist, d. h., aus etwas Falschem folgt alles. Dieses Merkmal der materialen Implikation wird als das Paradox der Implikation bezeichnet. Als strikte Implikation ist der Satz „Wenn A, dann B“ nur dann wahr, wenn „B“ aus „A“ abgeleitet werden kann. Im weiteren Sinne versteht man unter Implikation jede logische Folgerungsbeziehung.

Wissenschaft
Computer als Assistenz-Mathematiker
Rechnen konnten Computer schon immer. Doch abgesehen davon hatten sie für die Mathematik kaum einen Nutzen – bislang. Denn inzwischen gibt es Programme, die mathematische Beweise prüfen können. KI eröffnet dabei neue Möglichkeiten. von PAULA STRÄTER Den meisten Menschen begegnet Mathematik im Alltag nur, wenn sie zählen oder...

Wissenschaft
Wasser marsch!
Ein steigender Meeresspiegel und häufigere Unwetter bedrohen weltweit viele Küstenregionen. Während betroffene Gebiete meist mit immer höheren Deichen dagegenhalten, wagt man im Südwesten Englands etwas radikal anderes. von STEVE PRZYBILLA (Text und Fotos) Alys Laver gehört zu den wenigen Personen, die sich freuen, wenn sie beim...