Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 15 vistas

    2023 Manual Prácticas Módulo 01

    Cargado por

    Gerardo Walle
    Este documento presenta una serie de ejercicios sobre lógica proposicional. Primero pide identificar si ciertas oraciones son proposiciones o no. Luego, formaliza oraciones del lenguaje natural al lenguaje de enunciados. Más adelante, pide construir tablas de verdad de expresiones lógicas. Finalmente, formula expresiones lógicas en palabras. El documento provee una guía práctica para trabajar con diferentes conceptos de lógica proposicional.

    Copyright:

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

    2023 Manual Prácticas Módulo 01

    Cargado por

    Gerardo Walle
    15 vistas4 páginas
    Este documento presenta una serie de ejercicios sobre lógica proposicional. Primero pide identificar si ciertas oraciones son proposiciones o no. Luego, formaliza oraciones del lenguaje natural al lenguaje de enunciados. Más adelante, pide construir tablas de verdad de expresiones lógicas. Finalmente, formula expresiones lógicas en palabras. El documento provee una guía práctica para trabajar con diferentes conceptos de lógica proposicional.

    Descripción original:

    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?

    Este documento presenta una serie de ejercicios sobre lógica proposicional. Primero pide identificar si ciertas oraciones son proposiciones o no. Luego, formaliza oraciones del lenguaje natural al lenguaje de enunciados. Más adelante, pide construir tablas de verdad de expresiones lógicas. Finalmente, formula expresiones lógicas en palabras. El documento provee una guía práctica para trabajar con diferentes conceptos de lógica proposicional.

    Copyright:

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

    2023 Manual Prácticas Módulo 01

    Cargado por

    Gerardo Walle
    Este documento presenta una serie de ejercicios sobre lógica proposicional. Primero pide identificar si ciertas oraciones son proposiciones o no. Luego, formaliza oraciones del lenguaje natural al lenguaje de enunciados. Más adelante, pide construir tablas de verdad de expresiones lógicas. Finalmente, formula expresiones lógicas en palabras. El documento provee una guía práctica para trabajar con diferentes conceptos de lógica proposicional.

    Copyright:

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

    d

    Lógica Computacional
    Manual de prácticas módulo 1.

     Indicar si las siguientes sentencias son proposiciones o no


    1. México se encuentra en el continente asiático = SI
    2. 2 + 2 = 4 =SI
    3. 2n = número impar =SI
    4. ¿Por qué debo aprender inglés? =NO
    5. La física es más desafiante que la filosofía. =SI
    6. Correr hacia la meta =NO
    7. 8 es menor que 9 =SI
    8. 3 e mayor que 6 =SI
    9. 4 es menor que 6 =SI
    10. Ayúdame =NO
    11. Carlos tiene 25 años y Adriana 30 años =SI
    12. Juan es menor que Pedro y mayor que Lourdes =SI
    13. Si Alejandro tiene promedio de 9 entonces obtendrá una beca. =NO
    14. Comer sopa de arroz o de pasta =NO

     Formaliza en el lenguaje de enunciados las siguientes oraciones del lenguaje


    natural
    1. Llueve P=Llueve
    2. No llovió ayer -p=No llovio ayer
    3. Llueve y me mojo p q= P=Llueve q=Me mojo
    4. No es cierto que llueva y me moje
    5. Llueve o nieva y a nadie le importa
    6. Si llueve entonces habrá buena cosecha
    7. Llueve, nieva y graniza
    8. Habrá buena cosecha si nieva
    d

    9. Si no es cierto que llueva y me moje, entonces los meteorólogos no se equivocan


    nunca
    10. Si aprendes bien la lógica seré feliz
    11. Si y solo si llueve, entonces iremos al cine o a bailar
    12. Llueva, nieva o graniza
    13. No llueve, pero nieva
    14. Si no llueve y no nieva entonces o hace sol o hay niebla
    15. Si nieva y hace sol, podremos esquiar magníficamente
    16. Juan y Pedro esquían cuando nieva
    17. Juan esquía si y sólo si hay nieve
    18. Si Pedro va al cine o Juan al teatro, entonces llamaremos a un taxi.

     Formaliza en el lenguaje de enunciados las siguientes oraciones del lenguaje


    natural y construir tablas de verdad
    1. Si hace mucho calor entonces hay juego de fútbol
    2. Si Juan no va a jugar en la noche, no podrá ganar dinero
    3. Vamos al cine solo si me pagan
    4. México pertenece al continente americano y ha ganado un mundial

     Siendo p los precios son bajos y q los precios no suben, escribir en lenguaje
    corriente las expresiones simbólicas siguientes:
    1. ∼q
    2. P∧q
    3. P ∧∼ q
    4. ∼ p∧∼ q
    5. ∼ (p∨∼ q)

     En los ejercicios siguientes formula la expresión simbólica en palabras usando:


    p: Hoy es lunes
    q: Está lloviendo
    d

    r: Hace calor
    1) p v q
    3) ∼(p v q) ∧ r
    4) ∼ p ∧ (q v r)
    5) (p ∧ q) ∧ ∼(p v q)
    6) (p ∧ (q v r) ∧ (r ∧ (q v p)

     Puesto que la proposición p es falsa, la proposición q es verdadera y la


    proposición r es falsa, determine si cada proposición en los ejercicios siguientes
    es falsa o verdadera.
    a) p v q
    b) ∼ p v q
    c) ∼ (p v q) ∧ (∼ p v r)
    d) (p v ∼ r) ∧ ∼((p v r)
    e) p∧∼ q
    f) ∼ p∧∼ q
    g) ∼ (p∨∼ q)

     Escriba la tabla de verdad de cada proposición en los ejercicios siguientes:


    1) p ∧ ∼ q
    2) (p v q) ∧ ∼ p
    3) (p ∧ q ) v (∼ p v q)
    4) (p v q ) ∧ (∼ p v q ) ∧ (p v ∼ q ) ∧ (∼ p ∧ ∼ q )
    5) ∼ (p ∧ q) v (∼ q v r)
    6) (∼ p v ∼ q) v p
    7) (p ∧ q ) ∧ ∼ p
    8) ∼ (p ∧ q) v ( r ∧ ∼ p)

     Construya las tablas de verdad de las siguientes expresiones lógicas


    i) (p → ¬ q) v (¬ p v r)
    ii) p → (q ^ r)
    d

    iii) (p → ¬ r) ↔ (q v p)
    iv) ¬ (p ^ ¬ q) → ¬ r
    v) (¬ p ^ q) → ¬ (q v ¬ r)
    Vi) (¬P ^ Q) → ( P v ¬ Q)
    vii) [ P v ( Q ^ R)] ↔ [( P v Q) ^ (P v R)]

     En los ejercicios siguientes formula la expresión simbólica en palabras usando:


    p: Juan toma la materia de Lógica computacional
    q: Juan toma la materia de matemáticas
    1) ∼ p
    2) p v ∼ q
    3) p ∧ q
    4) p ∧ ∼ q
    5) p v q
    6) ∼ p ∧ ∼ q

    También podría gustarte