instrucciones sobre el software tarski's world
DESCRIPTION
holaTRANSCRIPT
-
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.