Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 44 vistas

    CP4 Antonioroldan

    Cargado por

    ANTONIO ROLDAN MENDOZA
    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.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    CP4 Antonioroldan

    Cargado por

    ANTONIO ROLDAN MENDOZA
    44 vistas5 páginas
    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.

    Descripción original:

    CALCULO

    Título original

    CP4Antonioroldan

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    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.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    44 vistas5 páginas

    CP4 Antonioroldan

    Cargado por

    ANTONIO ROLDAN MENDOZA
    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.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 5

    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 tarea4TuprimernombreTuprimerapellido.doc 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