todo

Práctica 10
El mundo de Tarski
Nombre: Gerardo Benavides Perez Fecha: 22 DE abril de 2013
Introducción
El mundo de Tarski es un mundo cuadriculado en el que pueden colocarse cuadrados,triángulos y pentágonos de tres tamaños: pequeño, mediano y grande. Se cuenta con una sintaxis para describir el mundo usando proposiciones y predicados. El usuario puede colocar objetos en el mundo y capturarproposiciones y/o predicados que crea que describen el mundo actual, y pedir al programa que evalúa sus proposiciones para determinar si ha descrito correctamente el mundo.
Objetivo
Practicar ladescripción de diferentes situaciones por medio de la lógica de predicados de primer orden usando el mundo de Tarski como una herramienta de apoyo.
1. Actividades
1.1 Genera la siguiente configuracióndel mundo de Tarski:

Y captura los siguientes predicados:
1. Todos los cuadrados son el mismo tamaño.
2. Todos los cuadrados están en diferente columna.
3. Todos los cuadrados están en elmismo renglón.
4. Al menos un cuadrado y un pentágono están en el mismo renglón.
5. Al menos un cuadrado y un pentágono están en la misma columna.
6. Al menos hay un cuadro a la derecha de unpentágono.
7. Al menos hay un pentágono a la derecha de un cuadro.
8. No hay cuadros pequeños.
9. No hay pentágonos grandes.
1.2 Antes de verificar tus afirmaciones, indica cuáles son Verdaderas y cuálesFalsas en el mundo mostrado:
Verdaderas: 1, 2, 3, 5, 6, 7, 8 y 9
Falsas: 4

1.3 Ahora pide al programa que verifique tus afirmaciones y reporta cuales son verdaderas y cuáles falsas.
Verdaderas: 1,2, 3, 5, 6, 7, 8 y 9
Falsas: 4
1.4 ¿Es posible modificar el mundo para que todas las afirmaciones sean ciertas?
Si es así, modifica el mundo y muestra el mundo modificado y que ahora todas lasafirmaciones son verdaderas, copiando aquí capturas de la pantalla que muestren la nueva configuración del mundo y el resultado de la verificación de las afirmaciones:

2.- Crea una distribución...