Scribd
Cargar
83 vistas5 páginas

Configuraciones en el Mundo de Tarski

1. El documento presenta 5 configuraciones de un mundo de Tarski que describen diferentes relaciones entre figuras geométricas (triángulos, cuadrados y pentágonos) en términos de su tamaño, posición y cantidad. 2. Se pide representar las proposiciones de cada configuración en la sintaxis del mundo de Tarski y describir las configuraciones usando diferentes predicados y cuantificadores. 3. El estudiante debe guardar y enviar el ejercicio como un archivo de Word.

Cargado por

ANTONIO ROLDAN MENDOZA
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
83 vistas5 páginas

Configuraciones en el Mundo de Tarski

1. El documento presenta 5 configuraciones de un mundo de Tarski que describen diferentes relaciones entre figuras geométricas (triángulos, cuadrados y pentágonos) en términos de su tamaño, posición y cantidad. 2. Se pide representar las proposiciones de cada configuración en la sintaxis del mundo de Tarski y describir las configuraciones usando diferentes predicados y cuantificadores. 3. El estudiante debe guardar y enviar el ejercicio como un archivo de Word.

Cargado por

ANTONIO ROLDAN MENDOZA
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Carrera: INGENIERIA EN SISTEMAS COMPUTACIOLES.

Ciclo: Cálculo Proposicional


Nombre del módulo: Lenguaje Lógico

Tema: 2.3 El Mundo de Tarski.

Nombre: ANTONIO ROLDAN MENDOZA.


Tarea4
Instrucción: Realiza las siguientes configuraciones empleando la sintaxis del mundo de Tarski y preposiciones.
Guarda tu archivo [Link] y súbelo como tarea.

I. Representa las siguientes proposiciones en la sintaxis del mundo de Tarski, y


configura un mundo donde todas y cada una de ellas sea Verdadera:

1.-Primera configuración
1. a es un triangulo pequeño, b es un cuadro mediano y c es un pentágono grande.

2. Ni a ni b están a la izquierda de c.

2.- Segunda configuración


1. Algún cuadro es grande.

2. Existe al menos un pentágono grande que esta en la misma columna que un cuadro grande.
3. Existe al menos un triangulo mediano en el mismo renglón que un cuadro grande.

3.- Tercera configuración


1. Todos los cuadros son pequeños.

2. Todos los triángulos son medianos

3. No existe pentágono alguno.


4. Todos los triángulos están a la derecha de los cuadros.

5. No existe ningún cuadro en el mismo renglón que un triángulo.

4.- Cuarta configuración


1. Cada cuadro está en el mismo renglón que a o en la misma columna que b.

2. Lo que se encuentre entre a y b es un cuadro.

3. Una figura es menor que a sólo si es un cuadro.


5.- Quinta configuración
1. Todas las figuras tienen forma diferente.

2. Al menos una de las figuras es grande.

3. Al menos una de las figuras está en el mismo renglón que una figura grande.

4. Al menos una de las figuras es pequeña y no está en la misma columna que una figura grande.
II. Describe las siguientes configuraciones del mundo de Tarski utilizando las
proposiciones que se indican en cada caso.

1.- Primera configuración


Describe la configuración anterior utilizando:
1. Al menos 5 proposiciones
2. Dos de las proposiciones deben incluir cuantificadores
3. Al menos una de ellas debe incluir el predicado Between(x,y,z)

2.- Segunda configuración


Describe la configuración anterior utilizando:
1. Al menos 5 proposiciones.
2. Al menos una de ellas deben utilizar el predicado Smaller(x,y)
3. Al menos una de ellas deben utilizar el predicado SameCol(x,y)
4. Al menos una de ellas deben utilizar el predicado SameRow(x,y)
5. Al menos una de ellas deben utilizar el predicado LeftOf(x,y)
6. Al menos una de ellas utilice algún cuantificador.

3.- Tercera configuración


Describe la configuración anterior utilizando:
1. Al menos 5 proposiciones.
2. Al menos una de ellas debe usar algún cuantificador.
3. Al menos una de ellas debe referirse al tamaño de dos figuras.
4. Al menos una de ellas debe compara la posición de dos figuras.

También podría gustarte