Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 61 vistas

    Tarea 3

    Cargado por

    PEDRO ANDRES MONTAÑO MANZANO
    El documento presenta un problema de lógica proposicional que involucra 5 proposiciones (p, q, r, s, t) y busca demostrar la validez de la conclusión q usando tablas de verdad y reglas de inferencia. Se define el significado de cada proposición y la premisa compleja cuya conclusión es q.

    Copyright:

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

    Tarea 3

    Cargado por

    PEDRO ANDRES MONTAÑO MANZANO
    61 vistas5 páginas
    El documento presenta un problema de lógica proposicional que involucra 5 proposiciones (p, q, r, s, t) y busca demostrar la validez de la conclusión q usando tablas de verdad y reglas de inferencia. Se define el significado de cada proposición y la premisa compleja cuya conclusión es q.

    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?

    El documento presenta un problema de lógica proposicional que involucra 5 proposiciones (p, q, r, s, t) y busca demostrar la validez de la conclusión q usando tablas de verdad y reglas de inferencia. Se define el significado de cada proposición y la premisa compleja cuya conclusión es q.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    61 vistas5 páginas

    Tarea 3

    Cargado por

    PEDRO ANDRES MONTAÑO MANZANO
    El documento presenta un problema de lógica proposicional que involucra 5 proposiciones (p, q, r, s, t) y busca demostrar la validez de la conclusión q usando tablas de verdad y reglas de inferencia. Se define el significado de cada proposición y la premisa compleja cuya conclusión es q.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 5

    Tarea 3: Problemas de aplicación II

    Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinámica de la Universidad de
    su rol como estudiante y demostrar la validez del argumento dado a través de:

     Uso de las tablas de verdad.


     Uso de las reglas de inferencia.
     Uso del simulador Truth Table.

    Uso de las reglas de inferencia.

    { [ p → ( q ∨r ) ] ∧ ( s →∼q ) ∧ ( t →∼ r ) ∧ ( p ∧t ) }→ q

    P: entrare a la universidad

    q: estudiare de noche

    r: trabajare en la mañana

    s: tendre suficiente tiempo para entregar los trabajos

    t: estudiare en la UNAD

    P1: [ p → ( q ∨ r ) ]

    P2: ( s →∼q )
    P3: ( t → ∼ r )

    P4: ( p ∧t )

    Conclusión: q

    [p→(q∨r)]: si entrare a la universidad entonces estudiare de noche

    (s→ ∼q): si trabajare en la mañana entonces tendre suficiente tiempo para entregar los trabajos

    [p→(q∨ r)] ∧ ( s →∼ q ): si entrare a la universidad entonces estudiare de noche y si trabajare en la mañana entonces
    tendre suficiente tiempo para entregar los trabajos.

    (t→ ∼ r ): estudiare de noche y tendre suficiente tiempo para entregar los trabajos

    (p∧t): entrare a la universidad y trabajare en la mañana

    {[p→(q∨r)]∧ (s→ ∼q) ∧ (t→ ∼r) ∧ (p∧t)}: si entrare a la universidad entonces estudiare de noche y trabajare en la
    mañana entonces tendre suficiente tiempo para entregar los trabajos y si estudiare de noche y tendre suficiente
    tiempo para entregar los trabajos y entrare a la universidad y trabajare en la mañana.

    {[p→(q∨r)]∧ (s→ ∼q) ∧ (t→ ∼r) ∧ (p∧t)}→q: si entrare a la universidad entonces estudiare de noche y trabajare
    en la mañana entonces tendre suficiente tiempo para entregar los trabajos y si estudiare de noche y tendre
    suficiente tiempo para entregar los trabajos y entrare a la universidad y trabajare en la mañana entonces estudiare
    en la UNAD.
     { [ p → ( q ∨r ) ] ∧ ( s →∼q ) ∧ ( t →∼ r ) ∧ ( p ∧t ) }→ q

    p q r s t ∼p ∼q ∼r ∼ s ∼t [ p → ( q ∨ r()s] →∼q( t)→ ∼( rp)∧t ){ [ p → ( q ∨r ) ] ∧ ( s →∼q ) ∧ ( tq→∼ ) ∧( qp∨r


    { [ pr→ ∧t))] }∧ ( s →∼q ) ∧ ( t →∼ r ) ∧ ( p ∧t ) }

    V V V V V F F F F F V F F V F V V
    V V V V F F F F F V V F V F F V V
    V V V F V F F F V F V V F V F V V
    V V V F F F F F V V V V V F F V V
    V V F V V F F V F F V F V V F V V
    V V F V F F F V F V V F V F F V V
    V V F F V F F V V F V V V V V V V
    V V F F F F F V V V V V V F F V V
    V F V V V F V F F F V V F V F F V
    V F V V F F V F F V V V V F F F V
    V F V F V F V F V F V V F V F F V
    V F V F F F V F V V V V V F F F V
    V F F V V F V V F F F V V V F F V
    V F F V F F V V F V F V V F F F V
    V F F F V F V V V F F V V V F F V
    V F F F F F V V V V F V V F F F V
    F V V V V V F F F F V F F V F V V
    F V V V F V F F F V V F V V F V V
    F V V F V V F F V F V V F V F V V
    F V V F F V F F V V V V V V F V V
    F V F V V V F V F F F F V V F V V
    F V F V F V F V F V F F V V F V V
    F V F F V V F V V F F V V V F V V
    F V F F F V F V V V F V V V F V V
    F F V V V V V F F F V V F V F F V
    F F V V F V V F F V V V V V V F F
    F F V F V V V F V F V V F V F F V
    F F V F F V V F V V V V V V V F V
    F F F V V V V V F F V V V V V F V
    F F F V F V V V F V V V V V V F V
    F F F F V V V V V F V V V V V F V
    F F F F F V V V V V F V V V F F V
    Uso del simulador Truth Table.

    También podría gustarte