Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 127 vistas

    Ejercicios de Tablas de Verdad Eddy

    Cargado por

    revange2112
    El documento presenta 4 ejercicios de tablas de verdad y formalización. En cada ejercicio se construye la tabla de verdad de una fórmula y se indica si es tautológica, contradictoria o indeterminada. Los ejercicios 1, 3 y 4 son tautológicos, mientras que el ejercicio 2 es contradictorio. Se incluyen también ejemplos adicionales de tablas de verdad.

    Copyright:

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

    Ejercicios de Tablas de Verdad Eddy

    Cargado por

    revange2112
    127 vistas4 páginas
    El documento presenta 4 ejercicios de tablas de verdad y formalización. En cada ejercicio se construye la tabla de verdad de una fórmula y se indica si es tautológica, contradictoria o indeterminada. Los ejercicios 1, 3 y 4 son tautológicos, mientras que el ejercicio 2 es contradictorio. Se incluyen también ejemplos adicionales de tablas de verdad.

    Descripción original:

    logica

    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?

    El documento presenta 4 ejercicios de tablas de verdad y formalización. En cada ejercicio se construye la tabla de verdad de una fórmula y se indica si es tautológica, contradictoria o indeterminada. Los ejercicios 1, 3 y 4 son tautológicos, mientras que el ejercicio 2 es contradictorio. Se incluyen también ejemplos adicionales de tablas de verdad.

    Copyright:

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

    Ejercicios de Tablas de Verdad Eddy

    Cargado por

    revange2112
    El documento presenta 4 ejercicios de tablas de verdad y formalización. En cada ejercicio se construye la tabla de verdad de una fórmula y se indica si es tautológica, contradictoria o indeterminada. Los ejercicios 1, 3 y 4 son tautológicos, mientras que el ejercicio 2 es contradictorio. Se incluyen también ejemplos adicionales de tablas de verdad.

    Copyright:

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

    EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIN

    Construya la tabla de verdad de las siguientes frmulas. Indique qu frmulas son


    tautolgicas, cules contradictorias y cules indeterminadas.

    1.

    p & q -> p
    V V V V V
    V F F V V
    F F V V F
    F F F V F

    TAUTOLOGA

    2.

    ( p -> q ) & ( p & q )


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

    CONTRADICCIN

    3.

    ( p -> q ) & q -> p


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

    INDETERMINACIN

    4.

    ( p -> q ) & ( q -> r ) -> ( p -> r )


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

    TAUTOLOGA

    Ejemplo: Jaime se come el polo o se le derretir; no se derrite el polo; por tanto, Jaime
    se come el polo. p = Jaime se come el polo q = el polo se derrite. (p v q) & q -> p

    (p v q) & q -> p
    V V V F F V V V
    V V F V V F V V
    F V V F F V V F
    F F F F V F V F

    Argumento vlido. Tautologa.

    1. Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o
    Juan no partir para Japn. O Mara no se queda en Venecia o Rosa no viajar a
    Luxemburgo. Por consiguiente, Mara no se queda en Venecia.

    Juan Japn: p
    Mara Venecia: q
    Rosa Luxemburgo: r

    ((q -> p) & (r v p)) & (q v r) -> q

    ( ( q -> p ) & ( r v p ) ) & ( q v r ) -> q


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

    TAUTOLOGA

    2. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. As pues,
    siempre que me entra un hambre atroz, viajo.

    Viajo: p
    Mareo: q
    Hambre: r ((p -> q) & (q -> r)) ->(r -> p)
    ( ( p -> q ) & ( q -> r ) ) -> ( r -> p )
    V V V V V V V V V V V
    V V V F V F F V F V V
    V F F F F V V V V V V
    V F F F F V F V F V V
    F V V V V V V F V F F
    F V V F V F F V F V F
    F V F V F V V F V F F
    F V F V F V F V F V F

    INDETERMINACIN

    3. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es
    ciego, o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son
    conscientes de que el amor es ciego, entonces el amor no es ciego. En conclusin, las
    mujeres sacan ventaja de ello.

    Amor ciego: p
    Hombres no conscientes: q
    Mujeres ventaja: r

    ((p & q) v (p & r)) & (q -> p) ->r

    (( p & q ) v ( p & r )) & ( q -> p ) -> r


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

    TAUTOLOGA

    4. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio.


    Si no saca buenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene
    buenas notas.

    Guillermo estudia: p
    Guillermo notas: q
    Guillermo colegio: r

    ((p -> q) & ( p -> r)) & ( q -> r) -> q


    ( ( p -> q ) & ( p -> r ) ) & ( q -> r ) -> q
    V V V V F V V V V F V V F V V V
    V V V V F V V F V F V V V F V V
    V F F F F V V V F V F F F V V F
    V F F F F V V F F V F V V F V F
    F V V V V F V V V F V V F V V V
    F V V F V F F F F F V V V F V V
    F V F V V F V V F V F F F V V F
    F V F F V F F F F V F V V F V F

    TAUTOLOGA

    6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al
    ftbol; no juega al ftbol. Por tanto, Eduardo juega al baloncesto.

    Eduardo baloncesto: p
    Eduardo tenis: q
    Eduardo ftbol: r

    ((p -> q) & (q ->r)) & r ->p

    (( p -> q ) & ( q -> r )) & r -> p


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

    TAUTOLOGA

    También podría gustarte