2.

3 El Mundo de Tarski

El mundo de Tarski es una herramienta de software desarrollada expresamente para ensear y

mejorar la capacidad del estudiante para describir situaciones en un mundo simple utilizando Lgica
Proposicional.
Para esta seccin utilizaremos una implementacin libre del Mundo de Tarski disponible en el sitio
siguiente como un applet de Java:
http://cursos.clavijero.edu.mx/cursos/007_cp/modulo2/contenidos/documentos/tarski.zip
Este applet tiene la opcin de descarga para ejecutarlo de manera local, para lo que se requiere que en
tu mquina est instalado el JRE (Java Runtime Environment) 1.4 o posterior. Se descarga un archivo
llamado blockworld.jar y se ejecuta desde una ventana Smbolo de sistema con el siguiente
comando:
java -classpath blockworld.jar ch.ethz.inf.rs.BlockWorld
2.3.1 Colocando figuras en el tablero
El mundo de Tarski consiste de un tablero de 8 x 8 celdas, en el que se pueden colocar tringulos,
pentgonos y cuadrados, cuyo tamao puede ser pequeo, mediano o grande.
El estudiante puede colocar tantas figuras como desee en el tablero y distribuirlas a su gusto. Una vez
definida una configuracin del mundo, se debe describir dicha configuracin por medio de una serie de
proposiciones que deben ser verdaderas todas ellas en la configuracin mostrada.

La siguiente figura muestra el tablero del mundo de Tarski. En este caso, se muestra un tablero vaco.

Como puedes ver, en la parte derecha del tablero hay una serie de botones:

Triangle, Squarey Pentagon se utilizan para elegir la figura a colocar.

Small, Mediumy Large se utilizan para determinar el tamao de la figura elegida.
Name nos permite nombrar la figura (con una letra entre la a y la z minsculas). El nombre
de las figuras es opcional.

Tambin aparecen otros botones:

Create: Se utiliza para agregar una nueva figura de acuerdo a la forma, tamao y nombre (si
es el caso) definidos en los botones anteriores.
Apply: Nos permite modificar los atributos de una figura ya colocada en el tablero. Para esto
debemos elegir previamente la figura dando click sobre la misma.
Delete: Nos permite eliminar del tablero la figura elegida.
Clear all: Permite eliminar todas las figuras del tablero, es decir, limpiar el tablero.
Save as: Nos permite guardar la configuracin actual del tablero. Esta opcin slo es posible
si estoy ejecutando el applet en mi mquina local, para lo cual tuve que descargarlo antes.
Open: Nos permite cargar una configuracin previamente guardada. Esta opcin slo es
posible si se est ejecutando el applet en la mquina local, para lo cual hay que descargarlo
antes.

La siguiente figura muestra elegidas las opciones para crear un pentgono de nombre p, de tamao
grande (Large).

Nota que al dar click en el botn Create, aparece un pentgono gris en la esquina superior izquierda
del tablero. Todas las figuras recin creadas aparecern en esa esquina. El color gris indica que la
figura est seleccionada.
Para colocar la figura en cualquier otra celda del tablero, slo debes arrastrarla hasta le celda
deseada, es decir, dar click sobre la figura y sin soltar el botn del click, desplazarla hasta su nueva
celda y entonces soltar el botn. Para deseleccionar una figura, slo da un click en cualquier celda

La siguiente figura muestra el pentgono ya colocado en una celda de la parte media del tablero. Nota
que ahora el pentgono es de color naranja, o sea, ya no est seleccionado, y que los botones que se
usaron para crearlo tampoco lo estn ya.

Supongamos que ahora quieres cambiar el tamao del pentgono. Actualmente es grande, pero deseas
que sea mediano. Para esto, primero selecciona el pentgono haciendo click sobre l. Te dars cuenta
de que el pentgono ha sido seleccionado porque cambia a color gris. Nota que al seleccionarlo, los
botones Pentagon, Large y el nombre p se vuelven a seleccionar.
Ahora debes elegir Medium y dar click en el botn Apply. Al hacer esto, vers que el pentgono
cambia de tamao, como se muestra en la siguiente figura.

Ahora solo resta deseleccionar el pentgono para que regrese a su color naranja y se liberen los
botones utilizados para crear/modificar las figuras.
De la misma manera que se cre el pentgono, puedes crear tantas figuras como quieras, y
distribuirlas en el tablero a tu gusto.
Como comentamos arriba, una vez colocadas todas las figuras en el tablero, sigue describir este mundo
por medio de una serie de proposiciones. Pasemos entonces a estudiar cmo especificar estas
proposiciones en el mundo de Tarski.
2.3.2 Sintaxis del mundo de Tarski
La parte inferior del tablero (que se muestra en la figura siguiente) es el lugar diseado para capturar
las proposiciones que describen la configuracin actual del mundo de Tarski. El software define una
sintaxis para construir adecuadamente las proposiciones que creemos detallan correctamente la
configuracin actual del tablero. Estas proposiciones son sensibles a uso de maysculas y minsculas.

Vers una serie de botones en la parte superior de las entradas para las proposiciones. Estos botones y
sus funciones son los siguientes:

