Lingüística matemática 

Parcial 2
 
Cálculo lambda
 
 
1. Para los siguientes enunciados haga el árbol sintáctico correspondiente y señale su forma lógica en 
cálculo lambda y su tipo respectivo
 
a) María está en el sofá entre Juan y Alberto
b) María canta y Juan baila
c) María canta y baila
d) No es cierto que todos los hombres sean mortales
e) Caminar de noche es peligroso pero caminar de día es saludable
 
 
 
2. Traducir los siguientes enunciados haciendo uso del operador lambda e indique el tipo de cada uno de 
sus componentes:
 
a) Planear detalladamente la estrategia es fundamental
b) Es rentable invertir en finca raiz
c) Haber olvidado algo es haber sabido algo pero no saberlo ahora (GAMUT)
d) Todos los carros del año son grises o negros pero no hay carros que sean verdes o naranjas
e) Los colores de los carros del año son negro o gris pero no verde o naranjas
 
 
 
3. Sea a una expresión tipo ​e​, P de tipo <​e,t​>, M de tipo <<​e,t​>,<​e,t​>>, ​S ​de tipo <<​e,t> ​ ,​t​> y L de tipo 
<​e,​ <​e,t​>>, determine si los siguientes enunciados son expresiones bien formadas en la teoría de tipos
 
- P(a) - M(P)  - (M(​S​))(a) - L(b)(a)
- a(P) - ​S(​ M) - S(M(P)) - (​S​(M))(a)
- ​M(P)(a)  - ​M(L)(y)(a) - S(M(P))(a) - S(L)

 
 
 
4. A partir de los temas trabajados, realice un breve ensayo en el que explique cuál es la utilidad del cálculo 
lambda para el análisis lingüístico.