Licenciatura en Matemáticas Bloque I. Formalización del ...
Licenciatura en Matemáticas Bloque I. Formalización del ...
Licenciatura en Matemáticas Bloque I. Formalización del ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ENUNCIADO DE PRÁCTICAS<br />
Para modificar las características de cualquier pieza basta con pulsar el botón derecho <strong>del</strong> ratón sobre<br />
la misma, con lo que abrirá la v<strong>en</strong>tana de insertar nueva pieza con las características que ti<strong>en</strong>e <strong>en</strong> este<br />
mom<strong>en</strong>to. Modificando esta información actualizaremos a los valores nuevos que deseemos.<br />
Podemos cambiar las piezas de posición si pulsamos el botón izquierdo <strong>del</strong> ratón sobre la pieza y, sin<br />
soltarlo, la desplazamos hasta la nueva casilla. Para eliminar de nuestro mundo un determinado individuo<br />
disponemos de la opción <strong>del</strong> m<strong>en</strong>ú “Quitar pieza” que nos pedirá la posición de la pieza que queremos<br />
eliminar.<br />
Página 8<br />
2. Ejercicios<br />
Ilustración 8: Eliminar pieza<br />
Veamos algunos ejercicios que nos permitirán evaluar semánticam<strong>en</strong>te las fórmulas.<br />
4. Inducción de reglas<br />
Prueba con distintos mundos y determina cual es la regla que permite saber cuando un individuo es<br />
más fuerte que otro. Haz lo mismo para el predicado más rápido.<br />
5. Evaluación Semántica de fórmulas sin cuantificación<br />
Abre un mundo nuevo y busca un mo<strong>del</strong>o (interpretación que hace verdadera la fórmula) y un<br />
contramo<strong>del</strong>o (interpretación que hace falsa la fórmula) para cada una de las s<strong>en</strong>t<strong>en</strong>cias <strong>del</strong> ejercicio 1 <strong>del</strong><br />
apartado anterior ("practica1.s<strong>en</strong>"). Para ello inserta y/o elimina los individuos que creas necesarios.<br />
¿Puedes <strong>en</strong>contrar un mundo donde todas sean ciertas al mismo tiempo? Si la respuesta anterior es<br />
negativa, ¿qué s<strong>en</strong>t<strong>en</strong>cias son las que <strong>en</strong>tran <strong>en</strong> contradicción?<br />
Cambia alguna s<strong>en</strong>t<strong>en</strong>cia para hacer que <strong>en</strong> dicho mundo todas las s<strong>en</strong>t<strong>en</strong>cias sean verdaderas al<br />
mismo tiempo (que sea mo<strong>del</strong>o <strong>del</strong> conjunto completo de s<strong>en</strong>t<strong>en</strong>cias) y lo guardas <strong>en</strong> el fichero<br />
“practica1.mun”.<br />
La s<strong>en</strong>t<strong>en</strong>cia 5 “Si b es cristiano <strong>en</strong>tonces lleva armadura y espada” es cierta ya que <strong>en</strong> nuestro<br />
mundo hemos incluido un cristiano llamado b que lleva armadura y espada (para que se cumplan las<br />
s<strong>en</strong>t<strong>en</strong>cias 2 y 5); por otro lado nuestro mundo también incluye un individuo a que es moro y no ti<strong>en</strong>e espada<br />
(para que sean ciertas las s<strong>en</strong>t<strong>en</strong>cias 2 y 3). En este mismo mundo ¿qué valor t<strong>en</strong>dría la s<strong>en</strong>t<strong>en</strong>cia “Si a es<br />
cristiano <strong>en</strong>tonces lleva armadura y espada”? (razona la respuesta)
Change language