clase del 26/9/11

Hicimos una presentación formal de la sintaxis de LPO haciando énfasis en las nociones de variable libre y ligada. Luego, trabajamos la semántica de LPO desde un punto de vista bastante intuitivo: hicimos traduccones del lenguaje natural a LPO dando, en cada caso, un "diccionario" que nos permita entender por qué la formula de LPO era una traducción.
Trabajando con traducciones, vimos que la estructura lógica de las formulas de LPO y la estructura gramatical de las oraciones castellanas podían llegar a diverger fuertemente. Por lo que hablamos de la estructura gramatical como algo distinto de la estructura lógica.
Dejo ejercicios sobre todos estos temas.

http://www.megaupload.com/?d=OCMNM628