Trainingsprogramm zu formalen Techniken linguistischer Analyse

 

 

x

[x ist eine Variable]

 

Ableitung von Analysen:

 

 

=>



Alle Menschen sind sterblich.

=>

x(MENSCH(x) -> STERBLICH(x))

 

Allgemeine Form:

"Alle F sind G." => x(F(x) -> G(x))

Suche
Kontakt | Impressum