Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Tablas de Verdad

    Cargado por

    Elías Monroy
    16 vistas5 páginas
    El documento presenta 5 tablas de verdad que analizan diferentes proposiciones lógicas. La primera tabla analiza la proposición [(p^q)->p] -> [(qvr)^(~q^~r)]. La segunda analiza [(p^q->r)] -> [(pvr)]. La tercera analiza [(p^q->r) ^ (s^t)]-> [u]. La cuarta analiza [(p^q)->p) -> (qvr)] ^ [(~q^~r)]. Y la quinta y última analiza [(~pvq)->r)] <-> [(p^~q)vr)].

    Descripción original:

    resumen

    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
    El documento presenta 5 tablas de verdad que analizan diferentes proposiciones lógicas. La primera tabla analiza la proposición [(p^q)->p] -> [(qvr)^(~q^~r)]. La segunda analiza [(p^q->r)] -> [(pvr)]. La tercera analiza [(p^q->r) ^ (s^t)]-> [u]. La cuarta analiza [(p^q)->p) -> (qvr)] ^ [(~q^~r)]. Y la quinta y última analiza [(~pvq)->r)] <-> [(p^~q)vr)].

    Copyright:

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

    Tablas de Verdad

    Cargado por

    Elías Monroy
    El documento presenta 5 tablas de verdad que analizan diferentes proposiciones lógicas. La primera tabla analiza la proposición [(p^q)->p] -> [(qvr)^(~q^~r)]. La segunda analiza [(p^q->r)] -> [(pvr)]. La tercera analiza [(p^q->r) ^ (s^t)]-> [u]. La cuarta analiza [(p^q)->p) -> (qvr)] ^ [(~q^~r)]. Y la quinta y última analiza [(~pvq)->r)] <-> [(p^~q)vr)].

    Copyright:

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

    Universidad Mariano Gálvez de Guatemala

    Centro Universitario La Florida


    Facultad de Ingeniería en Sistemas y Ciencias de la Computación
    Asesor Profesional Lic. Luis Arnulfo Elias Higueros

    “Tablas de Verdad "

    Nombre del Estudiante:


    Josué Elias Monroy Martínez
    Carné: 3590-22-20032

    Guatemala 18 de marzo de 2022


    Tablas de verdad
    1. [(p^q)->p] -> [(qvr)^(~q^~r)]
    2p=23=8/2=4/2=2=1

    Contradicción A E C B
    p q r ~q ~r p^q ->p q vr E^B ~q^~r A->C
    V V V F F V V V F F F
    V V F F V V V V F F F
    V F V V F F V V F F F
    V F F V V F V F F V F
    F V V F F F V V F F F
    F V F F V F V V F F F
    F F V V F F V V F F F
    F F F V V F V F F V F

    2. [(p^q->r)] -> [(pvr)]


    2p=23=8/2=4/2=2=1

    Contingencia A C
    p q r p^q ->r p vr A->C
    V V V V V V V
    V V F V F V V
    V F V F V V V
    V F F F V V V
    F V V F V V V
    F V F F V F F
    F F V F V V V
    F F F F V F F
    3. [(p^q->r) ^ (s^t)]-> [u]
    2p=26= 64/2=32/2=16/2=8/2=4/2=2/2=1
    Contingencia u A H B
    p q r s t u p^ ->r s^t A^H B->U
    q
    V V V V V V V V V V V
    V V V V V F V V V V F
    V V V V F V V V F F V
    V V V V F F V V F F V
    V V V F V V V V F F V
    V V V F V F V V F F V
    V V V F F V V V F F V
    V V V F F F V V F F V
    V V F V V V V F V F V
    V V F V V F V F V F V
    V V F V F V V F F F V
    V V F V F F V F F F V
    V V F F V V V F F F V
    V V F F V F V F F F V
    V V F F F V V F F F V
    V V F F F F V F F F V
    V F V V V V F V V V V
    V F V V V F F V V V F
    V F V V F V F V F F V
    V F V V F F F V F F V
    V F V F V V F V F F V
    V F V F V F F V F F V
    V F V F F V F V F F V
    V F V F F F F V F F V
    V F F V V V F V V V V
    V F F V V F F V V V F
    V F F V F V F V F F V
    V F F V F F F V F F V
    V F F F V V F V F F V
    V F F F V F F V F F V
    V F F F F V F V F F V
    V F F F F F F V F F V
    F V V V V V F V V V V
    F V V V V F F V V V F
    F V V V F V F V F F V
    F V V V F F F V F F V
    F V V F V V F V F F V
    F V V F V F F V F F V
    F V V F F V F V F F V
    F V V F F F F V F F V
    F V F V V V F V V V V
    F V F V V F F V V V F
    F V F V F V F V F F V
    F V F V F F F V F F V
    F V F F V V F V F F V
    F V F F V F F V F F V
    F V F F F V F V F F V
    F V F F F F F V F F V
    F F V V V V F V V V V
    F F V V V F F V V V F
    F F V V F V F V F F V
    F F V V F F F V F F V
    F F V F V V F V F F V
    F F V F V F F V F F V
    F F V F F V F V F F V
    F F V F F F F V F F V
    F F F V V V F V V V V
    F F F V V F F V V V F
    F F F V F V F V F F V
    F F F V F F F V F F V
    F F F F V V F V F F V
    F F F F V F F V F F V
    F F F F F V F V F F V
    F F F F F F F V F F V
    4. [(p^q)->p) -> (qvr)] ^ [(~q^~r)
    2p=23=8/2=4/2=2=1

    Contradicción A B D C
    p q r ~q ~r p^q ->p q vr A->B ~q^~ D^C
    r
    V V V F F V V V V F F
    V V F F V V V V V F F
    V F V V F F V V V F F
    V F F V V F V F F V F
    F V V F F F V V V F F
    F V F F V F V V V F F
    F F V V F F V V V F F
    F F F V V F V F F V F

    5. [(~pvq)->r)] <-> [(p^~q)vr)]


    2p=23=8/2=4/2=2=1

    Tautología C A
    p q r ~p ~q ~pVq ->r p^~q vr C<->A
    V V V F F V V F V V
    V V F F F V F F F V
    V F V F V F V V V V
    V F F F V F V V V V
    F V V V F V V F V V
    F V F V F V F F F V
    F F V V V V V F V V
    F F F V V V F F F V

    También podría gustarte