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

¡Te damos la bienvenida a Scribd!

  • 787 vistas

    CP4 Res

    Cargado por

    Lupiz Nava Terrones
    El documento presenta una tarea sobre el mundo de Tarski que incluye cinco configuraciones. En cada configuración, se describen varias proposiciones lógicas que deben representarse en la sintaxis del mundo de Tarski y configurar un mundo donde sean verdaderas. Además, se pide describir cada configuración utilizando diferentes predicados y cuantificadores.

    Copyright:

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

    CP4 Res

    Cargado por

    Lupiz Nava Terrones
    787 vistas5 páginas
    El documento presenta una tarea sobre el mundo de Tarski que incluye cinco configuraciones. En cada configuración, se describen varias proposiciones lógicas que deben representarse en la sintaxis del mundo de Tarski y configurar un mundo donde sean verdaderas. Además, se pide describir cada configuración utilizando diferentes predicados y cuantificadores.

    Descripción original:

    CP4-Resuelto

    Título original

    CP4-Res

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOC, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta una tarea sobre el mundo de Tarski que incluye cinco configuraciones. En cada configuración, se describen varias proposiciones lógicas que deben representarse en la sintaxis del mundo de Tarski y configurar un mundo donde sean verdaderas. Además, se pide describir cada configuración utilizando diferentes predicados y cuantificadores.

    Copyright:

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

    CP4 Res

    Cargado por

    Lupiz Nava Terrones
    El documento presenta una tarea sobre el mundo de Tarski que incluye cinco configuraciones. En cada configuración, se describen varias proposiciones lógicas que deben representarse en la sintaxis del mundo de Tarski y configurar un mundo donde sean verdaderas. Además, se pide describir cada configuración utilizando diferentes predicados y cuantificadores.

    Copyright:

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

    Carrera:

    Ciclo: Caá lculo Proposicional


    Nombre del moá dulo: Lenguaje Loá gico

    Tema: 2.3 El Mundo de Tarski.

    Nombre:
    Tarea4

    Instrucción: Realiza las siguientes configuraciones empleando la sintaxis del mundo de Tarski
    y preposiciones. Guarda tu archivo tarea4TuprimernombreTuprimerapellido.doc y suá 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 pequenñ o, b es un cuadro mediano y c es un pentaá gono grande.

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

    2.- Segunda configuración


    1. Alguá n cuadro es grande.

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

    3.- Tercera configuración


    1. Todos los cuadros son pequenñ os.

    2. Todos los triaá ngulos son medianos

    3. No existe pentaá gono alguno.


    4. Todos los triaá ngulos estaá n a la derecha de los cuadros.

    5. No existe ninguá n cuadro en el mismo rengloá n que un triaá ngulo.

    4.- Cuarta configuración


    1. Cada cuadro estaá en el mismo rengloá 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 soá 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 estaá en el mismo rengloá n que una figura grande.

    4. Al menos una de las figuras es pequenñ a y no estaá 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 configuracioá 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 configuracioá 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 alguá n cuantificador.

    3.- Tercera configuración


    Describe la configuracioá n anterior utilizando:
    1. Al menos 5 proposiciones.
    2. Al menos una de ellas debe usar alguá n cuantificador.
    3. Al menos una de ellas debe referirse al tamanñ o de dos figuras.
    4. Al menos una de ellas debe compara la posicioá n de dos figuras.

    También podría gustarte