Scribd Logo
Upload

Welcome to Scribd!

  • Tablas de Verdad Resueltas

    Uploaded by

    Arnol Miguel Florez Martinez
    2 views1 page

    Original Title

    TABLAS DE VERDAD RESUELTAS.docx

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    2 views1 page

    Tablas de Verdad Resueltas

    Uploaded by

    Arnol Miguel Florez Martinez

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    ¬ ( ( (¬p → p ) W ( p V p ) ) ↔ ( ( p ^ p ) ↔ ( p W ¬p ) ) )

    p ¬p (¬p → p ) (pVp) ( (¬p → p ) W ( p V (p^p) ( p W ¬p ) ( ( p ^ p ) ↔ ( p W ¬p ) ) ( ( (¬p → p ) W ( p V p ) ) ↔ ¬ ( ( (¬p → p ) W ( p V p ) ) ↔


    p)) ( ( p ^ p ) ↔ ( p W ¬p ) ) ) ( ( p ^ p ) ↔ ( p W ¬p ) ) )
    V F V V F V F F V F
    F V F F V F F V V F
    CONTRADICTORIA

    ¬ ( ( ( p ^ q ) W (¬r W ¬s ) ) → ( (¬p V ¬q) ↔ ¬ ( p ↔ q ) ) )


    p q r s ¬ ¬ ¬ ¬ (p^q) (¬r W ¬s ) ( ( p ^ q ) W (¬r W (¬p V (p↔q) ¬(p↔q ( (¬p V ¬q) ↔ ( ( ( p ^ q ) W (¬r W ¬ ( ( ( p ^ q ) W (¬r W
    p q r s ¬s ) ) ¬q) ) ¬(p↔q)) ¬s ) ) → ¬s ) ) →
    ( (¬p V ¬q) ↔ ¬ ( p ↔ q ) ( (¬p V ¬q) ↔ ¬ ( p ↔ q )
    )) ))

    V V V V F F F F V V F F V F V V F
    V V V F F F F V V F F F V F V V F
    V V F V F F V F V F F F V F V V F
    V V F F F F V V V F F F V F V V F
    V F V V F V F F F V F V F V V V F
    V F V F F V F V F F V V F V V V F
    V F F V F V V F F F V V F V V V F
    V F F F F V V V F F V V F V V V F
    F V V V V F F F F V F V F V V V F
    F V V F V F F V F F V V F V V V F
    F V F V V F V F F F V V F V V V F
    F V F F V F V V F F V V F V V V F
    F F V V V V F F F V F V V F F V F
    F F V F V V F V F F V V V F F F V
    F F F V V V V F F F V V V F F F V
    F F F F V V V V F F V V V F F F V
    INDETERMINADA

    You might also like