Eval all hace que el programa evale todas las proposiciones capturadas hasta el momento
y me indica cules son verdaderas (T) y cules son Falsas (F). El objetivo es que todas las
proposiciones sean Verdaderas.
Clear all borra todas las proposiciones capturadas hasta el momento, dejando
completamente en blanco el rea de frmulas.
Save as permite guardar las proposiciones definidas hasta el momento. Esta opcin slo es
posible si estoy ejecutando el applet en la mquina local, para lo cual hay que descargarlo antes.
Open se usa para cargar proposiciones previamente guardadas. Esta opcin slo es posible si
estoy ejecutando el applet localmente, para lo cual hay que descargarlo previamente.

Valores de las frmulas

T
F
U
?

La frmula is Verdadera (true) en el mundo actual.

La frmula is Falsa (false) en el mundo actual.
La frmula contiene variables libres indefinidas en el mundo actual.
La frmula contiene error de sintaxis.

Al evaluar las proposiciones capturadas en el rea de frmulas, cada una de ellas tomar alguno de los
siguientes valores:

Conectivos lgicos
El Mundo de Tarski nos permite definir los siguientes conectivos lgicos:
/\ : Conjuncin (una diagonal normal seguida de una diagonal invertida).
\/ : Disyuncin (una diagonal invertida seguida de una diagonal normal).
=> : Implicacin (un igual seguido de un mayor que).
<=> : Implicacin doble (un menor que, seguido de un igual, seguido de un mayor que).
~ : Negacin.

Cuantificadores
Los cuantificadores se representan de la siguiente manera:

A : Para todo (una A mayscula).

E : Existe al menos uno (una E mayscula).

Predicados
Las caractersticas de las figuras geomtricas se especifican por medio de los siguientes predicados:
Triangle(x) x es un tringulo.
Square(x) x es un cuadro.
Pentagon(x) x es un pentgono.
Small(x) x es pequeo.
Medium(x) x es mediano.
Large(x) x es grande.
Smaller(x,y) x es ms pequeo que y.
SameSize(x,y) x es del mismo tamao que y.
SameCol(x,y) x est en la misma columna que y.
SameRow(x,y) xy y estn en la mismo rengln.
LeftOf(x,y) la columna de x est a la izquierda de la columna de y.
Between(x,y,z) x est entre yy z en un rengln, columna o diagonal.

x <> y x es diferente de y.
Por ejemplo, considere la siguiente configuracin del mundo de Tarski:

Como puedes observar, esta configuracin slo consta de tres tringulos de diferente tamao. En este
mundo las siguientes proposiciones son todas verdaderas:

En la configuracin tambin vemos que cada tringulo es de diferente tamao y est en distinta
columna y rengln. Por tanto, creemos que tambin la siguiente proposicin es verdadera: xy:
~SameRow(x,y) ~SameCol(x,y) Que en la sintaxis del Mundo de Tarsky se escribe como se muestra a
continuacin:
A x A y ~SameRow(x,y) /\ ~SameCol(x,y)

Vamos a capturarla y evaluarla para determinar si est bien definida esta proposicin. Esto es, la
capturamos en la lnea 3 y damos click en el botn Eval all.
Al evaluar la proposicin en el mundo de Tarski, la siguiente figura muestra que algo no est bien, ya
que la proposicin 3 es Falsa:

Qu est mal en la ltima proposicin? A primera vista parece ser correcta, dado que cada uno de los
tringulos est en diferente columna y rengln.
El problema es que para evaluar la ltima proposicin, puesto que contiene variables x y y, el
programa debe instanciar esas variables de acuerdo a las diferentes figuras del tablero actual. En
nuestro caso, estas figuras son los tringulos a, b y c. Es decir, tanto x como y pueden tomar
cualquiera de estos tres valores. Cuando x=Triangle(a) y y=Triangle(b), por ejemplo, la
proposicin es Verdadera, pero cuando x=Triangle(a) y y=Triangle(a), la proposicin es
Falsa. Por tanto, debemos especificar que si x y y son diferentes, entonces estn en diferente
columna y rengln. As que la proposicin correcta es la siguiente:
xy: x <> y ~SameRow(x,y) ~SameCol(x,y)
Que en la sintaxis del mundo de Tarski es as:
A x A y x <> y => ~SameRow(x,y) /\ ~SameCol(x,y)
Otra proposicin que tambin parece correcta es que al menos hay un tringulo pequeo, lo que
podemos representar as: x: Triangle(x) Small(x) que en la sintaxis del Mundo de Tarski se escribe
as:
E x (Trangle(x) /\ Small(x))

Para indicar que todas las figuras son de diferente tamao, podemos usar la siguiente proposicin:
xy: x <> y ~SameSize(x,y)
Que en la sintaxis del Mundo de Tarski se representa as:

A x A y x <> y => ~SameSize(x,y)
A continuacin mostramos el rea de frmulas con todas las proposiciones anteriores, donde podemos
ver que todas son Verdaderas:

A manera de ejercicio, define la proposicin que diga que por lo menos hay un tringulo en medio de
otros dos.
Una vez que hayas completado la lectura de esta breve gua, ests listo para la actividad de la semana:
una serie de ejercicios con el Mundo de Tarski.
Adelante y mucho xito en esta tarea!