Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 281 vistas

    Logica Matematica y Digital 3

    Cargado por

    haldy aguirre
    Este documento presenta cuatro proposiciones en lenguaje natural y las traduce a su contraparte en lenguaje simbólico. Luego, evalúa si alguna de las fórmulas lógicas es equivalente y determina si cada una es una contingencia, tautología o contradicción. Finalmente, incluye una sección de bibliografía.

    Copyright:

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

    Logica Matematica y Digital 3

    Cargado por

    haldy aguirre
    281 vistas5 páginas
    Este documento presenta cuatro proposiciones en lenguaje natural y las traduce a su contraparte en lenguaje simbólico. Luego, evalúa si alguna de las fórmulas lógicas es equivalente y determina si cada una es una contingencia, tautología o contradicción. Finalmente, incluye una sección de bibliografía.

    Descripción original:

    Título original

    logica matematica y digital 3.docx

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta cuatro proposiciones en lenguaje natural y las traduce a su contraparte en lenguaje simbólico. Luego, evalúa si alguna de las fórmulas lógicas es equivalente y determina si cada una es una contingencia, tautología o contradicción. Finalmente, incluye una sección de bibliografía.

    Copyright:

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

    Logica Matematica y Digital 3

    Cargado por

    haldy aguirre
    Este documento presenta cuatro proposiciones en lenguaje natural y las traduce a su contraparte en lenguaje simbólico. Luego, evalúa si alguna de las fórmulas lógicas es equivalente y determina si cada una es una contingencia, tautología o contradicción. Finalmente, incluye una sección de bibliografía.

    Copyright:

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

    Control 3

    Jorge Olguín Leiva

    Lógica Matemática y Digital

    Instituto IACC

    26/01/2019
    .
    Desarrollo

    Teniendo en cuenta las siguientes proposiciones en lenguaje natural, es necesario construir su contraparte
    en lenguaje simbólico:
    a) Utilice los símbolos de agrupación necesarios según sea el caso.
    A. p = soy inteligente B. p = aprendo lógica

    q = aprendo lógica q = soy inteligente

    r = estudio lógica r = estudio lógica

    s = me gusta la lógica (p  q) ^ [(r  p)  q]

    (p q) ^ (r  s)
    C. p = estudio lógica D. p = prestas dinero
    q = aprendo lógica q = vamos al cine
    r = soy inteligente r = vamos al beisbol
    s = me gusta la lógica p  (q v r)
    (p ^ ¬ q)  (¬ r v ¬ s)

    b) Verifique si alguna de dichas fórmulas es equivalente lógico de otra, es decir, si dos de estas
    fórmulas son lógicamente equivalentes.
    p q r s (p  q) ^ (r  s) p q r (p  q) ^ [(r  p)  q]
    1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
    1 1 1 0 1 0 0 1 1 0 1 1 1 1 1
    1 1 0 1 1 1 1 1 0 1 0 1 0 1 0
    1 1 0 0 1 1 1 1 0 0 0 1 1 0 0
    1 0 1 1 0 0 1 0 1 1 1 1 1 1 1
    1 0 1 0 0 0 0 0 1 0 1 1 1 1 1
    1 0 0 1 0 0 1 0 0 1 1 1 0 1 0
    1 0 0 0 0 0 1 0 0 0 1 0 1 0 0
    0 1 1 1 1 1 1
    0 1 1 0 1 0 0
    0 1 0 1 1 1 1
    0 1 0 0 1 1 1
    0 0 1 1 1 1 1
    0 0 1 0 1 0 0
    0 0 0 1 1 1 1
    0 0 0 0 1 1 1

    p q r s (p ^ ¬ q)  (¬ r v ¬ s) p q r p  (q v r)
    1 1 1 1 0 1 0 1 1 1 1 1 1
    1 1 1 0 0 1 1 1 1 0 1 1 1
    1 1 0 1 0 1 1 1 0 1 1 1 1
    1 1 0 0 0 1 1 1 0 0 1 0 0
    1 0 1 1 1 0 0 0 1 1 0 1 1
    1 0 1 0 1 1 1 0 1 0 0 1 1
    1 0 0 1 1 1 1 0 0 1 0 1 1
    1 0 0 0 1 1 1 0 0 0 0 1 0
    0 1 1 1 0 1 0
    0 1 1 0 0 1 1
    0 1 0 1 0 1 1
    0 1 0 0 0 1 1
    0 0 1 1 0 1 0
    0 0 1 0 0 1 1
    0 0 0 1 0 1 1
    0 0 0 0 0 1 1
    c) Indique según el caso si dichas fórmulas son una contingencia, una tautología o una contradicción
    de ser el caso.
    Contingencia,
    Lenguaje Equivalente
    Fórmula Enunciado natural tautología
    lógico lógico
    o contradicción
    Si soy inteligente
    entonces aprendo
    A (p q) ^ (r  s) NO Contingencia
    lógica y si estudio
    lógica entonces me
    gusta la lógica.
    Si aprendo lógica
    entonces soy
    inteligente, y si
    B (p  q) ^ [(r  p)  q] NO Contingencia
    estudio lógica
    entonces aprendo
    lógica, por lo tanto,
    soy inteligente.
    Si estudio lógica y no
    C aprendo, entonces no (p ^ ¬ q)  (¬ r v ¬ s) NO Contingencia
    soy inteligente o no
    me gusta la lógica.
    Si me prestas dinero,
    D p  (q v r) NO Contingencia
    entonces vamos al
    cine o al béisbol.
    Bibliografía

    Link 1

    Material entregado

    También podría gustarte