Trainingsprogramm zu formalen Techniken linguistischer Analyse

  • Individuenkonstanten: a,b,c,...
    Bsp.: klaus, uta, anja,...
  • F, G, H,...
    Bsp.: SINGEN, TANZEN, SEHEN
             FRAU, BAUM

Beispiele:

Anja singt.

SINGEN(anja)

F(a)

Uta ist eine Frau.

FRAU(uta)

F(a)

F(a)

Martin sieht Anja.

SEHEN(martin,anja)

F(a,b)

Wenn Lars singt, lacht Uli.

SINGEN(lars -> LACHEN(uli)

F(a) -> G(b)

...

 

Zum Sinn von Formalisierungen:
Ein Beispiel zur Diskussion

1

Also:

2

Also:

 

Intuition contra Logik:

Steffi liebt Klaus.
Lösung anzeigen
Uli ist Sängerin.
Lösung anzeigen
Uta spricht über Lars.
Lösung anzeigen
Steffi ist klug.
Lösung anzeigen
Wenn Anja ihn anruft, ist Paul froh.
Lösung anzeigen
Anja kennt Paul.
Lösung anzeigen
Anja kennt Paul nicht.
Lösung anzeigen
Uli ist sportlich.
Lösung anzeigen
Anja trifft Kai.
Lösung anzeigen
Max ist ein Dackel.
Lösung anzeigen
Kai lacht.
Lösung anzeigen
Wenn Kai nicht singt, ist Uta froh, aber Stefan ärgerlich.
Lösung anzeigen
Jo ist eine weiße Ratte.
Lösung anzeigen
Karen mag Jens nicht.
Lösung anzeigen
Suche
Kontakt | Impressum