Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 42 vistas

    Act 1 U 3

    Cargado por

    danaeg
    Este documento presenta tres tablas de verdad que muestran los valores de verdad de proposiciones compuestas que contienen diferentes conectivas lógicas como la negación, la disyunción, la conjunción y la implicación. La primera tabla analiza la fórmula {[(p ᴝ q) ˄ p] ᴝ q}, la segunda analiza {[(p v q) ˄ r] ᴝ ~ q} y la tercera analiza {[(p ˅ q) ˄ (r ᴝ q)] ≡ (q ˄ r

    Copyright:

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

    Act 1 U 3

    Cargado por

    danaeg
    42 vistas2 páginas
    Este documento presenta tres tablas de verdad que muestran los valores de verdad de proposiciones compuestas que contienen diferentes conectivas lógicas como la negación, la disyunción, la conjunción y la implicación. La primera tabla analiza la fórmula {[(p ᴝ q) ˄ p] ᴝ q}, la segunda analiza {[(p v q) ˄ r] ᴝ ~ q} y la tercera analiza {[(p ˅ q) ˄ (r ᴝ q)] ≡ (q ˄ r

    Título original

    ACT 1 U 3

    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?

    Este documento presenta tres tablas de verdad que muestran los valores de verdad de proposiciones compuestas que contienen diferentes conectivas lógicas como la negación, la disyunción, la conjunción y la implicación. La primera tabla analiza la fórmula {[(p ᴝ q) ˄ p] ᴝ q}, la segunda analiza {[(p v q) ˄ r] ᴝ ~ q} y la tercera analiza {[(p ˅ q) ˄ (r ᴝ q)] ≡ (q ˄ r

    Copyright:

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

    Act 1 U 3

    Cargado por

    danaeg
    Este documento presenta tres tablas de verdad que muestran los valores de verdad de proposiciones compuestas que contienen diferentes conectivas lógicas como la negación, la disyunción, la conjunción y la implicación. La primera tabla analiza la fórmula {[(p ᴝ q) ˄ p] ᴝ q}, la segunda analiza {[(p v q) ˄ r] ᴝ ~ q} y la tercera analiza {[(p ˅ q) ˄ (r ᴝ q)] ≡ (q ˄ r

    Copyright:

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

    Tablas de verdad de proposiciones compuestas

    Aplica la formula, detecta la conectiva lógica principal (marcada en naranja) y


    sigue los signos de agrupación para aplicar los criterios de valores de verdad
    de cada conectiva lógica.

    a) {[(p ᵙ q) ˄ p] ᵙ q}

    {[(p ᵙ q) ˄ p] ᵙ q}
    V V V V V V V
    V F F F V V F
    F V V F F V V
    F V F F F V F

    b) {[(p v q) ˄ r] ᵙ ~ q}

    {[(p v q) ˄ r] ᵙ ~ q}
    V V V V V F F V
    V V V F F V F V
    V V F F V V V F
    V V F F F V V F
    F V V V V F F V
    F V V F F V F V
    F F F F V V V F
    F F F F F F V F

    c) {[(p ˅ q) ˄ (r ᵙ q)] ≡ (q ˄ r)}

    {[(p ˅ q) ˄ (r ᵙ q)] ≡ (q ˄ r)}


    V V V V V V V V V V V
    V V V V F V V F V F F
    V V F F V F F V F F V
    V V F V F V F F F F F
    F V V V V V V V V V V
    F V V V F V V F V F F
    F F F F V F F V F F V
    F F F F F V F V F F F

    También podría gustarte