Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Logica Formal (Solucion Tablas)

    Cargado por

    albertofilosofia
    239 vistas3 páginas

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    239 vistas3 páginas

    Logica Formal (Solucion Tablas)

    Cargado por

    albertofilosofia

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 3

    EJERCICIOS LOGICA FORMAL: SOLUCIONARIO TABLAS DE VERDAD

    1. ( p ˄ q ) J p
    p q (p˄q)Jp
    V V V V
    V F F V
    F V F V
    F F F V

    2. ( p J q ) J (¬ p J ¬ q)
    p q ( p J q ) J (¬ p J ¬ q)
    V V V V F V F
    V F F V F V V
    F V V F V F F
    F F V V V V V

    3. ( p ˅ q ) ˄ ( p J q )
    p q (p˅q)˄(pJq)
    V V V V V
    V F V F F
    F V V V V
    F F F F V

    4. ( p ˅ q ) J ( q ˅ p )
    p q (p˅q)J(q˅p)
    V V V V V
    V F V V V
    F V V V V
    F F F V F

    5. ¬ ( p J q ) Q ( p ˅ ¬ q )
    p q ¬ (p J q) Q (p ˅ ¬ q)
    V V F V F V F
    V F V F V V V
    F V F V V F F
    F F F V F V V

    6. [ ( q ˄ r ) ˄ ( q J s ) ] J s
    q r s [(q˄r)˄(qJs)]Js
    V V V V V V V
    V V F V F F V
    V F V F F V V
    V F F F F F V
    F V V F F V V
    F V F F F V V
    F F V F F V V
    F F F F F V V
    7. [ ( p ˄ q ) J ¬ r ] Q ¬ [ ( p ˅ q ) J r ] ˅ ( q J r )
    p q r [(p˄q)J¬r]Q¬[(p˅q)Jr]˅(qJr)
    V V V V F F F F V V V V
    V V F V V V V V V F V F
    V F V F V F V F V V V V
    V F F F V V V V V F V V
    F V V F V F V F V V V V
    F V F F V V V V V F V F
    F F V F V F V F F V V V
    F F F F V V V F F V V V

    8. [ ¬ ( p ˄ q ) ˅ ¬ ( ¬ p ˅ r ) ] J [ ( p ˄ q Q r ) ˄ ( ¬ p ˄ q ˄ r ) ]
    p q r [¬(p˄q)˅¬(¬p˅r)]J[(p˄qQr)˄(¬p˄q˄r)]
    V V V F V F F F V V V V F F F
    V V F F V V V F F F V F F F F
    V F V V F V F F V F F F F F F
    V F F V F V V F F F F V F F F
    F V V V F V F V V F F F F V V
    F V F V F V F V V F F V F V F
    F F V V F V F V V F F F F F F
    F F F V F V F V V F F V F F F

    9. [ ( q ˅ r ) J ¬ p ] Q [ ( r ˅ s ) J ( p ˅ q ) ]
    q r p s [( q ˅ r )J ¬ p] Q [( r ˅ s )J( p ˅ q )]
    V V V V V F F F V V V
    V V V F V F F F V V V
    V V F V V V V V V V V
    V V F F V V V V V V V
    V F V V V F F F V V V
    V F V F V F F F F V V
    V F F V V V V V V V V
    V F F F V V V V F V V
    F V V V V F F F V V V
    F V V F V F F F V V V
    F V F V V V V F V F F
    F V F F V V V F V F F
    F F V V F V F V V V V
    F F V F F V F V F V V
    F F F V F V V F V F F
    F F F F F V V V F V F
    10. [ ( p J q ) ˄ ( q J r ) ] ˄ ¬ ( p J r)
    p q r [ ( p J q ) ˄ ( q J r ) ] ˄ ¬ ( p J r)
    V V V V V V F F V
    V V F V F F F V F
    V F V F F V F F V
    V F F F F V F V F
    F V V V V V F F V
    F V F V F F F F V
    F F V V V V F F V
    F F F V V V F F V

    11. ¬ ( p ˅ q ) Q ( ¬ p ˄ ¬ q)
    p q ¬ (p˅q)Q(¬p˄¬q)
    V V F V V F F F
    V F F V V F F V
    F V F V V V F F
    F F V F V V V V

    12. [( p J q ) ˄ (q J p )] J ( p Q q )
    p q [ ( p J q ) ˄ (q J p ) ] J ( p Q q )
    V V V V V V V
    V F F F V V F
    F V V F F V F
    F F V V V V V

    13. [ ( s ˅ t ) ˄ ( t J p ) ˄ ¬ p ] J s
    p q r [( s ˅ t ) ˄ ( t J p ) ˄ ¬ p ] J s
    V V V V V V F F V
    V V F V F F F F V
    V F V V V V F F V
    V F F V V V V F V
    F V V V V V F V V
    F V F V F F F V V
    F F V F F V F V V
    F F F V F V F V V

    14. [ ( p Q t ) ˄ ( r J p ) ˄ r ] J t
    p t r [( p Q t ) ˄ ( r J p ) ˄ r] J t
    V V V V V V V V
    V V F V V V F V
    V F V F F V F V
    V F F F F V F V
    F V V F F F F V
    F V F F F V F V
    F F V V F F F V
    F F F V V V F V

    También podría gustarte