Trainingsprogramm zu formalen Techniken linguistischer Analyse

Semantik: Beispiele für aussagenlogische Analysen

natursprachliches Beispiel

aussagenlogische Analyse

aussagenlogische Struktur

Stefan hört Musik

(Stefan hört Musik)

A

Stefan hört nicht Musik

(Stefan hört Musik)

A

Es ist nicht der Fall, dass Stefan Musik hört

(Stefan hört Musik)

A

Stefan hört Musik und Waldi bellt

(Stefan hört Musik) /\ (Waldi bellt)

A /\ B

Wenn Stefan Musik hört, bellt Waldi

(Stefan hört Musik) -> (Waldi bellt)

A -> B

Waldi ist genau dann glücklich, wenn Stefan nicht Musik hört

(Waldi ist glücklich) <-> (Stefan hört Musik)

A <-> B

Entweder hört Stefan Musik oder Waldi ist glücklich

(Stefan hört Musik) /\ (Waldi ist glücklich)
äquivalent:
(Waldi ist glücklich) /\ (Stefan hört Musik)

A <-> B

B <-> A

Stefan hört Musik oder Uta spielt Geige

(Stefan hört Musik) \/ (Uta spielt Geige)

A \/ B

Geben Sie die aussagenlogische Repräsentation an:

Uta singt nicht.
Lösung anzeigen
Wenn es schneit, baue ich einen Schneemann.
Lösung anzeigen
Uta singt.
Lösung anzeigen
Uta singt und Anja tanzt.
Lösung anzeigen

Geben Sie die aussagenlogische Struktur an:

Uta hat angerufen, aber Stefan war nicht zu Hause.
Lösung anzeigen
Der Rasen wird nass, wenn es regnet.
Lösung anzeigen
Wenn es regnet, wird der Rasen nass.
Lösung anzeigen
Wenn Karen Zeit hat, gehen wir ins Kino oder fahren nach Potsdam.
Lösung anzeigen
Es ist nicht wahr, dass Kai nicht auf die Party kommt, wenn Uli am Wochenende in Hamburg ist.
Lösung anzeigen
Stefan hat keine Zeit, aber Uli war hier, und Paul kommt später vorbei.
Lösung anzeigen
Es regnet, und der Rasen wird nass.
Lösung anzeigen
Die Blume blüht.
Lösung anzeigen
Wenn der Hahn kräht auf dem Mist, ändert sich's Wetter oder es bleibt, wie es ist.
Lösung anzeigen
Die Mumie lebt nicht.
Lösung anzeigen
Wenn es zu spät ist, ist es zu spät.
Lösung anzeigen
Dass Ingo sich freut, wenn er den Job nicht bekommt, stimmt nicht.
Lösung anzeigen
Uli ruft an oder kommt vorbei.
Lösung anzeigen
Suche
Kontakt | Impressum