Trainingsprogramm zu formalen Techniken linguistischer Analyse

Der Lambda-Operator kennzeichnet Leerstellen:

 

λx [...x...](a) <=> [...a...]

Ableitung von Analysen:

 

tanzen

=> braucht noch ein Subjekt, um ein Satz zu werden

 

=>

λx [TANZEN(x)]

(Bsp.: Subjekt "Uta"):

 

λx [TANZEN(x)](uta)


<=> TANZEN(uta) ("Uta tanzt")

singen
Lösung anzeigen
eine blaue Tasse
Lösung anzeigen
ein Wal
Lösung anzeigen
Karen anrufen
Lösung anzeigen
küssen
Lösung anzeigen
freundlich
Lösung anzeigen
Bleistift
Lösung anzeigen
lachen
Lösung anzeigen
anrufen
Lösung anzeigen
Mutter
Lösung anzeigen
ermorden
Lösung anzeigen
Jens mögen
Lösung anzeigen

  • Partner von Karen
  • Freundin von Anja
λx y (Gy /\ F(x,y))

  • Der Friseur singt
λyλx[F(x,y)]

  • grüne Tomate
  • netter Mensch
F(x(Gx))

  • das Meerschweinchen
  • der Brief
F(a,b)

  • lesen
  • kaufen
x y [Fy /\ G(x,y)]

  • schwimmen
  • grün
F(x(Gx))

  • eine Fliege
λx[Fx /\ Gx]

  • einen Regenbogen sehen
  • eine Nachricht vergessen
x [F (x,a)]

  • Anja streitet mit Ulla
  • Jan mag Anja
λx[Fx]

  • den Postboten beißen
  • das Meer lieben
λ G x [Fx /\ Gx]

  • die Kerze brennt
λx[F(x,a)]

  • die Mutter eines Mörders
  • der Ehemann einer Schwedin
x[Fx]

  • Utas Schwester
λx[F(x, y(Gy))]

Fahrrad
Lösung anzeigen
Utas Mutter
Lösung anzeigen
fliegen
Lösung anzeigen
Die Eule frisst eine Maus.
Lösung anzeigen
schlagen
Lösung anzeigen
Kröte
Lösung anzeigen
Jan ist ein schöner Mann
Lösung anzeigen
der Mann, den Karen liebt
Lösung anzeigen
ein Buch lesen
Lösung anzeigen
ein Dinosaurier
Lösung anzeigen
Der Käse stinkt
Lösung anzeigen
Sven löst alle Aufgaben
Lösung anzeigen
ein grüner Stift
Lösung anzeigen
Utas ratte heißt Willi
Lösung anzeigen
Paul ruft Uta an
Lösung anzeigen
Uta kauft einen Hund
Lösung anzeigen
Ein weißer Hund beißt Stefan
Lösung anzeigen

λF x [FRAU(x) /\ F(x)]
Lösung anzeigen
x [FRAU(x)]
Lösung anzeigen
FRAU(uta)
Lösung anzeigen
λx [FRAU(x)]
Lösung anzeigen
λx POSTBOTE(x)
Lösung anzeigen
λF x [COMPUTER(x) /\ F(x)]
Lösung anzeigen
ARBEITEN(uta)
Lösung anzeigen
x [WEIHNACHTSMANN(x)]
Lösung anzeigen
λx [SINGEN(x)]
Lösung anzeigen
x [SCHIFF(x) /\ SINKEN(x)]
Lösung anzeigen

λFxy[ONKEL(y,kai) /\ KUSINE(x,y) /\ F(x)] der Onkel von Kais Kusine

λx[KUSINE(x,y(ONKEL(y,kai)))]Kusine eines Onkels von Kai

x[KUSINE(x,y(ONKEL(y,kai)))]Kusine von Kais Onkel

λF x[KUSINE(x, y(ONKEL(y,kai))) /\ F(x)]eine Kusine von Kais Onkel

x[ONKEL(x,y(KUSINE(y,kai)))]eine Kusine eines Onkels von Kai

λFy[ONKEL(y,kai) /\ KUSINE(x,y)]die Kusine von Kais Onkel

ein weißer Pudelx(PUDEL(x) /\ WEISS(x))

der Pudel ist weißλF x [PUDEL(x) /\ WEISS(x) /\ F(x)]

Tina ist ein weißer Pudel.PUDEL(tina) /\ WEISS(tina)

ein Pudel ist weißx [PUDEL(x) /\ WEISS(x)]

weißer PudelWEISS(x(PUDEL(x))

der Pudel, der weiß istλx [PUDEL(x) /\ WEISS(x)]

Utas SchwesterSCHWESTER(karen,uta)

Eine Schwester von Utax [SCHWESTER(x,uta)]

Uta hat eine Schwester.λF x [SCHWESTER(x,uta) /\ F(x)]

Karen ist Utas Schwesterx [SCHWESTER(x,uta)]

Suche
Kontakt | Impressum