1.

Taller 1
1. A partir del siguiente vocabulario, V1 := [a, b, c, d], construir, por lo menos,
dos lenguajes formales, L1 y L2 , distintos. Explique por qué son lenguajes
formales distintos.
2. A partir del vocabulario V1 construir un lenguaje formal, L3 , que tenga un
número finito de fbf. Determinar todas las cadenas que son fbf del lenguaje
(haciendo una lista, entre corchetes, de todas las fbf del lenguaje).
3. A partir de los vocabularios V2 := [1, 2, 3, 4, a, b, c, d], V3 := [2, 3, a, d, c],
construir dos lenguajes formales, L4 , L5 , que sean extensionalmente equi-
valentes (es decir, dos lenguajes que tengan las mismas fbf).
4. Construir un lenguaje formal, en el que a cada fbf se le pueda asignar un
significado por medio de un sistema de reglas de interpretación.
5. A partir del vocabulario V2 , construir, por lo menos, dos sistemas formales
distintos, S1 y S2 , (puede usar los lenguajes construidos en los puntos
anteriores)
6. Construir un sistema formal S3 cualquiera, usando un vocabulario cual-
quiera, y dotándolo de:

un sistema de reglas de interpretación que haga a las fbf de dicho

sistema significativas
un sistema de reglas de interpretación que haga a las fbf de dicho
sistema asignificativas

7. Construir un sistema formal, S4 , dotándolo con un sistema de reglas de

interpretación. Al construir el sistema de reglas de interpretación, hágalo
de tal manera que: (1) las fbf del lenguaje sean significativas, (2) las re-
laciones de derivación sintctica entre fbf del sistema reflejen relaciones de
implicación semántica entre proposiciones del español. (El sistema mg es
un ejemplo de lo que se pide en este punto)
8. Dadas las siguientes fórmulas en el sistema M IU , determinar (1) si son
fbf, (2) si son axiomas y (3) si son teoremas. En cada caso justifique su
respuesta. Si la fórmula es teorema, haga la derivación. Si no es teorema,
explique por qué no se puede hacer la derivación.

M IU
M IIIU II
M IIIIU IIIU III
M U IU III
M IIIU IIIU U
M IU IIU IIU IU II

1
 U IIIU II
M IIIU IIIIIU IIU
U U N U IN
MU

9. Dadas las siguientes fórmulas en el sistema mg, determinar (1) si son

fbf, (2) si son axiomas y (3) si son teoremas. En cada caso justifique su
respuesta. Si la fórmula es teorema, haga la derivación. Si no es teorema,
explique por qué no se puede hacer la derivación.
− − − − − − −m − − − − − g − − − −−
− − − − −m − g − − − − − −
− − − − −m − − − g − − − − − − − −
− − −m − − − −g − − − − − −−
− − − − − − m − g − − − − − −−
10. Usando ejemplos tomados de los lenguajes y sistemas construidos en los
anteriores puntos, explique en qué consiste la distinción semántica/sintaxis,
y explique en qué consiste la distinción lenguaje-objeto/meta-lenguaje.