Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • TABLAS Eeeeeee345533445

    Cargado por

    halvaricioso
    37 vistas4 páginas

    Título original

    TABLAS eeeeeee345533445.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?

    Denunciar este documento

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    37 vistas4 páginas

    TABLAS Eeeeeee345533445

    Cargado por

    halvaricioso

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 4

    1) (pʌq)∨(p∨¬q) es CNTG

    P Q (PʌQ) (¬Q) (P∨(¬Q)) ((PɅQ)∨(P∨(¬Q)))


    F F F T T T
    F T F F F F
    T F F T T T
    T T T F T T

    2) (pʌq)ʌr es CNTG

    P Q R (PʌQ) ((PɅQ)ʌR)
    F F F F F
    F F T F F
    F T F F F
    F T T F F
    T F F F F
    T F T F F
    T T F T F
    T T T T T

    3) ¬(pʌ¬q)ʌ(pʌ¬q) es CTDN

    P Q (¬Q) (Pʌ(¬Q)) (¬(PɅ(¬Q))) (¬Q) (Pʌ(¬Q)) ((¬(PɅ(¬Q)))ʌ(PɅ(¬Q)))


    F F T F T T F F
    F T F F T F F F
    T F T T F T T F
    T T F F T F F F

    4) (p∨¬q)→(¬p→¬q) es TTG

    P Q (¬Q) (P∨(¬Q)) (¬P) (¬Q) ((¬P)→(¬Q)) ((P∨(¬Q))→((¬P)→(¬Q)))


    F F T T T T T T
    F T F F T F F T
    T F T T F T T T
    P Q (¬Q) (P∨(¬Q)) (¬P) (¬Q) ((¬P)→(¬Q)) ((P∨(¬Q))→((¬P)→(¬Q)))
    T T F T F F T T

    5) (¬qʌr)→¬(p∨r)∨¬r es CNTG

    (¬ ((¬Q)ʌ (P∨ (¬(P∨ (((¬Q)ɅR)→(¬(P (¬ ((((¬Q)ɅR)→(¬(P∨R)))


    PQR
    Q) R) R) R)) ∨R))) R) ∨(¬R))
    FF F T F F T T T T
    FF T T T T F F F F
    FTF F F F T T T T
    FTT F F T F T F T
    TF F T F T F T T T
    TF T T T T F F F F
    TT F F F T F T T T
    TT T F F T F T F T

    6) (pʌq→r)→(pʌr) es CNTG

    Tabla de Verdad
    P Q R (PʌQ) ((PɅQ)→R) (PʌR) (((PɅQ)→R)→(PɅR))
    F F F F T F F
    F F T F T F F
    F T F F T F F
    F T T F T F F
    T F F F T F F
    T F T F T T T
    T T F T F F T
    T T T T T T T

    7) (p↔q)∨(p→q) es CNTG

    P Q (P↔Q) (P→Q) ((P↔Q)∨(P→Q))


    F F T T T
    F T F T T
    T F F F F
    P Q (P↔Q) (P→Q) ((P↔Q)∨(P→Q))
    T T T T T

    8) p∨q↔(p→q) es CNTG

    P Q (P∨Q) (P→Q) ((P∨Q)↔(P→Q))


    F F F T F
    F T T T T
    T F T F F
    T T T T T

    9) p∨q↔(p→q) es CNTG

    P Q (P∨Q) (P→Q) ((P∨Q)↔(P→Q))


    F F F T F
    F T T T T
    T F T F F
    T T T T T

    10) (p∨q)ʌ(¬p→¬q∨r) es CNTG

    (P∨Q (¬P (¬Q ((¬P)→(¬Q) (((¬P)→(¬Q))∨R ((P∨Q)ʌ(((¬P)→(¬Q))∨R


    PQR
    ) ) ) ) ) ))
    F F F F T T T T F
    F F T F T T T T F
    F T F T T F F F F
    F T T T T F F T T
    T F F T F T T T T
    T F T T F T T T T
    T T F T F F T T T
    T T T T F F T T T

    11) (p↔q)↔(¬p↔¬q) es una TT


    P Q (P↔Q) (¬P) (¬Q) ((¬P)↔(¬Q)) ((P↔Q)↔((¬P)↔(¬Q)))
    F F T T T T T
    F T F T F F T
    T F F F T F T
    T T T F F T T

    12) (p→qʌr)↔(¬q∨r∨¬p) es CNTG

    (P→ ((P→Q)ʌ (¬ ((¬Q)∨ (¬ (((¬Q)∨R)∨( (((P→Q)ɅR)↔(((¬Q)∨R)


    PQR
    Q) R) Q) R) P) ¬P)) ∨(¬P)))
    FF F T F T T T T F
    FF T T T T T T T T
    FTF T F F F T T F
    FTT T T F T T T T
    TF F F F T T F T F
    TF T F F T T F T F
    TT F T F F F F F T
    TT T T T F T F T T

    También podría gustarte