Trainingsprogramm zu formalen Techniken linguistischer Analyse
Semantik - Prädikatenlogik: Epsilonoperator
Definition über den Existenzquantor
F( εx(Gx)) =DEF |
x (Fx /\ Gx)[x ist eine Variable]
-> Analysen mithilfe des Epsilonoperators sind nur eine Variante von Analysen mit dem Existenzquantor!
Ableitung von Analysen:
Eine Blume ist rot. | => Für eine Blume gilt: sie ist rot. |
=> ein x, für das gilt: x ist eine Blume ist rot. | |
=> | ROT(εx(BLUME(x))) |
Allgemeine Form:
"Ein G ist F." / "Einige G sind F." => F(ε(Gx)) |
Eine Taube greift Jan an. |  | |
Tanja kauft einen Kürbis. | | |
Es gibt merkwürdige Autos. | | |
Wenn Kai eine Spinne sieht, schreit er. | | |
Ein Kind lacht. | |
| Suche |
| Kontakt | Impressum |