Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 504 vistas

    TP1 Logica

    Cargado por

    D. Francisco Medrano
    El documento presenta una serie de ejercicios de lógica proposicional. En el primer ejercicio, se piden simplificar expresiones lógicas. El segundo ejercicio define una función para evaluar valores de verdad de proposiciones y deduce fórmulas. El tercer ejercicio pide demostrar una equivalencia lógica. Los ejercicios 4 y 5 piden formalizar enunciados. El sexto ejercicio pide formalizar y verificar la corrección de un argumento.

    Copyright:

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

    TP1 Logica

    Cargado por

    D. Francisco Medrano
    504 vistas1 página
    El documento presenta una serie de ejercicios de lógica proposicional. En el primer ejercicio, se piden simplificar expresiones lógicas. El segundo ejercicio define una función para evaluar valores de verdad de proposiciones y deduce fórmulas. El tercer ejercicio pide demostrar una equivalencia lógica. Los ejercicios 4 y 5 piden formalizar enunciados. El sexto ejercicio pide formalizar y verificar la corrección de un argumento.

    Descripción original:

    ejercicios

    Título original

    TP1 logica

    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 presenta una serie de ejercicios de lógica proposicional. En el primer ejercicio, se piden simplificar expresiones lógicas. El segundo ejercicio define una función para evaluar valores de verdad de proposiciones y deduce fórmulas. El tercer ejercicio pide demostrar una equivalencia lógica. Los ejercicios 4 y 5 piden formalizar enunciados. El sexto ejercicio pide formalizar y verificar la corrección de un argumento.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    504 vistas1 página

    TP1 Logica

    Cargado por

    D. Francisco Medrano
    El documento presenta una serie de ejercicios de lógica proposicional. En el primer ejercicio, se piden simplificar expresiones lógicas. El segundo ejercicio define una función para evaluar valores de verdad de proposiciones y deduce fórmulas. El tercer ejercicio pide demostrar una equivalencia lógica. Los ejercicios 4 y 5 piden formalizar enunciados. El sexto ejercicio pide formalizar y verificar la corrección de un argumento.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 1

    Ejercicios de lgica

    D. Francisco Medrano.

    1. Simplificar las siguientes expresiones compuestas

    a) ((p (q r)) (p (q r))) ((p q (p q)) (r ( r q) p)).


    Rpta: p

    b) ( (p q) (q p)) (p q).
    Rpta: p ( q r)

    2. Sea la funcin f : {p | p es proposicin} {0, 1} definida por


    
    1 si p es V
    f (p) =
    0 si p es F

    Mostrar que f (p q) = f (p)f (q), f ( p) = 1 f (p), f (p q) = f (p) + f (q) f (p)f (q).


    Deduzca las frmulas para f (p q) y f (p q).

    3. Sean p1 , p2 , ..., pn y q proposiciones. Demostrar que p1 , p2 , ..., pn implican q si y slo si


    (p1 p2 pn ) q es una contradiccin.

    4. El dueo de una casa de venta de autos desea colocar en la puerta de su establecimiento


    un letrero con un lema que lo identifique. En principio tiene como candidatos los siguientes
    lemas:

    a) Un buen auto no es barato

    b) Un auto barato no es bueno

    c) Un auto barato es bueno

    d) Un auto es bueno o no es barato

    e) Un auto no es, bueno y barato a la vez

    cules de los lemas anteriores significan lo mismo?. Rpta: a),b) y e) son equivalentes entre
    si; c) y d) son equivalente entre si.

    5. Formalizar la siguiente proposicin: si a no es mltiplo de 4 , es divisible por 2, pero


    a no es divisible por 2, por lo tanto no es mltiplo de 4.

    6. Formalice el siguiente argumento y muestre que es correcto: si acepto este trabajo o


    dejo de pintar por falta de tiempo, entonces no realizar mis sueos. He aceptado el trabajo
    y he dejado de pintar. Por lo tanto no realizar mis sueos.

    También podría gustarte