6.2.11 Textaufgabe mittels aussagenlogischer Formeln vereinfachen

[gesichtete Version][gesichtete Version]
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 39: Zeile 39:
<br />
<br />
==== Schritt 1: Abkürzungen definieren ====
==== Schritt 1: Abkürzungen definieren ====
<p>
Aus den gegebenen vier Sätzen dieses Beispiels werden zunächst geeignete Abkürzungen gewonnen:
</p>
<p>
<p>
R &nbsp; <math>\equiv</math> &nbsp; Es wird regnen.
R &nbsp; <math>\equiv</math> &nbsp; Es wird regnen.
Zeile 47: Zeile 50:
<p>
<p>
K &nbsp; <math>\equiv</math> &nbsp; Es wird kalt.
K &nbsp; <math>\equiv</math> &nbsp; Es wird kalt.
</p>
<p>
Diese Abkürzungen stehen in der Folge für [[Aussagen: Beispiele und Gegenbeispiele|Aussagen im Sinne der Aussagenlogik]]. Es muss also (ggf. zu einem späteren Zeitpunkt) feststellbar sein, ob diese Aussagen objektiv wahr oder falsch sind.
</p>
<br />
<p>
<loop_area type="example">
<p>
Ein typischer Fehler an dieser Stelle ist die Definition von Abkürzungen, die keine [[Aussagen: Beispiele und Gegenbeispiele|Aussagen im Sinne der Aussagenlogik]] sind.
</p>
<p>
So ist es falsch, bitte nicht nachmachen:
</p>
<p>
[[File:keine-aussagen.JPG|]]
</p>
</loop_area>
</p>
</p>

Version vom 11. Oktober 2014, 10:08 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.


Beispiel

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:

[[File:keine-aussagen.JPG|]]