INSTRUCCIONES BSICAS ACE RCA DE TARSKI

Curso: Lgica, Profesor: Levis Ze rpa, 24/7/2015

El programa Tarskis World (denominado as en honor al gran lgico polaco-norteamericano Alfred Tarski)

est diseado para proporcionar un ambiente en el que las frmulas del clculo de predicados (e incluso

del clculo proposicional) puedan recibir una interpretacin fcil de visualizar. El programa consta de un

men

mediante el cual se pueden abrir y guardar los archivos del programa (archivos correspondientes a

mundos (worlds) y sentencias o enunciados (sentences)) y ejecutar otras acciones bsicas. El programa

cuenta con 4 ventanas principales:

Las ventanas son las siguientes: (1) hay una cuadrcula (grid) en la que se despliegan objetos cuya forma

geomtrica, tamao, posicin relativa y color estn determinados de un modo visualmente claro.