Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 24 vistas

    Respuestas Ejercicios Lógica de Primer Orden

    Cargado por

    Carlos Charletti
    El documento resume las respuestas a ejercicios de lógica de primer orden. Indica que el símbolo principal es el cuantificador existencial, que las variables z están libres en algunas proposiciones, y explica el alcance y ligadura de los cuantificadores existenciales en dos expresiones lógicas.

    Copyright:

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

    Respuestas Ejercicios Lógica de Primer Orden

    Cargado por

    Carlos Charletti
    24 vistas2 páginas
    El documento resume las respuestas a ejercicios de lógica de primer orden. Indica que el símbolo principal es el cuantificador existencial, que las variables z están libres en algunas proposiciones, y explica el alcance y ligadura de los cuantificadores existenciales en dos expresiones lógicas.

    Título original

    Respuestas ejercicios Lógica de Primer Orden

    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?

    El documento resume las respuestas a ejercicios de lógica de primer orden. Indica que el símbolo principal es el cuantificador existencial, que las variables z están libres en algunas proposiciones, y explica el alcance y ligadura de los cuantificadores existenciales en dos expresiones lógicas.

    Copyright:

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

    Respuestas Ejercicios Lógica de Primer Orden

    Cargado por

    Carlos Charletti
    El documento resume las respuestas a ejercicios de lógica de primer orden. Indica que el símbolo principal es el cuantificador existencial, que las variables z están libres en algunas proposiciones, y explica el alcance y ligadura de los cuantificadores existenciales en dos expresiones lógicas.

    Copyright:

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

    Respuestas ejercicios Lógica de Primer Orden

    A) El símbolo principal es ∃x.


    B) Las variables z en Pz, Rz y Txz se encuentran libres.
    C) El alcance de ∃x >> Px ∧ ∃y((Rz ∧ Sz) ∧ Txz)) y liga a x en Px Txz
    El alcance de ∃y >> ((Rz ∧ Sz) ∧ Txz)) pero no liga a ninguna variable.

    También podría gustarte