Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 245 vistas

    Leyes Logicas Ejercicios Resueltos

    Cargado por

    DIOMILA ADA ASENCIOS SHANQUETI
    Este documento presenta varios ejercicios de lógica proposicional para practicar demostraciones utilizando leyes lógicas como la ley del condicional, la doble negación, la absorción y la identidad. Los ejercicios incluyen simplificar expresiones lógicas y verificarlas mediante tablas de verdad.

    Copyright:

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

    Leyes Logicas Ejercicios Resueltos

    Cargado por

    DIOMILA ADA ASENCIOS SHANQUETI
    245 vistas4 páginas
    Este documento presenta varios ejercicios de lógica proposicional para practicar demostraciones utilizando leyes lógicas como la ley del condicional, la doble negación, la absorción y la identidad. Los ejercicios incluyen simplificar expresiones lógicas y verificarlas mediante tablas de verdad.

    Descripción original:

    faghagggr

    Título original

    Leyes logicas ejercicios resueltos(1)

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta varios ejercicios de lógica proposicional para practicar demostraciones utilizando leyes lógicas como la ley del condicional, la doble negación, la absorción y la identidad. Los ejercicios incluyen simplificar expresiones lógicas y verificarlas mediante tablas de verdad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    245 vistas4 páginas

    Leyes Logicas Ejercicios Resueltos

    Cargado por

    DIOMILA ADA ASENCIOS SHANQUETI
    Este documento presenta varios ejercicios de lógica proposicional para practicar demostraciones utilizando leyes lógicas como la ley del condicional, la doble negación, la absorción y la identidad. Los ejercicios incluyen simplificar expresiones lógicas y verificarlas mediante tablas de verdad.

    Copyright:

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

    MATEMÁTICA DISCRETA

    Demostraciones de proposiciones utilizando leyes lógicas

    1. Exprese la fórmula y simplifica el siguiente circuito.

    2. Simplifica utilizando leyes lógicas y luego verifique mediante tablas de verdad

    2.1 (p →q) → q Resp: T

     ( p → q ) → q
       (  p  q )    q ley del condicional (2 veces)
    ( p  q)   q ley de la doble negación
     p  ( q  q ) ley asociativa
     p T ley del complemento
    T ley de la identidad

    2.2 [(p  q) → q]  p Resp: p

       ( p  q ) → q    p

        ( p  q )   q    p ley del condicional


     ( p  q )   q    p ley de la doble negación
      q  p   p ley de absorción
    ( q  p )   p ley del Morgan
    p ley de absorción

    Prof. Juan DIONISIO OSORES 1|Página


    MATEMÁTICA DISCRETA

    2.3 {[(p → q)  (p  r)]  (p → r)} Resp: p  q

       (  p → q )   ( p   r )    ( p → r )

       ( p   q )   ( p   r )    (  p  r ) ley del condicional (2 veces )


    ( p  q )  ( p   r )  ( p   r ) ley de Morgan (2 veces )
    ( p  q )  ( p   r ) ley de idempotencia
     q   p  ( p   r )  ley asociativa
    ( q  p) ley de absorción
    ( p  q ) Ley conmutativa

    2.4 {[(p  q)  (p  q)] → p}  [(p  q)  (q  p)] Resp: p

     
        ( p  q )  (  p  q )  → p  (  p   q )  ( q   p ) 

      (  p   q )  ( p   q )  → p  (  p   q )  q   (  p   q )   p  ley de Morgan y distributiva

      (  p  p )  (  q   q )  → p  ( q  p )   p  ley asociativa y de absorción

      (T )  (  q )  → p   p ley de complemento y absorción

      (T )  (  q )  → p   p ley de absorción


      T  → p   p ley de identidad
      F → p   p Ley de la negación
    ( F  p)   p ley del Morgan
     p F ley de absorción
    p ley de identidad

    2.5 [(p  q)  (q → r)] → p Resp: p

      (  p  q )   ( q → r )  → p

     ( p  q )   (  q  r )    p ley de Morgan y ley del condicional


    (  p  q )  (  q  r )    p ley de Morgan

     p  q  (  q  r )   p Ley asociativa


    p ley de absorción

    Prof. Juan DIONISIO OSORES 2|Página


    MATEMÁTICA DISCRETA

    2.6 [(p  q) → (p → q)] → [q  (q  p)] Resp: p  q

    ( p   q ) → (  p → q )  →   q  ( q  p ) 

       ( p   q )   ( p  q )   (  q  p ) ley del condicional absorción


    ( p   q )  ( p  q )   (  q  p ) ley de Morgan
    ( p  q ) ley de absorción

    2.7 [(p  q) → (q  p)]  [(p  p) → (q → r) Resp: T

    ( p  q ) → ( q  p )   ( p   p ) → ( q → r ) 

      ( p  q )  ( q   p )     ( p   p )  (  q   r )  ley del condicional


    (  p   q )  ( q   p )   (  p  p )  (  q  r )  ley de Morgan
    (  p   p )  ( q   q )   T  (  q   r )  ley del complemento y asociativa
    (  p  T )  T ley del complemento, idempotencia, del de la identidad
    T ley de absorción

    2.8 [(p → q) → (p  q)]  [r  (q  p)] Resp: p  r

    ( p → q ) → (  p  q )     r  ( p  q ) 

      (  p  q )  ( p  q )     r  ( p  q )  ley del condicional y Morgan


    ( p  q )  ( p   q )     r  ( p  q )  ley de Morgan

    ( p  q )  p    q   r  ( p  q ) Ley asociativa

    ( p  q )    r  ( p  q )  ley del absorción


    ( p   q )  ( p  q )    r Ley asociativa
    ( p   q )  p   ( p   q )  q    r ley distributiva
     p  ( q  p )    r ley del absorción
    p  r ley del absorción

    Prof. Juan DIONISIO OSORES 3|Página


    MATEMÁTICA DISCRETA

    2.9 {[(p  q)  (p  q)] v (p  q)}  [(q → r)  r] Resp: q  r

    ( p  q )  (  p  q )   ( p  q )  (  q → r )   r 


    ( p  q )  (  p  q )  (  p  q )  ( q  r )   r  ley de Morgan, ley del condicional
    ( p  q )  (  p  q )   (  r  q ) Ley asociativa, idempotencia, absorción
    ( p  q )  (  p  q )  q    r ley asociativa
    ( p  q )  q    r Ley absorción
    ( q   r ) ley absorción

    Prof. Juan DIONISIO OSORES 4|Página

    También podría gustarte