TRABAJO PRACTICO N 8

UNIVERSIDAD NACIONAL
DE JUJUY
FACULTAD DE INGENIERIA

Ingeniera
Informtica
Licenciatura en
Sistemas
Lgica
Computacional

1)

(Comprensin de enunciados atmicos). Abrir los archivos Wittgens.Wld y Wittgens.sen. Todos los
enunciados en este archivo son enunciados atmicos.
1.
Trabajar sobre ellos estimando su valor de verdad en el mundo dado.
2.
Usar las capacidades de evaluacin de El Mundo de Tarski para chequear sus respuestas.
3.
Cambiar la ubicacin. las formas y los tamaos de las figuras en la Ventana de Mundos y
observar que ocurre con la verdad de los distintos enunciados.
4.
Observar y comprender cmo El Mundo de Tarski interpreta los distintos predicados.

2)

(Copiar enunciados atmicos). Con este ejercicio practicar con las teclas de El Mundo de Tarski y con la
sintaxis de los enunciados atmicos. Los enunciados de abajo son todos enunciados atmicos de nuestro
lenguaje. Comience un nuevo archivo de enunciados y tipee en l los enunciados. Usando el Inspector de
Enunciados, chequee cada frmula luego de escribirla para comprobar si es un enunciado, si comete un error
corrjalo antes de seguir.
1.
Tet(a)
2.
Median(a)
3.
Dodec(b)
4.
Cubo(c)
5.
DelanDe(a,b)
6.
EsEntre(a,b,c)
7.
a=d
8.
MayorQ(a,b)
9.
MenorQu(a,c)
10.
IzqdDe(b,c)
Guardar estos enunciados en un archivo con el nombre 2-2.sen.

3)

(Construccin de mundos). Construya un mundo en el que todos los enunciados del Problema anterior
sean simultneamente verdaderos. Guarde este mundo en un archivo que llevar por nombre 2-3.wld.

4)

(Traduciendo a enunciados atmicos). A partir de estos enunciados en espaol, comience un nuevo archivo
de enunciados y tradzcalos a LPO.
1.
a es un cubo.
2.
b es menosr que a.
3.
c est entre a y d.
4.
d es grande.
5.
e es mayor que a.
6.
b es un tetraedro.
7.
e es un dodecaedro.
8.
e est a la derecha de b.
9.
a es menor que e.
10.
d est detrs de a.
Construya un mundo en el que todos los enunciados son verdaderos. Nombrar a estos archivos como 2-4. wld
y 2-4.sen.

5)

(Nombrando objetos). Abrir los archivos Lestrade.wld y Lestrade.sen. Observar que ninguno de los objetos
de este mundo tiene nombre.
1.
Asignarle nombre a los objetos, de modo que todos los enunciados de la lista sean verdaderos
2.
Guardar el mundo resultante en un archivo denominado 2-5.wld.

6)

En el ejercicio anterior, cuntos de los nombres podran haber sido asignados a otros objetos y a pesar de
esto, seguir siendo todos los enunciados verdaderos?.

Pg. 1

TRABAJO PRACTICO N 8
UNIVERSIDAD NACIONAL
DE JUJUY
FACULTAD DE INGENIERIA

Ingeniera
Informtica
Licenciatura en
Sistemas
Lgica
Computacional

7)

(Contexto de predicados). Considerar la diferencia entre los predicados MayorQ y DetrDe. Si el cubo a es o
no ms grande que el cubo b es un problema determinado y tambin un problema que no depende de la
perspectiva del mundo. Si el cubo a est detrs del cubo b, tambin es un problema determinado, pero en este
caso, depende de la perspectiva. Si se rotara el mundo 90, la respuesta podra cambiar.
1.
Abrir los archivos Austin.sen y Wittgens.wld. Evaluar cada enunciado y tabular los valores de
verdad resultantes sobre un papel.
2.
Rotar el mundo 90 a la derecha y evaluar los enunciados nuevamente, incorporando los
mismos a la tabla.
3.
Repetir el procedimiento hasta que el mundo haya realizado un giro completo.
4.
Observa alguna pauta en la tabla?. En particular, suponer que en la tabla se registrara la
siguiente lnea: FALSO VERDADERO FALSO FALSO.
5.
Qu podra decir acerca del predicado en el enunciado atmico correspondiente?.
6.
Qu podra decir sobre las posiciones relativas de los objetos nombrados en el enunciado?.

8)

(Demostraciones con Enunciados Atmicos). Dado el significado de los siguientes predicados atmicos en
El Mundo de Tarski. Cules de las siguientes son consecuencias lgicas de las premisas establecidas?. Si la
conclusin no es una consecuencia de las premisas, construya un mundo en el que las premisas son
verdaderas y la conclusin falsa. Nombre los archivos de tales mundos de la siguiente manera: 2-19-X.wld,
donde X es el nmero de la vieta de las premisas y sus conclusiones.
1.
Premisa: IzqdDe(a,b); conclusin: DerecDe(b,a).
2.
Premisas: IzqdDe(a,b), b=c; conclusin: DerecDe(c,a).
3.
Premisas: IzqdDe(a,b), DerecDe(c,a); conclusin: IzqdDe(b,c).
4.
Premisas: DetrsDe(a,b), DelanDe(a,c); conclusin: DelanDe(b,c).
5.
Premisas: EsEntre(b,a,c), IzqDe(a,c); conclusin: IzqDe(a,b).

Pg. 2