6.2.11 Textaufgabe mittels aussagenlogischer Formeln vereinfachen

[gesichtete Version][gesichtete Version]
Keine Bearbeitungszusammenfassung
Zeile 72: Zeile 72:
Du wurdest gewarnt.
Du wurdest gewarnt.
</p>
</p>
<br />
<br />
==== Schritt 2: Alle gegebenen Sätze in aussagenlogische Formeln überführen ====
<p>
</p>
<br />
==== Schritt 3: Alle aussagenlogischen Formeln in eine UND-verknüpfte Gesamtformel integrieren ====
<p>
</p>
<br />
==== Schritt 4: Die Gesamtformel auf möglichst einfache Gestalt bringen ====
<p>
Siehe:<br />
[[Vereinfachung mit Hilfe einer Wahrheitstafel]] oder<br />
[[Vereinfachung unter Anwendung von logischen Identitäten]]
</p>
==== Schritt 5: Einen Antwortsatz notieren ====
<p>
</p>

Version vom 11. Oktober 2014, 10:17 Uhr

Textaufgabe mittels aussagenlogischer Formeln vereinfachen

Eine Aufgabe und ihr Lösungsweg:

Aufgabe

Der etwas merkwürdige Wetterbericht für morgen lautet:

  1. Wird es nicht kalt, so wird es auch weder windig sein noch regnen.
  2. Überhaupt wird es nur dann Wind geben, wenn es kalt wird.
  3. Wird es aber windstill, so wird es leider regnen und kalt sein.
  4. Und bleibt es trocken, so wird es Wind geben oder es wird nicht kalt.

Was meinen Sie, wie wird das Wetter morgen, wenn diese Vorhersage zutrifft?


Der Lösungsweg

Das folgende Video zeigt den Lösungsweg:

video


Schritt 1: Abkürzungen definieren

Aus den gegebenen vier Sätzen dieses Beispiels werden zunächst geeignete Abkürzungen gewonnen:

R     Es wird regnen.

W     Es wird windig.

K     Es wird kalt.

Diese Abkürzungen stehen in der Folge für Aussagen im Sinne der Aussagenlogik. Es muss also (ggf. zu einem späteren Zeitpunkt) feststellbar sein, ob diese Aussagen objektiv wahr oder falsch sind.


Wichtig

Ein typischer Fehler an dieser Stelle ist die Definition von Abkürzungen, die keine Aussagen im Sinne der Aussagenlogik sind.

So ist es falsch, bitte nicht nachmachen:

keine-aussagen.JPG

Du wurdest gewarnt.


Schritt 2: Alle gegebenen Sätze in aussagenlogische Formeln überführen


Schritt 3: Alle aussagenlogischen Formeln in eine UND-verknüpfte Gesamtformel integrieren


Schritt 4: Die Gesamtformel auf möglichst einfache Gestalt bringen

Siehe:
Vereinfachung mit Hilfe einer Wahrheitstafel oder
Vereinfachung unter Anwendung von logischen Identitäten

Schritt 5: Einen Antwortsatz notieren