Trainingsprogramm zu formalen Techniken linguistischer Analyse

Semantik - Aussagenlogik: Bausteine

 

Junktoren mit entsprechenden Beispielen:

Klaus lacht nicht

(Klaus lacht)

A [nicht]

Uta ruft und Klaus lacht

(Uta ruft) /\ (Klaus lacht)

A /\ B

[und]

.

A \/ B

[oder]

Wenn Lars singt, lacht Uli

(Lars singt)->(Uli lacht)

A->B

[wenn-dann]

Waldi bellt genau dann, wenn Stefan singt.

(Waldi bellt) <-> (Stefan singt)

A <-> B

[genau-dann-wenn]]

Suche
Kontakt | Impressum